spelling
authorGabor Greif <ggreif@gmail.com>
Fri, 1 Feb 2013 13:52:06 +0000 (14:52 +0100)
committerGabor Greif <ggreif@gmail.com>
Fri, 1 Feb 2013 23:51:59 +0000 (00:51 +0100)
testsuite/tests/codeGen/should_run/cgrun055.hs
testsuite/tests/gadt/gadt-escape1.hs
testsuite/tests/haddock/should_compile_noflag_haddock/haddockSimplUtilsBug.hs
testsuite/tests/simplCore/should_run/simplrun004.hs
testsuite/tests/typecheck/should_compile/tc167.hs
testsuite/tests/typecheck/should_fail/tcfail032.hs
testsuite/tests/typecheck/should_fail/tcfail132.hs
testsuite/tests/typecheck/should_fail/tcfail181.hs

index 7376327..f824e1b 100644 (file)
@@ -1,4 +1,4 @@
--- This program broke GHC 6.3, becuase dataToTag was called with
+-- This program broke GHC 6.3, because dataToTag was called with
 -- an unevaluated argument
 
 module Main where
index d90d6a9..05579f9 100644 (file)
@@ -10,7 +10,7 @@ data Hidden = forall t . Hidden (ExpGADT t) (ExpGADT t)
 hval = Hidden (ExpInt 0) (ExpInt 1)
 
 -- With the type sig this is ok, but without it maybe
--- should be rejected becuase the result type is wobbly
+-- should be rejected because the result type is wobbly
 --    weird1 :: ExpGADT Int
 --
 -- And indeed it is rejected by GHC 7.8 because OutsideIn
index a62020f..2f5e9ca 100644 (file)
@@ -4,7 +4,7 @@ postInlineUnconditionally
   = case Just "Hey" of
        -- The point of examining occ_info here is that for *non-values* 
        -- that occur outside a lambda, the call-site inliner won't have
-       -- a chance (becuase it doesn't know that the thing
+       -- a chance (because it doesn't know that the thing
        -- only occurs once).   The pre-inliner won't have gotten
        -- it either, if the thing occurs in more than one branch
        -- So the main target is things like
index 16e7566..e76274f 100644 (file)
@@ -23,7 +23,7 @@ sucW = gen_sucW (\ g x -> map (+x) [fst g..snd g]) f (11,500000)
 
 main = print (sum $ sucW 11,sum $ sucW 12)
 
--- Becuase this version uses a case expression, the bug 
+-- Because this version uses a case expression, the bug 
 -- doesn't happen and execution is much faster
 gen_sucC grow c g = case c g of 
            check -> \ x -> grow g x >>= \ y -> do guard $ check y; return y
index b317763..cadb1a7 100644 (file)
@@ -17,7 +17,7 @@ f x = x
 -- You might think that (->) should have type (? -> ? -> *), and you'd be right
 -- But if we do that we get kind errors when saying
 --     instance Control.Arrow (->)
--- becuase the expected kind is (*->*->*).  The trouble is that the
+-- because the expected kind is (*->*->*).  The trouble is that the
 -- expected/actual stuff in the unifier does not go contra-variant, whereas
 -- the kind sub-typing does.  Sigh.  It really only matters if you use (->) in
 -- a prefix way, thus:  (->) Int# Int#.  And this is unusual.
index 5950064..8c6bdd4 100644 (file)
@@ -6,7 +6,7 @@
 
 It *is* an error, because x does not have the polytype 
        forall a. Eq a => a -> Int
-becuase it is monomorphic, but the error message isn't very illuminating.
+because it is monomorphic, but the error message isn't very illuminating.
 -}
 
 module ShouldFail where
index cc933dc..dd8d644 100644 (file)
@@ -4,7 +4,7 @@
 --    Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
 --               but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
 --
--- as we couldn't tidy kinds, becuase they didn't have OccNames.
+-- as we couldn't tidy kinds, because they didn't have OccNames.
 -- This test recalls the bad error message.
 
 module ShouldFail where
index 01d0659..ca96a2c 100644 (file)
@@ -4,7 +4,7 @@
 --          (Monad GHC.Prim.Any1, Monad m) =>
 --          t -> Something (m Bool) e
 --
--- The stupid 'GHC.Prim.Any1' arose becuase of type ambiguity
+-- The stupid 'GHC.Prim.Any1' arose because of type ambiguity
 -- which should be reported, and wasn't.
 
 module ShouldFail where