Mon Apr 7 00:07:28 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Remove GADT refinements, part 5
- TcGadt RIP
- The non-side effecting unification code is now in types/Unify.lhs
along with the refinement code needed for GADT record selectors.
M ./compiler/basicTypes/MkId.lhs -1 +1
M ./compiler/ghci/RtClosureInspect.hs -1 +1
R ./compiler/typecheck/TcGadt.lhs
M ./compiler/typecheck/TcSimplify.lhs -1 +1
M ./compiler/types/FamInstEnv.lhs -2 +1
M ./compiler/types/FunDeps.lhs -1 +1
M ./compiler/types/InstEnv.lhs -1
M ./compiler/types/Unify.lhs -1 +428
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080407070728-6295e-3c2b3b0e3095536e8e1e4842e3a496f6a4634d77.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
