More typos in comments [skip ci]
authorGabor Greif <ggreif@gmail.com>
Tue, 21 Jun 2016 14:16:20 +0000 (16:16 +0200)
committerGabor Greif <ggreif@gmail.com>
Wed, 22 Jun 2016 10:05:34 +0000 (12:05 +0200)
13 files changed:
compiler/basicTypes/DataCon.hs
compiler/basicTypes/Demand.hs
compiler/basicTypes/MkId.hs
compiler/codeGen/StgCmmClosure.hs
compiler/coreSyn/CoreUtils.hs
compiler/main/HscTypes.hs
compiler/rename/RnSource.hs
compiler/simplCore/OccurAnal.hs
compiler/simplCore/Simplify.hs
compiler/typecheck/TcRnTypes.hs
compiler/types/FamInstEnv.hs
compiler/types/TyCon.hs
rts/RtsAPI.c

index 670754d..a8c9733 100644 (file)
@@ -598,7 +598,7 @@ Terminology:
 
 Note [Data con representation]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-The dcRepType field contains the type of the representation of a contructor
+The dcRepType field contains the type of the representation of a constructor
 This may differ from the type of the constructor *Id* (built
 by MkId.mkDataConId) for two reasons:
         a) the constructor Id may be overloaded, but the dictionary isn't stored
index 4ae6812..9165782 100644 (file)
@@ -894,7 +894,7 @@ CPRResult:         NoCPR
             RetProd    RetSum ConTag
 
 
-Product contructors return (Dunno (RetProd rs))
+Product constructors return (Dunno (RetProd rs))
 In a fixpoint iteration, start from Diverges
 We have lubs, but not glbs; but that is ok.
 -}
index 99a4d25..512f8aa 100644 (file)
@@ -497,7 +497,7 @@ mkDataConRep dflags fam_envs wrap_name mb_bangs data_con
                  -- The Cpr info can be important inside INLINE rhss, where the
                  -- wrapper constructor isn't inlined.
                  -- And the argument strictness can be important too; we
-                 -- may not inline a contructor when it is partially applied.
+                 -- may not inline a constructor when it is partially applied.
                  -- For example:
                  --      data W = C !Int !Int !Int
                  --      ...(let w = C x in ...(w p q)...)...
index c612366..8c1aeef 100644 (file)
@@ -292,7 +292,7 @@ mkLFImported id
 --                Dynamic pointer tagging
 -----------------------------------------------------
 
-type ConTagZ = Int      -- A *zero-indexed* contructor tag
+type ConTagZ = Int      -- A *zero-indexed* constructor tag
 
 type DynTag = Int       -- The tag on a *pointer*
                         -- (from the dynamic-tagging paper)
index 7e0dc11..aeb0afb 100644 (file)
@@ -714,7 +714,7 @@ missed the first one.)
 combineIdenticalAlts :: [AltCon]    -- Constructors that cannot match DEFAULT
                      -> [CoreAlt]
                      -> (Bool,      -- True <=> something happened
-                         [AltCon],  -- New contructors that cannot match DEFAULT
+                         [AltCon],  -- New constructors that cannot match DEFAULT
                          [CoreAlt]) -- New alternatives
 -- See Note [Combine identical alternatives]
 -- True <=> we did some combining, result is a single DEFAULT alternative
@@ -2118,7 +2118,7 @@ rhsIsStatic :: Platform
 -- This is a bit like CoreUtils.exprIsHNF, with the following differences:
 --    a) scc "foo" (\x -> ...) is updatable (so we catch the right SCC)
 --
---    b) (C x xs), where C is a contructor is updatable if the application is
+--    b) (C x xs), where C is a constructor is updatable if the application is
 --         dynamic
 --
 --    c) don't look through unfolding of f in (f x).
index 200f642..a3352f4 100644 (file)
@@ -1793,7 +1793,7 @@ implicitTyConThings tc
     implicitCoTyCon tc ++
 
       -- for each data constructor in order,
-      --   the contructor, worker, and (possibly) wrapper
+      --   the constructor, worker, and (possibly) wrapper
     [ thing | dc    <- tyConDataCons tc
             , thing <- AConLike (RealDataCon dc) : dataConImplicitTyThings dc ]
       -- NB. record selectors are *not* implicit, they have fully-fledged
index d43945f..f16da6d 100644 (file)
@@ -1728,7 +1728,7 @@ rnDataDefn doc (HsDataDefn { dd_ND = new_or_data, dd_cType = cType
 badGadtStupidTheta :: HsDocContext -> SDoc
 badGadtStupidTheta _
   = vcat [text "No context is allowed on a GADT-style data declaration",
-          text "(You can put a context on each contructor, though.)"]
+          text "(You can put a context on each constructor, though.)"]
 
 rnFamDecl :: Maybe Name -- Just cls => this FamilyDecl is nested
                         --             inside an *class decl* for cls
index 2efd82f..c9da7b7 100644 (file)
@@ -1507,7 +1507,7 @@ type GlobalScruts = IdSet   -- See Note [Binder swap on GlobalId scrutinees]
 --      y = /\a -> (p a, q a)   -- Still don't inline p or q
 --      z = f (p,q)             -- Do inline p,q; it may make a rule fire
 -- So OccEncl tells enought about the context to know what to do when
--- we encounter a contructor application or PAP.
+-- we encounter a constructor application or PAP.
 
 data OccEncl
   = OccRhs              -- RHS of let(rec), albeit perhaps inside a type lambda
index bd0c8a9..7138d89 100644 (file)
@@ -2645,7 +2645,7 @@ Rather than do this we simply agree to re-simplify the original (small) thing la
 
 Note [Funky mkLamTypes]
 ~~~~~~~~~~~~~~~~~~~~~~
-Notice the funky mkLamTypes.  If the contructor has existentials
+Notice the funky mkLamTypes.  If the constructor has existentials
 it's possible that the join point will be abstracted over
 type variables as well as term variables.
  Example:  Suppose we have
index f6ecadf..e007777 100644 (file)
@@ -695,7 +695,7 @@ data TcLclEnv           -- Changes as we move inside an expression
                 --   Does *not* include global name envt; may shadow it
                 --   Includes both ordinary variables and type variables;
                 --   they are kept distinct because tyvar have a different
-                --   occurrence contructor (Name.TvOcc)
+                --   occurrence constructor (Name.TvOcc)
                 -- We still need the unsullied global name env so that
                 --   we can look up record field names
 
index 52c1004..5fc8cbe 100644 (file)
@@ -329,7 +329,7 @@ A FamInstEnv maps a family name to the list of known instances for that family.
 
 The same FamInstEnv includes both 'data family' and 'type family' instances.
 Type families are reduced during type inference, but not data families;
-the user explains when to use a data family instance by using contructors
+the user explains when to use a data family instance by using constructors
 and pattern matching.
 
 Nevertheless it is still useful to have data families in the FamInstEnv:
index ae97e34..a275caa 100644 (file)
@@ -215,7 +215,7 @@ See also Note [Wrappers for data instance tycons] in MkId.hs
 * The axiom ax_ti may be eta-reduced; see
   Note [Eta reduction for data family axioms] in TcInstDcls
 
-* The data contructor T2 has a wrapper (which is what the
+* The data constructor T2 has a wrapper (which is what the
   source-level "T2" invokes):
 
         $WT2 :: Bool -> T Int
index dbade8f..34d68c7 100644 (file)
@@ -22,7 +22,7 @@
    Building Haskell objects from C datatypes.
 
    TODO: Currently this code does not tag created pointers,
-         however it is not unsafe (the contructor code will do it)
+         however it is not unsafe (the constructor code will do it)
          just inefficient.
    ------------------------------------------------------------------------- */
 HaskellObj