[commit: ghc] master: Typos in comments (7301404)

Tue Jun 21 10:31:22 UTC 2016

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7301404dfd317684418890799a587c7c684ddb63/ghc

>---------------------------------------------------------------

commit 7301404dfd317684418890799a587c7c684ddb63
Author: Gabor Greif <ggreif at gmail.com>
Date:   Tue Jun 21 12:31:55 2016 +0200

    Typos in comments


>---------------------------------------------------------------

7301404dfd317684418890799a587c7c684ddb63
 compiler/typecheck/TcBinds.hs                         | 2 +-
 compiler/typecheck/TcPat.hs                           | 2 +-
 compiler/typecheck/TcSigs.hs                          | 2 +-
 testsuite/tests/typecheck/should_compile/ExPat.hs     | 2 +-
 testsuite/tests/typecheck/should_compile/ExPatFail.hs | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs
index 20abdc3..d23b952 100644
--- 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
diff --git a/compiler/typecheck/TcPat.hs b/compiler/typecheck/TcPat.hs
index 7a210f2..a46136e 100644
--- 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
diff --git a/compiler/typecheck/TcSigs.hs b/compiler/typecheck/TcSigs.hs
index 5cb2366..7d744bf 100644
--- 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.
diff --git a/testsuite/tests/typecheck/should_compile/ExPat.hs b/testsuite/tests/typecheck/should_compile/ExPat.hs
index a0b4b0b..2ac3cb8 100644
--- 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
 
diff --git a/testsuite/tests/typecheck/should_compile/ExPatFail.hs b/testsuite/tests/typecheck/should_compile/ExPatFail.hs
index 1a25adf..e6c8930 100644
--- 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
 

