Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/1a591a0ce0e1b70eb5e6646542d5f110bfefc9af >--------------------------------------------------------------- commit 1a591a0ce0e1b70eb5e6646542d5f110bfefc9af Author: Simon Peyton Jones <[email protected]> Date: Tue Aug 21 14:37:20 2012 +0100 Refactor the way we infer types for functions in a mutually recursive group See Note [Impedence matching] in TcBinds. Fixes Trac #7173 compiler/typecheck/TcBinds.lhs | 57 +++++++++++++++++++++++++++++++++---- compiler/typecheck/TcMType.lhs | 34 +++++++++++++++++++++- compiler/typecheck/TcSimplify.lhs | 46 ++++-------------------------- 3 files changed, 90 insertions(+), 47 deletions(-) Diff suppressed because of size. To see it, use: git show 1a591a0ce0e1b70eb5e6646542d5f110bfefc9af _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
