Typos in comments only [ci skip]
authorGabor Greif <ggreif@gmail.com>
Tue, 17 Jan 2017 16:39:33 +0000 (17:39 +0100)
committerGabor Greif <ggreif@gmail.com>
Wed, 18 Jan 2017 08:37:19 +0000 (09:37 +0100)
13 files changed:
compiler/basicTypes/Demand.hs
compiler/coreSyn/CoreUtils.hs
compiler/coreSyn/MkCore.hs
compiler/deSugar/DsExpr.hs
compiler/prelude/primops.txt.pp
compiler/simplCore/OccurAnal.hs
compiler/specialise/SpecConstr.hs
compiler/stgSyn/CoreToStg.hs
compiler/stranal/DmdAnal.hs
compiler/typecheck/TcRules.hs
compiler/typecheck/TcSMonad.hs
docs/core-spec/core-spec.mng
testsuite/tests/typecheck/should_run/tcrun042.hs

index d79fa6e..1921da3 100644 (file)
@@ -1539,7 +1539,7 @@ Tricky point: make sure that we analyse in the 'virgin' pass. Consider
 In the virgin pass for 'f' we'll give 'f' a very strict (bottom) type.
 That might mean that we analyse the sub-expression containing the
 E = "...rec g..." stuff in a bottom demand.  Suppose we *didn't analyse*
-E, but just retuned botType.
+E, but just returned botType.
 
 Then in the *next* (non-virgin) iteration for 'f', we might analyse E
 in a weaker demand, and that will trigger doing a fixpoint iteration
index bad322d..6373307 100644 (file)
@@ -1295,7 +1295,7 @@ app_ok primop_ok fun args
               -- (which primop_ok will catch), but they ARE OK
               -- if the divisor is definitely non-zero.
               -- Often there is a literal divisor, and this
-              -- can get rid of a thunk in an inner looop
+              -- can get rid of a thunk in an inner loop
 
         | otherwise
         -> primop_ok op     -- Check the primop itself
index f28e1e9..f670ae3 100644 (file)
@@ -312,7 +312,7 @@ Note [Flattening one-tuples]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 This family of functions creates a tuple of variables/expressions/types.
   mkCoreTup [e1,e2,e3] = (e1,e2,e3)
-What if there is just one variable/expression/type in the agument?
+What if there is just one variable/expression/type in the argument?
 We could do one of two things:
 
 * Flatten it out, so that
index 48aaacc..8025c69 100644 (file)
@@ -543,7 +543,7 @@ dsExpr expr@(RecordUpd { rupd_expr = record_expr, rupd_flds = fields
         -- It's important to generate the match with matchWrapper,
         -- and the right hand sides with applications of the wrapper Id
         -- so that everything works when we are doing fancy unboxing on the
-        -- constructor aguments.
+        -- constructor arguments.
         ; alts <- mapM (mk_alt upd_fld_env) cons_to_upd
         ; ([discrim_var], matching_code)
                 <- matchWrapper RecUpd Nothing (MG { mg_alts = noLoc alts
index a69ba97..6795ca7 100644 (file)
@@ -2615,7 +2615,7 @@ binder-swap on the case, to give
 
 Now FloatOut might float that v-binding outside the \z.  But that is
 bad because that might mean x gest evaluated much too early!  (CorePrep
-adds an eval to a dataToTag# call, to ensure that the agument really is
+adds an eval to a dataToTag# call, to ensure that the argument really is
 evaluated; see CorePrep Note [dataToTag magic].)
 
 Solution: make DataToTag into a can_fail primop.  That will stop it floating
index 4ed96f5..c2aa093 100644 (file)
@@ -931,7 +931,7 @@ It's particularly bad to make a DFun into a loop breaker.  See
 Note [How instance declarations are translated] in TcInstDcls
 
 We give DFuns a higher score than ordinary CONLIKE things because
-if there's a choice we want the DFun to be the non-looop breker. Eg
+if there's a choice we want the DFun to be the non-loop breaker. Eg
 
 rec { sc = /\ a \$dC. $fBWrap (T a) ($fCT @ a $dC)
 
index 4aa7f04..71d2d4b 100644 (file)
@@ -210,7 +210,7 @@ This only makes sense if either
   b) the type variable 'a' is an argument to f (and hence fs)
 
 Actually, (a) may hold for value arguments too, in which case
-we may not want to pass them.  Supose 'x' is in scope at f's
+we may not want to pass them.  Suppose 'x' is in scope at f's
 defn, but xs is not.  Then we'd like
 
         f_spec xs = let p = (:) [a] x xs in ....as before....
index 0e33918..5531d31 100644 (file)
@@ -835,7 +835,7 @@ mkStgRhs' con_updateable rhs_fvs bndr binder_info rhs
 --           and lots of PAP_enters.
 --
 --         - in the case where the thunk is top-level, we save building
---           a black hole and futhermore the thunk isn't considered to
+--           a black hole and furthermore the thunk isn't considered to
 --           be a CAF any more, so it doesn't appear in any SRTs.
 --
 -- We do it here, because the arity information is accurate, and we need
index e2a1dc4..e7887b9 100644 (file)
@@ -1234,7 +1234,7 @@ binders the CPR property.  Specifically
                    | otherwise = x
 
    For $wf2 we are going to unbox the MkT *and*, since it is strict, the
-   first agument of the MkT; see Note [Add demands for strict constructors].
+   first argument of the MkT; see Note [Add demands for strict constructors].
    But then we don't want box it up again when returning it!  We want
    'f2' to have the CPR property, so we give 'x' the CPR property.
 
index 2983ccb..3c9ebea 100644 (file)
@@ -214,7 +214,7 @@ Consider
        f b True = ...
     #-}
 Here we *must* solve the wanted (Eq a) from the given (Eq a)
-resulting from skolemising the agument type of g.  So we
+resulting from skolemising the argument type of g.  So we
 revert to SimplCheck when going under an implication.
 
 
index 0f98f29..1d0ddb3 100644 (file)
@@ -855,7 +855,7 @@ The idea is that
   - (K2c): If this holds, we can't pass through this triple infinitely
     often, because if we did then fs>=f, fw>=f, hence by (R2)
       * either fw>=fs, contradicting K2c
-      * or fs>=fw; so by the agument in K2b we can't have a loop
+      * or fs>=fw; so by the argument in K2b we can't have a loop
 
   - (K2d): if a not in s, we hae no further opportunity to apply the
     work item, similar to (K2b)
index 0eec2eb..f9db420 100644 (file)
@@ -242,7 +242,7 @@ In \ottdrulename{Co\_UnivCo}, function $ \textsf{compatibleUnBoxedTys} $ stands
     appropriate element of the target tuple;
 \end{itemize}
 For function implementation see \coderef{coreSyn/CoreLint.lhs}{checkTypes}.
-For futher discussion see \url{https://ghc.haskell.org/trac/ghc/wiki/BadUnsafeCoercions}.
+For further discussion see \url{https://ghc.haskell.org/trac/ghc/wiki/BadUnsafeCoercions}.
 
 \subsection{Type constructors}
 
index ba4251c..3b51d36 100644 (file)
@@ -1,11 +1,11 @@
 {-# LANGUAGE TupleSections, RankNTypes, ImpredicativeTypes #-}
 
--- Sept 16: This test involves wholesale use of impredicative polymorhism
+-- Sept 16: This test involves wholesale use of impredicative polymorphism
 --          and I'm amazed it has worked for so long. Anyway it is now
---          failing, which is OK.  We don't really suport impredicative
+--          failing, which is OK.  We don't really support impredicative
 --          polymorphism!
 --
--- The test was added by Max in 5e8ff849, appretly to test tuple sections
+-- The test was added by Max in 5e8ff849, apparently to test tuple sections
 
 module Main where
 
@@ -15,4 +15,4 @@ e = (,"Hello" ++ "World",)
 dropFunction :: (a, String, forall c. c -> c -> c) -> (a, String, Int)
 dropFunction (x, y, z) = (x, y, z 10 20)
 
-main = print (dropFunction $ e "Meh" (flip const), dropFunction $ e 10 const)
\ No newline at end of file
+main = print (dropFunction $ e "Meh" (flip const), dropFunction $ e 10 const)