id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
64	Invalid syntax generated for arrow functions	Eyal Lotem <eyal.lotem@…>		"Inside the checkers library directory, I used:

./Setup configure && ./Setup haddock --hyperlink-source --hoogle --haddock-options=--html

This generated, amongst other things, dist/doc/html/checkers/checkers.txt
In this text file, these two lines existed:

arrow :: (Arrow ~>, Show (d ~> e), Show (c ~> d), Show (b ~> c), Show b, Show c, Show d, Show e, Arbitrary (d ~> e), Arbitrary (c ~> d), Arbitrary (b ~> c), Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, EqProp (b ~> e), EqProp (b ~> d), EqProp ((b, d) ~> c), EqProp ((b, d) ~> (c, d)), EqProp ((b, e) ~> (d, e)), EqProp ((b, d) ~> (c, e)), EqProp b, EqProp c, EqProp d, EqProp e) => b ~> (c, d, e) -> TestBatch

arrowChoice :: (ArrowChoice ~>, Show (b ~> c), Arbitrary (b ~> c), Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, EqProp ((Either b d) ~> (Either c e)), EqProp ((Either b d) ~> (Either c d))) => b ~> (c, d, e) -> TestBatch

This is invalid syntax, as it is lacking parens around ~>.
It should be Arrow (~>) and ArrowChoice (~>).
"	defect	closed	major			fixed