Sun Mar 2 22:33:47 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Remove GADT refinements, part 4
- MkId.mkRecordSelId only used a special case of refineGadt, which doesn't
need full unification. That special case is now implemented as
TcGadt.matchRefine and TcGadt.refineGadt can finally go.
M ./compiler/basicTypes/MkId.lhs -11 +15
M ./compiler/typecheck/TcGadt.lhs -107 +51
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080303063347-6295e-724236704c32946a29177236a6f1150f3c4d36c0.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
