Re: RFC: Singleton equality witnesses
José Pedro Magalhães <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <CA+ZFbn_0tePSK1-q2B01feD4qbp-n9m3jU-Wfqz_S9yxr311uA@mail.gmail.com> |
On Sat, Dec 1, 2012 at 10:46 PM, Gábor Lehel <[email protected]> wrote: > On Sat, Dec 1, 2012 at 5:31 PM, Richard Eisenberg <[email protected]> > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/cvs-ghc > _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc