Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables
http://hackage.haskell.org/trac/ghc/changeset/5b4fef6f0435e85fbe633b7ddd514e89060676c5 >--------------------------------------------------------------- commit 5b4fef6f0435e85fbe633b7ddd514e89060676c5 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Tue Aug 28 18:02:06 2012 +0100 When floating constraints outwards, promote the floated type variables The work is done by the (remarkably simple) TcSimplify.promoteFloatedUnificationVars compiler/typecheck/TcInteract.lhs | 38 +++++++++++++- compiler/typecheck/TcSimplify.lhs | 101 ++++++++++++------------------------- compiler/typecheck/TcType.lhs | 17 ++++++- 3 files changed, 85 insertions(+), 71 deletions(-) Diff suppressed because of size. To see it, use: git show 5b4fef6f0435e85fbe633b7ddd514e89060676c5 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
