Typos in comments
authorGabor Greif <ggreif@gmail.com>
Thu, 21 Dec 2017 17:36:21 +0000 (18:36 +0100)
committerGabor Greif <ggreif@gmail.com>
Thu, 21 Dec 2017 17:36:21 +0000 (18:36 +0100)
compiler/simplCore/CSE.hs
compiler/simplCore/SimplUtils.hs
compiler/typecheck/TcSimplify.hs
testsuite/tests/typecheck/should_compile/T2497.hs

index 085ca3c..919f61a 100644 (file)
@@ -544,7 +544,7 @@ to transform
    W y z   -> e2
 
 In the simplifier we use cheapEqExpr, because it is called a lot.
-But here in CSE we use the full eqExpr.  After all, two alterantives usually
+But here in CSE we use the full eqExpr.  After all, two alternatives usually
 differ near the root, so it probably isn't expensive to compare the full
 alternative.  It seems like the same kind of thing that CSE is supposed
 to be doing, which is why I put it here.
index 3f42b03..dfe8b62 100644 (file)
@@ -2093,7 +2093,7 @@ mkCase1 dflags scrut bndr alts_ty alts = mkCase2 dflags scrut bndr alts_ty alts
 
 mkCase2 dflags scrut bndr alts_ty alts
   | -- See Note [Scrutinee Constant Folding]
-    case alts of  -- Not if there is just a DEFAULT alterantive
+    case alts of  -- Not if there is just a DEFAULT alternative
       [(DEFAULT,_,_)] -> False
       _               -> True
   , gopt Opt_CaseFolding dflags
@@ -2150,7 +2150,7 @@ mkCase2 dflags scrut bndr alts_ty alts
 
     add_default :: [CoreAlt] -> [CoreAlt]
     -- TagToEnum may change a boolean True/False set of alternatives
-    -- to LitAlt 0#/1# alterantives.  But literal alternatives always
+    -- to LitAlt 0#/1# alternatives.  But literal alternatives always
     -- have a DEFAULT (I think).  So add it.
     add_default ((LitAlt {}, bs, rhs) : alts) = (DEFAULT, bs, rhs) : alts
     add_default alts                          = alts
index af04abe..8001fd6 100644 (file)
@@ -1231,7 +1231,7 @@ Reasons:
       fail spuriously, thereby obfuscating the original insoluble error.
       Trac #14000 is an example
 
-I tried an alterantive approach: simply failM, after emitting the
+I tried an alternative approach: simply failM, after emitting the
 residual implication constraint; the exception will be caught in
 TcBinds.tcPolyBinds, which gives all the binders in the group the type
 (forall a. a).  But that didn't work with -fdefer-type-errors, because
index 6f76395..55c390d 100644 (file)
@@ -6,7 +6,7 @@ foo x = x
 {-# NOINLINE [1] foo #-}
 
 -- Trac #2497; test should compile without language
---             pragmas to swith on the forall
+--             pragmas to switch on the forall
 {-# RULES "id" forall (x :: a). foo x = x #-}