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 <ggr...@gmail.com> 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 > 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
