What promotes to (* :: BOX) ?

[José Pedro Magalhães]

Hi Gabor,

See http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData
Comments on that discussion are welcome.


Cheers,
Pedro

On Tue, Apr 2, 2013 at 2:51 PM, Gabor Greif <ggreif at gmail.com> wrote:

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130402/fc70eb49/attachment-0001.htm>