search

goldfirere / ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
http://www.haskell.org/ghc/
Other
25 stars 1 forks source link

Self quantification in data declarations #56

Open RafaelBocquet opened 8 years ago

RafaelBocquet commented 8 years ago

Currently, this declaration :

data A :: * where B :: forall (x :: A). A

results in a "AThing evaluated unexpectedly" ghc panic.

I think it should be accepted.

goldfirere commented 8 years ago

Yes, it should be accepted. But arranging for it to be accepted is a little challenging (purely from an engineering point of view), and might not make it for 8.0. We'll get there eventually. :)

The panic will go away though.

RafaelBocquet commented 8 years ago

ghc now hangs when compiling this code.