Squash some spelling issues
authorGabor Greif <ggreif@gmail.com>
Sun, 26 Jan 2014 12:39:00 +0000 (13:39 +0100)
committerGabor Greif <ggreif@gmail.com>
Sun, 26 Jan 2014 13:03:51 +0000 (14:03 +0100)
22 files changed:
compiler/basicTypes/BasicTypes.lhs
compiler/cmm/CmmContFlowOpt.hs
compiler/coreSyn/CoreLint.lhs
compiler/coreSyn/CoreSubst.lhs
compiler/coreSyn/CoreSyn.lhs
compiler/hsSyn/HsUtils.lhs
compiler/rename/RnEnv.lhs
compiler/rename/RnPat.lhs
compiler/rename/RnSource.lhs
compiler/simplCore/OccurAnal.lhs
compiler/simplCore/SimplCore.lhs
compiler/stgSyn/CoreToStg.lhs
compiler/typecheck/TcMType.lhs
docs/comm/exts/th.html
docs/comm/the-beast/basicTypes.html
docs/comm/the-beast/renamer.html
docs/comm/the-beast/simplifier.html
docs/comm/the-beast/stg.html
docs/comm/the-beast/typecheck.html
docs/ndp/haskell.sty
docs/ndp/vect.tex
docs/users_guide/glasgow_exts.xml

index cb90fc9..9a92b00 100644 (file)
@@ -566,7 +566,7 @@ defn of OccInfo here, safely at the bottom
 \begin{code}
 -- | Identifier occurrence information
 data OccInfo
-  = NoOccInfo           -- ^ There are many occurrences, or unknown occurences
+  = NoOccInfo           -- ^ There are many occurrences, or unknown occurrences
 
   | IAmDead             -- ^ Marks unused variables.  Sometimes useful for
                         -- lambda and case-bound variables.
index baef09f..52b95a9 100644 (file)
@@ -246,7 +246,7 @@ blockConcat splitting_procs g@CmmGraph { g_entry = entry_id }
         --   (3) increase number of predecessors of dest by 1
         --   (4) decrease number of predecessors of b' by 1
         --
-        -- Later we will use replaceLabels to substitute all occurences of b'
+        -- Later we will use replaceLabels to substitute all occurrences of b'
         -- with dest.
         | splitting_procs
         , Just b'   <- callContinuation_maybe last
index a2f312d..836164e 100644 (file)
@@ -116,7 +116,7 @@ to the type of the binding variable.  lintBinders does this.
 
 For Ids, the type-substituted Id is added to the in_scope set (which
 itself is part of the TvSubst we are carrying down), and when we
-find an occurence of an Id, we fetch it from the in-scope set.
+find an occurrence of an Id, we fetch it from the in-scope set.
 
 
 \begin{code}
index 3b39320..fef3e86 100644 (file)
@@ -769,7 +769,7 @@ Note [Worker inlining]
 A worker can get sustituted away entirely.
        - it might be trivial
        - it might simply be very small
-We do not treat an InlWrapper as an 'occurrence' in the occurence 
+We do not treat an InlWrapper as an 'occurrence' in the occurrence 
 analyser, so it's possible that the worker is not even in scope any more.
 
 In all all these cases we simply drop the special case, returning to
@@ -843,7 +843,7 @@ simpleOptExpr :: CoreExpr -> CoreExpr
 -- We also inline bindings that bind a Eq# box: see
 -- See Note [Optimise coercion boxes agressively].
 --
--- The result is NOT guaranteed occurence-analysed, because
+-- The result is NOT guaranteed occurrence-analysed, because
 -- in  (let x = y in ....) we substitute for x; so y's occ-info
 -- may change radically
 
index 080c117..3dc8eeb 100644 (file)
@@ -992,7 +992,7 @@ See also Note [Inlining an InlineRule] in CoreUnfold.
 Note [OccInfo in unfoldings and rules]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 In unfoldings and rules, we guarantee that the template is occ-analysed,
-so that the occurence info on the binders is correct.  This is important,
+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
index abc4758..558c104 100644 (file)
@@ -701,7 +701,7 @@ hsLTyClDeclBinders :: Eq name => Located (TyClDecl name) -> [Located name]
 -- ^ Returns all the /binding/ names of the decl.
 -- The first one is guaranteed to be the name of the decl. For record fields
 -- mentioned in multiple constructors, the SrcLoc will be from the first
--- occurence.  We use the equality to filter out duplicate field names.
+-- occurrence.  We use the equality to filter out duplicate field names.
 --
 -- Each returned (Located name) is wrapped in a @SrcSpan@ of the whole
 -- /declaration/, not just the name itself (which is how it appears in
index 1028d08..f0d1840 100644 (file)
@@ -450,7 +450,7 @@ Thus:
       data G a
     instance C S where
       data G S = Y1 | Y2
-Even though there are two G's in scope (M.G and Blib.G), the occurence
+Even though there are two G's in scope (M.G and Blib.G), the occurrence
 of 'G' in the 'instance C S' decl is unambiguous, because C has only
 one associated type called G. This is exactly what happens for methods,
 and it is only consistent to do the same thing for types. That's the
@@ -611,7 +611,7 @@ When the user writes:
 'Zero' in the type signature of 'foo' is parsed as:
   HsTyVar ("Zero", TcClsName)
 
-When the renamer hits this occurence of 'Zero' it's going to realise
+When the renamer hits this occurrence of 'Zero' it's going to realise
 that it's not in scope. But because it is renaming a type, it knows
 that 'Zero' might be a promoted data constructor, so it will demote
 its namespace to DataName and do a second lookup.
index 639ab51..3fde563 100644 (file)
@@ -153,7 +153,7 @@ Consider
 
   g _ = T1
 
-Arguaby we should report T2 as unused, even though it appears in a
+Arguably we should report T2 as unused, even though it appears in a
 pattern, because it never occurs in a constructed position.  See
 Trac #7336.
 However, implementing this in the face of pattern synonyms would be
@@ -166,7 +166,7 @@ we need to observe the dependency between P1 and P2 so that type
 checking can be done in the correct order (just like for value
 bindings). Dependencies between bindings is analyzed in the renamer,
 where we don't know yet whether P2 is a constructor or a pattern
-synonym. So for now, we do report conid occurances in patterns as
+synonym. So for now, we do report conid occurrences in patterns as
 uses.
 
 %*********************************************************
index f3b4d91..c726d55 100644 (file)
@@ -60,7 +60,7 @@ for undefined tyvars, and tyvars in contexts that are ambiguous.
 (Some of this checking has now been moved to module @TcMonoType@,
 since we don't have functional dependency information at this point.)
 \item
-Checks that all variable occurences are defined.
+Checks that all variable occurrences are defined.
 \item
 Checks the @(..)@ etc constraints in the export list.
 \end{enumerate}
index 3aacce6..2487787 100644 (file)
@@ -72,7 +72,7 @@ occurAnalysePgm this_mod active_rule imp_rules vects vectVars binds
                              vectVars)
     -- The RULES and VECTORISE declarations keep things alive! (For VECTORISE declarations,
     -- we only get them *until* the vectoriser runs. Afterwards, these dependencies are
-    -- reflected in 'vectors' — see Note [Vectorisation declarations and occurences].)
+    -- reflected in 'vectors' — see Note [Vectorisation declarations and occurrences].)
 
     -- Note [Preventing loops due to imported functions rules]
     imp_rules_edges = foldr (plusVarEnv_C unionVarSet) emptyVarEnv
@@ -92,7 +92,7 @@ occurAnalysePgm this_mod active_rule imp_rules vects vectVars binds
            (final_usage, bind') = occAnalBind env env imp_rules_edges bind bs_usage
 
 occurAnalyseExpr :: CoreExpr -> CoreExpr
-        -- Do occurrence analysis, and discard occurence info returned
+        -- Do occurrence analysis, and discard occurrence info returned
 occurAnalyseExpr = occurAnalyseExpr' True -- do binder swap
 
 occurAnalyseExpr_NoBinderSwap :: CoreExpr -> CoreExpr
@@ -1657,7 +1657,7 @@ From the original
 we will get
      case x of cb(live) { p -> let x = cb in ...x... }
 
-Core Lint never expects to find an *occurence* of an Id marked
+Core Lint never expects to find an *occurrence* of an Id marked
 as Dead, so we must zap the OccInfo on cb before making the
 binding x = cb.  See Trac #5028.
 
index de562d5..c487c98 100644 (file)
@@ -628,7 +628,7 @@ simplifyPgmIO pass@(CoreDoSimplify max_iterations mode)
       , sz == sz     -- Force it
       = do {
                 -- Occurrence analysis
-           let {   -- Note [Vectorisation declarations and occurences]
+           let {   -- Note [Vectorisation declarations and occurrences]
                    -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                    -- During the 'InitialPhase' (i.e., before vectorisation), we need to make sure
                    -- that the right-hand sides of vectorisation declarations are taken into
index 9c5bc10..2c4df69 100644 (file)
@@ -1076,7 +1076,7 @@ type FreeVarsInfo = VarEnv (Var, HowBound, StgBinderInfo)
         --
         -- All case/lambda-bound things are also mapped to
         -- noBinderInfo, since we aren't interested in their
-        -- occurence info.
+        -- occurrence info.
         --
         -- For ILX we track free var info for type variables too;
         -- hence VarEnv not IdEnv
index 59dca2c..a40a93d 100644 (file)
@@ -546,7 +546,7 @@ zonkQuantifiedTyVar :: TcTyVar -> TcM TcTyVar
 -- default their kind (e.g. from OpenTypeKind to TypeKind)
 --                     -- see notes with Kind.defaultKind
 -- The meta tyvar is updated to point to the new skolem TyVar.  Now any 
--- bound occurences of the original type variable will get zonked to 
+-- bound occurrences of the original type variable will get zonked to 
 -- the immutable version.
 --
 -- We leave skolem TyVars alone; they are immutable.
index dbb168a..539245d 100644 (file)
@@ -131,7 +131,7 @@ Core Language.Haskell.TH.Syntax.Type</pre>
       appear. 
     </p>
 
-    <h3>Binders Versus Occurences</h3>
+    <h3>Binders Versus Occurrences</h3>
     <p>
       Name lookups in the meta environment of the desugarer use two functions
       with slightly different behaviour, namely <code>DsMeta.lookupOcc</code>
index ca56d6b..b411e4c 100644 (file)
@@ -41,7 +41,7 @@
       <code>IdInfo</code>:
     <p>
     <dl>
-      <dt><a name="occInfo">Occurence information</a>
+      <dt><a name="occInfo">Occurrence information</a>
       <dd>The <code>OccInfo</code> data type is defined in the module <a
        href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/basicTypes/BasicTypes.lhs"><code>BasicTypes.lhs</code></a>.
        Apart from the trivial <code>NoOccInfo</code>, it distinguishes
index 828b569..878e82b 100644 (file)
@@ -194,7 +194,7 @@ data Provenance
       <code>RdrName</code> environment, which contains <code>Name</code>s for
       all imported <em>and</em> all locally defined toplevel binders.  Hence,
       when the helpers of <code>rnSrcDecls</code> come across the
-      <em>defining</em> occurences of a toplevel <code>RdrName</code>, they
+      <em>defining</em> occurrences of a toplevel <code>RdrName</code>, they
       don't rename it by generating a new name, but they simply look up its
       name in the global <code>RdrName</code> environment.
     </p>
index 40cf7cf..4dbce77 100644 (file)
@@ -37,7 +37,7 @@
       computes a set of <em>loop breakers</em> - a set of definitions that
       together cut any possible loop in the binding group.  It marks the
       identifiers bound by these definitions as loop breakers by enriching
-      their <a href="basicTypes.html#occInfo">occurence information.</a>  Loop
+      their <a href="basicTypes.html#occInfo">occurrence information.</a>  Loop
       breakers will <em>never</em> be inlined by the simplifier; thus,
       guaranteeing termination of the simplification procedure.  (This is not
       entirely accurate -- see <a href="#rules">rewrite rules</a> below.)
index 4581da7..6c98516 100644 (file)
     <p>
       The representation of STG language defined in <a
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/stgSyn/StgSyn.lhs"><code>StgSyn</code></a>
-      abstracts over both binders and occurences of variables.  The type names
+      abstracts over both binders and occurrences of variables.  The type names
       involved in this generic definition all carry the prefix
       <code>Gen</code> (such as in <code>GenStgBinding</code>).  Instances of
-      these generic definitions, where both binders and occurences are of type
+      these generic definitions, where both binders and occurrences are of type
       <a
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/basicTypes/Id.lhs"><code>Id</code></a><code>.Id</code>
       are defined as type synonyms and use type names that drop the
index 8d22784..482a447 100644 (file)
@@ -21,7 +21,7 @@
       GHC defines the abstract syntax of Haskell programs in <a
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/hsSyn/HsSyn.lhs"><code>HsSyn</code></a>
       using a structure that abstracts over the concrete representation of
-      bound occurences of identifiers and patterns.  The module <a
+      bound occurrences of identifiers and patterns.  The module <a
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/typecheck/TcHsSyn.lhs"><code>TcHsSyn</code></a>
       defines a number of helper function required by the type checker.  Note
       that the type <a
@@ -248,7 +248,7 @@ tau   -> tyvar
       Expressions are type checked by <a
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/typecheck/TcExpr.lhs"><code>TcExpr</code>.</a>  
     <p>
-      Usage occurences of identifiers are processed by the function
+      Usage occurrences of identifiers are processed by the function
       <code>tcId</code> whose main purpose is to <a href="#inst">instantiate
       overloaded identifiers.</a> It essentially calls
       <code>TcInst.instOverloadedFun</code> once for each universally
@@ -275,7 +275,7 @@ tau   -> tyvar
       href="http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/ghc/compiler/typecheck/Inst.lhs"><code>Inst.lhs</code>.</a>
     <p>
       The function <code>instOverloadedFun</code> is invoked for each
-      overloaded usage occurence of an identifier, where overloaded means that
+      overloaded usage occurrence of an identifier, where overloaded means that
       the type of the idendifier contains a non-trivial type constraint.  It
       proceeds in two steps: (1) Allocation of a method instance
       (<code>newMethodWithGivenTy</code>) and (2) instantiation of functional
index 969ad67..3e4d478 100644 (file)
@@ -87,7 +87,7 @@
 \ProvidesPackage{haskell}[2002/02/08 v1.1a Chilli's Haskell Style]
 
 % NOTE: The sole purpose of the following is to work around what I believe is
-%       a bug in LaTeX.  If the first occurence of \mathit in a document uses
+%       a bug in LaTeX.  If the first occurrence of \mathit in a document uses
 %       \bgroup and \egroup to enclose the argument (instead of { and }),
 %       \mathit does *not* apply to the argument.  (I guess, some font
 %       initialisation stuff is getting in the way of parsing the argument.)
index 1244972..cf6ee77 100644 (file)
@@ -243,7 +243,7 @@ Note that this is precisely the reason for the \<\parr{\cdot}\> instances for
 \<\alpha\to\beta\> and \<PA \alpha\>. A term of type \<\forall\alpha.\sigma\>
 will be lifted to a term of type
 \<\parr{\forall\alpha.PA \alpha\to\vect{\sigma}}\> which requires the
-instances. Apart from closures, these are the only occurences of \<({\to})\> in
+instances. Apart from closures, these are the only occurrences of \<({\to})\> in
 the transformed program, however.
 
 
index 77be1e7..23ba91c 100644 (file)
@@ -1103,7 +1103,7 @@ pattern (Show b) => ExNumPat b :: (Num a, Eq a) => T a
 <listitem> Matching:
 
 <para>
-A pattern synonym occurance in a pattern is evaluated by first
+A pattern synonym occurrence in a pattern is evaluated by first
 matching against the pattern synonym itself, and then on the argument
 patterns. For example, in the following program, <literal>f</literal>
 and <literal>f'</literal> are equivalent: