Ticket #64 (closed defect: fixed)

Opened 6 years ago

Last modified 2 years ago

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? (~>).

Change History

Changed 6 years ago by anonymous

This bug prevents hoogle --convert from working.

It seems to originate from ghc: http://hackage.haskell.org/trac/ghc/ticket/2766

Changed 6 years ago by waern

  • milestone set to 2.4.2

Should work with GHC 6.10.2

Changed 5 years ago by waern

  • status changed from new to closed
  • resolution set to fixed

Fixed in GHC.

Changed 2 years ago by anonymous

  • milestone 2.4.2 deleted

Milestone 2.4.2 deleted

Note: See TracTickets for help on using tickets.