diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2020-06-24 15:55:39 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-28 09:20:22 -0400 |
| commit | 68530b1cd45629e5a353a37df80195ac54d26ade (patch) | |
| tree | a6aa929d32d9c1caff4ca57c5ffde238d7c9717a /compiler/GHC/Tc/Solver/Monad.hs | |
| parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
| download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz | |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'compiler/GHC/Tc/Solver/Monad.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver/Monad.hs b/compiler/GHC/Tc/Solver/Monad.hs index 3500ef4bbe..3c783b0137 100644 --- a/compiler/GHC/Tc/Solver/Monad.hs +++ b/compiler/GHC/Tc/Solver/Monad.hs @@ -2313,7 +2313,7 @@ very same implication" as the equuality constraint. MkS -> [y,z]) in ... -From the type signature for `g`, we get `y::a` . Then when when we +From the type signature for `g`, we get `y::a` . Then when we encounter the `\z`, we'll assign `z :: alpha[1]`, say. Next, from the body of the lambda we'll get |