Typos in comments

7301404d · Gabor Greif · ee3bde79 · 7301404d · 7301404d · 7301404d
Commit 7301404d authored Jun 21, 2016 by Gabor Greif 💬
5 changed files
--- a/compiler/typecheck/TcBinds.hs
+++ b/compiler/typecheck/TcBinds.hs
@@ -1468,7 +1468,7 @@ and suppose t :: T.  Which of these pattern bindings are ok?

  E3. let { MkT (toInteger -> r) _ = t } in <body>

-Well (E1) is clearly wrong becuase the existential 'a' escapes.
+Well (E1) is clearly wrong because the existential 'a' escapes.
 What type could 'p' possibly have?

 But (E2) is fine, despite the existential pattern, because

--- a/compiler/typecheck/TcPat.hs
+++ b/compiler/typecheck/TcPat.hs
@@ -330,7 +330,7 @@ tc_pat penv lpat@(LazyPat pat) pat_ty thing_inside
        --   see Note [Hopping the LIE in lazy patterns]

        -- Check there are no unlifted types under the lazy pattern
-        -- This is a very unsatisfactory test.  We have to zonk becuase
+        -- This is a very unsatisfactory test.  We have to zonk because
        -- the binder-tys are typically just a unification variable,
        -- which should by now have been unified... but it might be
        -- deferred for the constraint solver...Ugh!  Also

--- a/compiler/typecheck/TcSigs.hs
+++ b/compiler/typecheck/TcSigs.hs
@@ -90,7 +90,7 @@ especially on value bindings.  Here's an overview.
  The instantiation does the obvious thing for complete signatures,
  but for /partial/ signatures it starts from the HsSyn, so it
  has to kind-check it etc: tcHsPartialSigType.  It's convenient
-  to do this at the same time as instantiation, becuase we can
+  to do this at the same time as instantiation, because we can
  make the wildcards into unification variables right away, raather
  than somehow quantifying over them.  And the "TcLevel" of those
  unification variables is correct because we are in tcMonoBinds.

--- a/testsuite/tests/typecheck/should_compile/ExPat.hs
+++ b/testsuite/tests/typecheck/should_compile/ExPat.hs
@@ -7,7 +7,7 @@ data T where

 -- c.f. T11700

-- Succeeds becuase y::Int
+-- Succeeds because y::Int
 f x = let MkT _ y  = x
      in y


--- a/testsuite/tests/typecheck/should_compile/ExPatFail.hs
+++ b/testsuite/tests/typecheck/should_compile/ExPatFail.hs
@@ -5,7 +5,7 @@ module ExPatFail where
 data T where
  MkT :: Integral a => a -> Int -> T

-- Fails becuase y is bound to an existential type
+-- Fails because y is bound to an existential type
 -- Mind you, the error message is pretty terrible
 -- c.f. T11700