Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-defer
http://hackage.haskell.org/trac/ghc/changeset/aebccdf142302ce557c3c7a1409755db60191bc6 >--------------------------------------------------------------- commit aebccdf142302ce557c3c7a1409755db60191bc6 Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Dec 14 11:47:41 2011 +0000 Typo >--------------------------------------------------------------- compiler/typecheck/TcUnify.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index e44c8c6..559d607 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -661,7 +661,7 @@ so if one type is an App the other one jolly well better be too Note [Unifying AppTy] ~~~~~~~~~~~~~~~~~~~~~ -Considerm unifying (m Int) ~ (IO Int) where m is a unification variable +Consider unifying (m Int) ~ (IO Int) where m is a unification variable that is now bound to (say) (Bool ->). Then we want to report "Can't unify (Bool -> Int) with (IO Int) and not _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
