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

Look harder for * in datatype declarations #53

Closed goldfirere closed 8 years ago

goldfirere commented 8 years ago

This fails:

data T :: forall k. k -> forall k2. k2 -> *

saying the kind doesn't end in *. But it does. Silly GHC.

int-index commented 8 years ago

Now it makes GHC panic:

ghc: panic! (the 'impossible' happened)
  (GHC version 7.11.20151214 for x86_64-unknown-linux):
    updateRole
  T
  k2_ap3
  [ap2 :-> 0, apc :-> 1, apd :-> 2]
int-index commented 8 years ago

Seems to work on GHC 8.0.0.20160330

*Main> :k T
T :: forall k. k -> forall k2. k2 -> Type
goldfirere commented 8 years ago

Hooray!