diff options
| author | Gabor Greif <ggreif@gmail.com> | 2012-11-07 12:10:22 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2012-11-07 12:10:22 +0100 |
| commit | 3ca7260ae35adf70d31003008af67576d6b6c78c (patch) | |
| tree | ac4335107c0137a2ac591d95a36288ce960c3c95 /compiler | |
| parent | 2e43779c758294571bdf5ef6f2be440487d8e196 (diff) | |
| download | haskell-3ca7260ae35adf70d31003008af67576d6b6c78c.tar.gz | |
typos
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/ghci/RtClosureInspect.hs | 2 | ||||
| -rw-r--r-- | 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 24b7e02a62..49e943c0de 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 c0ea95c7ed..7541cd79f9 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 |