Hi devs!
I guess I found a gap in the promotion mechanism:
> data Prom1 = Symic Symbol
gets promoted to to a kind (Prom1 :: BOX) with (Symic "AAA" :: Prom1).
So far so good.
But how can I define by promotion (Prom2 :: BOX) with (Typic Int :: Prom2) ?
I'd like to write
> data Prom2 = Typic Type
but haven't found such a beast in TypeLits. So my question is
basically, which type-level identifier promotes to (* :: BOX) when
mentioned in a `data` definition?
I am thankful for any hints!
Cheers,
Gabor
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
