Wed Feb 27 20:53:51 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Remove GADT refinements, part 1
- A while ago, I changed the type checker to use equality constraints together
with implication constraints to track local type refinement due to GADT
pattern matching. This patch is the first of a number of surgical strikes
to remove the resulting dead code of the previous GADT refinement machinery.
Hurray to code simplification!
M ./compiler/typecheck/TcArrows.lhs -14 +14
M ./compiler/typecheck/TcMatches.lhs -33 +31
M ./compiler/typecheck/TcPat.lhs -110 +24
M ./compiler/typecheck/TcRnDriver.lhs -2 +1
M ./compiler/typecheck/TcSimplify.lhs -3 +3
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
