simonpj 2002/11/21 03:31:35 PST
Modified files:
ghc/compiler/typecheck TcInstDcls.lhs
Log:
--------------------------------
Compile instance declarations better
--------------------------------
This commit makes the type checker build better dictionaries
from instance declarations. "Better" in the sense that if a
binding in the instance declaration mentions one of the other
methods of the same class, we use that method directly rather
than going via a (recursive) use of the dictionary.
This makes it easier to unravel recursive knots, and that
makes more inlining happen. There's a long comment in
TcInstDcls.tcMethods
Makes the Monad instance for ST much more inlinable, and that
makes spectral/fibheaps go faster, among other things.
Revision Changes Path
1.155 +29 -11 fptools/ghc/compiler/typecheck/TcInstDcls.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
