Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables
http://hackage.haskell.org/trac/ghc/changeset/b737a45391201fd475b89227ed1d7c9b72b24eea >--------------------------------------------------------------- commit b737a45391201fd475b89227ed1d7c9b72b24eea Author: Simon Peyton Jones <[email protected]> Date: Fri Aug 31 10:05:03 2012 +0100 More simplifications to the constraint solver * inert_solved becomes dictionaries-only, inert_solved_dicts * inert_solved_dicts is used only to cache the result of uses of a top level instance declaration, just like inert_solved_funeqs * That in turn simplifies xCtFlavor and rewriteCtFlavor, because they no longer need a "should I cache" parameter. (Moreover the settings for this parameter were very subtle; it's easy to get loops if you cache too much. Caching only top-level instance uses is much safer, and eliminates all these subtle cases.) compiler/typecheck/TcCanonical.lhs | 29 +++++----- compiler/typecheck/TcInteract.lhs | 24 +++----- compiler/typecheck/TcSMonad.lhs | 108 +++++++++++++----------------------- 3 files changed, 63 insertions(+), 98 deletions(-) Diff suppressed because of size. To see it, use: git show b737a45391201fd475b89227ed1d7c9b72b24eea _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
