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 <ggr...@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@haskell.org > http://www.haskell.org/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
