Typo in comment
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 18 Jan 2016 11:55:20 +0000 (11:55 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 18 Jan 2016 11:55:41 +0000 (11:55 +0000)
compiler/typecheck/TcSMonad.hs

index 0ad02e5..6d30958 100644 (file)
@@ -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.