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
TypeLits.hs.patch
Description: Binary data
_______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
