Re: RFC: Singleton equality witnesses
José Pedro Magalhães <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <CA+ZFbn-9PFMAPD8o1uHjKynPR8E51JrCvS69tNox4=o7R0ZhaA@mail.gmail.com> |
Hi Gabor, Only one (minor) comment: `SingEq` is not specific to singletons, is it? To me it looks like a kind-polymorphic type equality predicate, useful to have in several situations. Why not call the datatype (:==:), its constructor Refl, and put it in GHC.Exts? I guess that things like `Proxy` should probably go directly to GHC.Exts as well... Cheers, Pedro On Fri, Nov 30, 2012 at 2:13 PM, Gabor Greif <[email protected]> wrote: > Hi all! > > After encouragement from Iavor on G+, here is a patch that implements > a class method for singleton type equality witnesses in a generic way. > > Please comment on two things: > - is this a good approach? > - how can we avoid abuse of SingEq (as it is type polymorphic, can this > harm?) > - (possibly) bikeshedding on names. > > Cheers and thanks, > > Gabor > > _______________________________________________ > 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