Spelling fixes
authorGabor Greif <ggreif@gmail.com>
Thu, 20 Jul 2017 08:46:14 +0000 (10:46 +0200)
committerGabor Greif <ggreif@gmail.com>
Thu, 20 Jul 2017 08:47:47 +0000 (10:47 +0200)
12 files changed:
compiler/coreSyn/CoreSyn.hs
compiler/coreSyn/CoreUnfold.hs
compiler/coreSyn/CoreUtils.hs
compiler/ghci/ByteCodeGen.hs
compiler/simplCore/SimplCore.hs
compiler/simplCore/Simplify.hs
compiler/specialise/Rules.hs
compiler/typecheck/TcCanonical.hs
compiler/typecheck/TcInstDcls.hs
compiler/typecheck/TcSMonad.hs
docs/users_guide/8.0.2-notes.rst
testsuite/tests/typecheck/should_compile/tc189.hs

index 13cf8ae..99478d2 100644 (file)
@@ -1652,7 +1652,7 @@ In unfoldings and rules, we guarantee that the template is occ-analysed,
 so that the occurrence info on the binders is correct.  This is important,
 because the Simplifier does not re-analyse the template when using it. If
 the occurrence info is wrong
-  - We may get more simpifier iterations than necessary, because
+  - We may get more simplifier iterations than necessary, because
     once-occ info isn't there
   - More seriously, we may get an infinite loop if there's a Rec
     without a loop breaker marked
index cedc78f..a104cd6 100644 (file)
@@ -649,7 +649,7 @@ sizeExpr dflags bOMB_OUT_SIZE top_args expr
         -- Don't charge for args, so that wrappers look cheap
         -- (See comments about wrappers with Case)
         --
-        -- IMPORATANT: *do* charge 1 for the alternative, else we
+        -- IMPORTANT: *do* charge 1 for the alternative, else we
         -- find that giant case nests are treated as practically free
         -- A good example is Foreign.C.Error.errnoToIOError
 
index b839923..eec524f 100644 (file)
@@ -713,7 +713,7 @@ This gave rise to a horrible sequence of cases
 and similarly in cascade for all the join points!
 
 NB: it's important that all this is done in [InAlt], *before* we work
-on the alternatives themselves, because Simpify.simplAlt may zap the
+on the alternatives themselves, because Simplify.simplAlt may zap the
 occurrence info on the binders in the alternatives, which in turn
 defeats combineIdenticalAlts (see Trac #7360).
 
index 5c236f3..2695a98 100644 (file)
@@ -409,14 +409,14 @@ getVarOffSets depth env = catMaybes . map getOffSet
         Nothing     -> Nothing
         Just offset ->
             -- michalt: I'm not entirely sure why we need the stack
-            -- adjustement by 2 here. I initially thought that there's
+            -- adjustment by 2 here. I initially thought that there's
             -- something off with getIdValFromApStack (the only user of this
             -- value), but it looks ok to me. My current hypothesis is that
-            -- this "adjustement" is needed due to stack manipulation for
+            -- this "adjustment" is needed due to stack manipulation for
             -- BRK_FUN in Interpreter.c In any case, this is used only when
             -- we trigger a breakpoint.
-            let adjustement = 2
-            in Just (id, trunc16 $ depth - offset + adjustement)
+            let adjustment = 2
+            in Just (id, trunc16 $ depth - offset + adjustment)
 
 trunc16 :: Word -> Word16
 trunc16 w
index 93d8292..c1513b8 100644 (file)
@@ -284,7 +284,7 @@ getCoreToDo dflags
 
                 -- At least 3 iterations because otherwise we land up with
                 -- huge dead expressions because of an infelicity in the
-                -- simpifier.
+                -- simplifier.
                 --      let k = BIG in foldr k z xs
                 -- ==>  let k = BIG in letrec go = \xs -> ...(k x).... in go xs
                 -- ==>  let k = BIG in letrec go = \xs -> ...(BIG x).... in go xs
index 8bccbfe..91ed644 100644 (file)
@@ -1865,7 +1865,7 @@ latter's strictness when simplifying e2, e3.  Moreover, suppose we have
 
 Then given (f Int e1) we rewrite to
    (\x. x True) e1
-without simpifying e1.  Now we can inline x into its unique call site,
+without simplifying e1.  Now we can inline x into its unique call site,
 and absorb the True into it all in the same pass.  If we simplified
 e1 first, we couldn't do that; see Note [Avoiding exponential behaviour].
 
index aed86c5..b560675 100644 (file)
@@ -617,7 +617,7 @@ bound on the LHS:
     RULE forall (c :: a~b). f (x |> c) = e
   Now, if that binding is inlined, so that a=b=Int, we'd get
     RULE forall (c :: Int~Int). f (x |> c) = e
-  and now when we simpilfy the LHS (Simplify.simplRule) we
+  and now when we simplify the LHS (Simplify.simplRule) we
   optCoercion will turn that 'c' into Refl:
     RULE forall (c :: Int~Int). f (x |> <Int>) = e
   and then perhaps drop it altogether.  Now 'c' is unbound.
index d373ee9..be51914 100644 (file)
@@ -126,7 +126,7 @@ canEvNC ev
 
 canClassNC :: CtEvidence -> Class -> [Type] -> TcS (StopOrContinue Ct)
 -- "NC" means "non-canonical"; that is, we have got here
--- from a NonCanonical constrataint, not from a CDictCan
+-- from a NonCanonical constraint, not from a CDictCan
 -- Precondition: EvVar is class evidence
 canClassNC ev cls tys
   | isGiven ev  -- See Note [Eagerly expand given superclasses]
index 6f3a2c9..022668b 100644 (file)
@@ -954,7 +954,7 @@ Notice that
    by checkInstConstraints.
 
  * Overall instance implication. There is an overall enclosing
-   implication for the whole instance declaratation, with the expected
+   implication for the whole instance declaration, with the expected
    skolems and givens.  We need this to get the correct "redundant
    constraint" warnings, gathering all the uses from all the methods
    and superclasses.  See TcSimplify Note [Tracking redundant
index bb4f557..b5f6554 100644 (file)
@@ -1842,7 +1842,7 @@ getNoGivenEqs tclvl skol_tvs
     eqs_given_here _ = False
 
     ev_given_here :: CtEvidence -> Bool
-    -- True for a Given bound by the curent implication,
+    -- True for a Given bound by the current implication,
     -- i.e. the current level
     ev_given_here ev
       =  isGiven ev
index 7c2e2d7..11e1540 100644 (file)
@@ -132,7 +132,7 @@ Compiler
    (see :ghc-ticket:`12816`).
 
 -  GHC now reliably runs on macOS Sierra systems. Sierra introduced a linker
-   limitation which GHC occassionally surpassed when compiling programs with
+   limitation which GHC occasionally surpassed when compiling programs with
    many package dependencies. (see :ghc-ticket:`12479`).
 
 -  The :ghc-flag:`-Wredundant-constraints` flag has been removed from the
index 400f68d..9205a23 100644 (file)
@@ -1,5 +1,5 @@
 {-# LANGUAGE NoMonoPatBinds #-}
-        -- Disable experimetal monomorphic pattern bindings
+        -- Disable experimental monomorphic pattern bindings
 
 -- Nasty test for type signatures
 -- In both groups of declarations below, the type variables 'a' and 'b'