Some typos in comments
authorGabor Greif <ggreif@gmail.com>
Thu, 23 Jan 2014 21:33:46 +0000 (22:33 +0100)
committerGabor Greif <ggreif@gmail.com>
Thu, 23 Jan 2014 21:33:46 +0000 (22:33 +0100)
compiler/typecheck/TcSMonad.lhs
testsuite/tests/indexed-types/should_compile/all.T
testsuite/tests/stranal/sigs/DmdAnalGADTs.hs

index b01a67a..634e926 100644 (file)
@@ -1759,7 +1759,7 @@ rewriteEqEvidence :: CtEvidence         -- Old evidence :: olhs ~ orhs (not swap
                                         --              or orhs ~ olhs (swapped)
                   -> SwapFlag
                   -> TcType -> TcType   -- New predicate  nlhs ~ nrhs
-                                        -- Should be zonked, becuase we use typeKind on nlhs/nrhs
+                                        -- Should be zonked, because we use typeKind on nlhs/nrhs
                   -> TcCoercion         -- lhs_co, of type :: nlhs ~ olhs
                   -> TcCoercion         -- rhs_co, of type :: nrhs ~ orhs
                   -> TcS (Maybe CtEvidence)  -- Of type nlhs ~ nrhs
index 1b2ffa8..f722ea3 100644 (file)
@@ -214,7 +214,7 @@ test('T7804', normal, compile, [''])
 test('T7837', normal, compile, ['-O -ddump-rule-firings'])
 test('T4185', normal, compile, [''])
 
-# Cuased infinite loop in the compiler
+# Caused infinite loop in the compiler
 test('T8002',
      normal,
      run_command,
index de6484f..0c93cc0 100644 (file)
@@ -17,7 +17,7 @@ diverges :: Int
 diverges = diverges
 
 -- The result should not have a CPR property
--- Becuase we are lub’ing "m" and "<S,U>m" in the case expression.
+-- Because we are lub’ing "m" and "<S,U>m" in the case expression.
 f :: D x -> x
 f x = case x of
     A -> hasCPR