Ticket #64 (closed defect: fixed)
Invalid syntax generated for arrow functions
| Reported by: | Eyal Lotem <eyal.lotem@…> | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Version: | Keywords: | ||
| Cc: |
Description
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? (~>).
