[project @ 2002-11-21 11:31:34 by simonpj]
--------------------------------
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.