On Sat, Dec 1, 2012 at 10:46 PM, Gábor Lehel <illiss...@gmail.com> wrote:
> On Sat, Dec 1, 2012 at 5:31 PM, Richard Eisenberg <e...@cis.upenn.edu> > wrote: > > Which leads me to ask: Why can't we special-case TypeRep to be promoted > to > > *, allowing the construction I wrote above? It seems both kludgy and > elegant > > at the same time, somehow. I would love to hear others' thoughts on this. > > > > Thanks, > > Richard > > Hmm, isn't TypeRep also used to represent types of other kinds, > though, not just *? > I share this concern; TypeRep represents things of all kinds, so it's a bit surprising that its promotion would be * ... (For the record, I also think that :~: is a better name.) Cheers, Pedro > > > -- > Your ship was destroyed in a monadic eruption. > > _______________________________________________ > Cvs-ghc mailing list > Cvs-ghc@haskell.org > http://www.haskell.org/mailman/listinfo/cvs-ghc >
_______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
