Hi Gabor,<br><br>See <a href="http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData">http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData</a><br>Comments on that discussion are welcome.<br><br><br>
Cheers,<br>Pedro<br><br><div class="gmail_quote">On Tue, Apr 2, 2013 at 2:51 PM, Gabor Greif <span dir="ltr"><<a href="mailto:ggreif@gmail.com" target="_blank">ggreif@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi devs!<br>
<br>
I guess I found a gap in the promotion mechanism:<br>
<br>
> data Prom1 = Symic Symbol<br>
<br>
gets promoted to to a kind (Prom1 :: BOX) with (Symic "AAA" :: Prom1).<br>
So far so good.<br>
<br>
But how can I define by promotion (Prom2 :: BOX) with (Typic Int :: Prom2) ?<br>
<br>
I'd like to write<br>
<br>
> data Prom2 = Typic Type<br>
<br>
but haven't found such a beast in TypeLits. So my question is<br>
basically, which type-level identifier promotes to (* :: BOX) when<br>
mentioned in a `data` definition?<br>
<br>
I am thankful for any hints!<br>
<br>
Cheers,<br>
<br>
Gabor<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br>