diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 11:55:20 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 11:55:41 +0000 |
| commit | 54128992b2ae8b18816e74fd02bc49833dda031e (patch) | |
| tree | 64dd7b870d073e99d09ceb7ed4fe030a925015d9 | |
| parent | 8e50301f7514751fc5c1fcc0e2847a49041ca2e7 (diff) | |
| download | haskell-54128992b2ae8b18816e74fd02bc49833dda031e.tar.gz | |
Typo in comment
| -rw-r--r-- | compiler/typecheck/TcSMonad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index 0ad02e5c48..6d309583cd 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -1117,7 +1117,7 @@ Note [Adding an inert canonical constraint the InertCans] * [Given/Wanted] a ~N ty 1. Add it to inert_eqs 2. Emit [D] a~ty - As a result of (2), the current model will rewrite teh new [D] a~ty + As a result of (2), the current model will rewrite the new [D] a~ty during canonicalisation, and then it'll be added to the model using the steps of [Derived] above. |