Sat Sep 15 00:41:19 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Overhaul of the rewrite rules
- Cleaned up and simplified rules
- Added many missing cases
- The rules OccursCheck and swap have been eliminated and integrate with
the other rules; ie, Subst and Unify perform the occurs check themselves
and they can deal with left-to-right and right-to-left oriented rewrites.
This makes the code simpler and more efficient.
- Also added comments.
M ./compiler/typecheck/Inst.lhs -2 +13
M ./compiler/typecheck/TcInstDcls.lhs -15 +8
M ./compiler/typecheck/TcMType.lhs -4 +202
M ./compiler/typecheck/TcRnTypes.lhs -16 +15
M ./compiler/typecheck/TcSimplify.lhs -47 +12
M ./compiler/typecheck/TcTyFuns.lhs -557 +815
M ./compiler/typecheck/TcUnify.lhs -176 +6
M ./compiler/types/Type.lhs -1 +3
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
