Closed goldfirere closed 8 years ago
This doesn't compile due to a renaming bug:
{-# LANGUAGE DataKinds, KindSignatures #-} import Data.Proxy data Foo :: Proxy True -> *
If you make it 'True, it compiles.
'True
Cannot reproduce on GHC 7.11.20151214. I suppose it's fixed now?
GHC 7.11.20151214
I'm sure it does. I remember when I changed the code in this area to fix it, too. Thanks much for checking!
This doesn't compile due to a renaming bug:
If you make it
'True
, it compiles.