What promotes to (* :: BOX) ?

Gabor Greif ggreif at gmail.com
Tue Apr 2 14:51:17 CEST 2013


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



More information about the ghc-devs mailing list