Comments only [ci skip]
authorGabor Greif <ggreif@gmail.com>
Thu, 9 Mar 2017 09:22:28 +0000 (10:22 +0100)
committerGabor Greif <ggreif@gmail.com>
Thu, 9 Mar 2017 09:39:24 +0000 (10:39 +0100)
compiler/coreSyn/PprCore.hs
compiler/iface/TcIface.hs
compiler/simplCore/Simplify.hs
compiler/typecheck/FunDeps.hs
compiler/typecheck/TcTypeable.hs
libraries/template-haskell/Language/Haskell/TH/Syntax.hs

index ddece8d..28d3552 100644 (file)
@@ -338,7 +338,7 @@ Furthermore, a dead case-binder is completely ignored, while otherwise, dead
 binders are printed as "_".
 -}
 
--- THese instances are sadly orphans
+-- These instances are sadly orphans
 
 instance OutputableBndr Var where
   pprBndr = pprCoreBinder
index 2d30f52..3a6a407 100644 (file)
@@ -255,7 +255,7 @@ mergeIfaceDecl d1 d2
 --
 -- A module that defines T as representational in both arguments
 -- would successfully fill both signatures, so it would be better
--- if if we merged the roles of these types in some nontrivial
+-- if we merged the roles of these types in some nontrivial
 -- way.
 --
 -- However, we have to be very careful about how we go about
index 969fb3e..b63e745 100644 (file)
@@ -1814,7 +1814,7 @@ tryRules env rules fn args call_cont
                               -- many args the rule consumed
 
                       occ_anald_rhs = occurAnalyseExpr rule_rhs
-                          -- See Note [Occurence-analyse after rule firing]
+                          -- See Note [Occurrence-analyse after rule firing]
                 ; dump dflags rule rule_rhs
                 ; return (Just (occ_anald_rhs, cont')) }}}
   where
@@ -1847,7 +1847,7 @@ tryRules env rules fn args call_cont
       = liftIO . dumpSDoc dflags alwaysQualify flag "" $
                    sep [text hdr, nest 4 details]
 
-{- Note [Occurence-analyse after rule firing]
+{- Note [Occurrence-analyse after rule firing]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 After firing a rule, we occurrence-analyse the instantiated RHS before
 simplifying it.  Usually this doesn't make much difference, but it can
index 058a971..981702f 100644 (file)
@@ -52,7 +52,7 @@ Each functional dependency with one variable in the RHS is responsible
 for generating a single equality. For instance:
      class C a b | a -> b
 The constraints ([Wanted] C Int Bool) and [Wanted] C Int alpha
-will generate the folloing FunDepEqn
+will generate the following FunDepEqn
      FDEqn { fd_qtvs = []
            , fd_eqs  = [Pair Bool alpha]
            , fd_pred1 = C Int Bool
index b67ae54..8dfad6d 100644 (file)
@@ -125,7 +125,7 @@ There are many wrinkles:
   reduce the number of bindings we need to produce, we generate their KindReps
   once in GHC.Types. These are referred to as "built-in" KindReps below.
 
-* Even though KindReps aren't inlined this scheme still has more of an effect on
+* Even though KindReps aren't inlined, this scheme still has more of an effect on
   compilation time than I'd like. This is especially true in the case of
   families of type constructors (e.g. tuples and unboxed sums). The problem is
   particularly bad in the case of sums, since each arity-N tycon brings with it
index 466834a..8be48aa 100644 (file)
@@ -784,7 +784,7 @@ package `text` we find
   packConstr :: Constr
   packConstr = mkConstr textDataType "pack" [] Prefix
 
-Here `packConstr` isn't a real data constructor, it's an ordiary
+Here `packConstr` isn't a real data constructor, it's an ordinary
 function.  Two complications
 
 * In such a case, we must take care to build the Name using