Opened 5 years ago

Closed 5 years ago

#9096 closed bug (fixed)

GADT definition not accepted in prefix notation

Reported by: goldfire Owned by:
Priority: normal Milestone: 7.8.3
Component: Compiler Version: 7.8.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

Brian Nguyen writes on haskell-cafe:

The following does not work:

data Foo a where {Foo :: (->) a (Foo a)}

Change History (4)

comment:1 Changed 5 years ago by Simon Peyton Jones <simonpj@…>

In 770e16fceee60db0c2f79e3b77f6fc619bc1d864/ghc:

In splitHsFunType, take account of prefix (->)

This fixes Trac #9096

comment:2 Changed 5 years ago by simonpj

Status: newmerge

It's very much a corner case, but an easy merge to 7.8.3 so probably worth doing.

comment:3 Changed 5 years ago by thoughtpolice

Milestone: 7.8.3

comment:4 Changed 5 years ago by thoughtpolice

Resolution: fixed
Status: mergeclosed
Note: See TracTickets for help on using tickets.