Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/3ca7260ae35adf70d31003008af67576d6b6c78c >--------------------------------------------------------------- commit 3ca7260ae35adf70d31003008af67576d6b6c78c Author: Gabor Greif <ggr...@gmail.com> Date: Wed Nov 7 12:10:22 2012 +0100 typos >--------------------------------------------------------------- compiler/ghci/RtClosureInspect.hs | 2 +- compiler/typecheck/TcSMonad.lhs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs index 24b7e02..49e943c 100644 --- a/compiler/ghci/RtClosureInspect.hs +++ b/compiler/ghci/RtClosureInspect.hs @@ -983,7 +983,7 @@ the "outside" type, D. So we can't straightforwardly decompose the "outside" type, and we end up in the "_" branch of the case. Then we match the dataConOrigResTy of the data constructor against the -outside type, hoping to get a substituion that tells how to instantiate +outside type, hoping to get a substitution that tells how to instantiate the *representation* type constructor. This looks a bit delicate to me, but it seems to work. -} diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index c0ea95c..7541cd7 100644 --- a/compiler/typecheck/TcSMonad.lhs +++ b/compiler/typecheck/TcSMonad.lhs @@ -487,7 +487,7 @@ The InertCans represents a collection of constraints with the following properti constraint solver that we rewrite types and constraints wrt to the inert substitution is TcCanonical/flattenTyVar. - - In the past we did try to have the inert substituion as + - In the past we did try to have the inert substitution as idempotent as possible but this would only be true for constraints of the same flavor, so in total the inert substitution could not be idempotent, due to flavor-related _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
