Typofixes in docs and comments [ci skip]
authorGabor Greif <ggreif@gmail.com>
Mon, 18 Jun 2018 12:22:54 +0000 (14:22 +0200)
committerGabor Greif <ggreif@gmail.com>
Mon, 18 Jun 2018 12:41:54 +0000 (14:41 +0200)
24 files changed:
compiler/basicTypes/MkId.hs
compiler/coreSyn/CoreLint.hs
compiler/coreSyn/CoreSyn.hs
compiler/iface/BinIface.hs
compiler/main/DynFlags.hs
compiler/main/TidyPgm.hs
compiler/rename/RnSource.hs
compiler/simplCore/SimplUtils.hs
compiler/specialise/Rules.hs
compiler/typecheck/TcDerivInfer.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcHsType.hs
compiler/typecheck/TcRnTypes.hs
compiler/typecheck/TcSimplify.hs
compiler/typecheck/TcTyClsDecls.hs
compiler/types/TyCon.hs
compiler/types/Unify.hs
docs/users_guide/debug-info.rst
docs/users_guide/debugging.rst
docs/users_guide/extending_ghc.rst
libraries/base/Data/Monoid.hs
testsuite/tests/simplCore/should_run/T13429a.hs
testsuite/tests/typecheck/should_compile/all.T
utils/llvm-targets/gen-data-layout.sh

index f68a28d..772bce4 100644 (file)
@@ -124,7 +124,7 @@ Note [magicIds]
 ~~~~~~~~~~~~~~~
 The magicIds
 
-  * Are expotted from GHC.Maic
+  * Are exported from GHC.Maic
 
   * Can be defined in Haskell (and are, in ghc-prim:GHC/Magic.hs).
     This definition at least generates Haddock documentation for them.
index 90095ad..fb421a1 100644 (file)
@@ -1384,7 +1384,7 @@ Consider (Trac #14939)
    f :: forall (cls :: * -> Constraint) (b :: Alg cls *). b
 
 Here 'cls' appears free in b's kind, which would usually be illegal
-(becuase in (forall a. ty), ty's kind should not mention 'a'). But
+(because in (forall a. ty), ty's kind should not mention 'a'). But
 #in this case (Alg cls *) = *, so all is well.  Currently we allow
 this, and make Lint expand synonyms where necessary to make it so.
 
index 50e40d1..678c5e1 100644 (file)
@@ -757,7 +757,7 @@ transformation universally. This transformation would do:
 but that is ill-typed, as `x` is type `a`, not `Bool`.
 
 
-This is also justifies why we do not consider the `e` in `e |> co` to be in
+This also justifies why we do not consider the `e` in `e |> co` to be in
 tail position: A cast changes the type, but the type must be the same. But
 operationally, casts are vacuous, so this is a bit unfortunate! See #14610 for
 ideas how to fix this.
index b8b4bb0..4e22685 100644 (file)
@@ -208,7 +208,7 @@ putWithUserData log_action bh payload = do
     -- Remember where the symbol table pointer will go
     symtab_p_p <- tellBin bh
     put_ bh symtab_p_p
-    -- Make some intial state
+    -- Make some initial state
     symtab_next <- newFastMutInt
     writeFastMutInt symtab_next 0
     symtab_map <- newIORef emptyUFM
index fa210dc..77a6185 100644 (file)
@@ -880,7 +880,7 @@ data DynFlags = DynFlags {
   floatLamArgs          :: Maybe Int,   -- ^ Arg count for lambda floating
                                         --   See CoreMonad.FloatOutSwitches
 
-  cmmProcAlignment      :: Maybe Int,   -- ^ Align Cmm functions at this boundry or use default.
+  cmmProcAlignment      :: Maybe Int,   -- ^ Align Cmm functions at this boundary or use default.
 
   historySize           :: Int,         -- ^ Simplification history size
 
index f98e65e..b67ade2 100644 (file)
@@ -612,7 +612,7 @@ chooseExternalIds hsc_env mod omit_prags expose_all binds implicit_binds imp_id_
  where
   nc_var = hsc_NC hsc_env
 
-  -- init_ext_ids is the intial list of Ids that should be
+  -- init_ext_ids is the initial list of Ids that should be
   -- externalised.  It serves as the starting point for finding a
   -- deterministic, tidy, renaming for all external Ids in this
   -- module.
index 50841af..98f8005 100644 (file)
@@ -392,7 +392,7 @@ rnHsForeignDecl (XForeignDecl _) = panic "rnHsForeignDecl"
 
 -- | For Windows DLLs we need to know what packages imported symbols are from
 --      to generate correct calls. Imported symbols are tagged with the current
---      package, so if they get inlined across a package boundry we'll still
+--      package, so if they get inlined across a package boundary we'll still
 --      know where they're from.
 --
 patchForeignImport :: UnitId -> ForeignImport -> ForeignImport
index 3b16628..e5d9d33 100644 (file)
@@ -1088,7 +1088,7 @@ spectral/mandel/Mandel.hs, where the mandelset function gets a useful
 let-float if you inline windowToViewport
 
 However, as usual for Gentle mode, do not inline things that are
-inactive in the intial stages.  See Note [Gentle mode].
+inactive in the initial stages.  See Note [Gentle mode].
 
 Note [Stable unfoldings and preInlineUnconditionally]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -2231,7 +2231,7 @@ mkCase3 _dflags scrut bndr alts_ty alts
   = return (Case scrut bndr alts_ty alts)
 
 -- See Note [Exitification] and Note [Do not inline exit join points] in Exitify.hs
--- This lives here (and not in Id) becuase occurrence info is only valid on
+-- This lives here (and not in Id) because occurrence info is only valid on
 -- InIds, so it's crucial that isExitJoinId is only called on freshly
 -- occ-analysed code. It's not a generic function you can call anywhere.
 isExitJoinId :: Var -> Bool
index 8b15c81..3380d02 100644 (file)
@@ -678,7 +678,7 @@ obscure way in Trac #14777.  Problem was that during matching we look
 up target-term variables in the in-scope set (see Note [Lookup
 in-scope]).  If a target-term variable happens to name-clash with a
 template variable, that lookup will find the template variable, which
-is /uttterly/ bogus.  In Trac #14777, this transformed a term variable
+is /utterly/ bogus.  In Trac #14777, this transformed a term variable
 into a type variable, and then crashed when we wanted its idInfo.
 ------ End of historical note -------
 
index d6c379a..4489d45 100644 (file)
@@ -398,7 +398,7 @@ We have some special hacks to support things like
    data T = MkT Int# deriving ( Show )
 
 Specifically, we use TcGenDeriv.box to box the Int# into an Int
-(which we know how to show), and append a '#'. Parenthesis are not required
+(which we know how to show), and append a '#'. Parentheses are not required
 for unboxed values (`MkT -3#` is a valid expression).
 
 Note [Superclasses of derived instance]
index 5d08389..a4a005c 100644 (file)
@@ -1103,7 +1103,7 @@ data HsArg tm ty
 {-
 Note [HsArgPar]
 A HsArgPar indicates that everything to the left of this in the argument list is
-enclosed in parenthesis together with the function itself. It is necessary so
+enclosed in parentheses together with the function itself. It is necessary so
 that we can recreate the parenthesis structure in the original source after
 typechecking the arguments.
 
index 90fa869..c590f0a 100644 (file)
@@ -588,7 +588,7 @@ tc_infer_hs_type mode (HsOpTy _ lhs lhs_op@(L _ hs_op) rhs)
 
 tc_infer_hs_type mode (HsKindSig _ ty sig)
   = do { sig' <- tcLHsKindSig KindSigCtxt sig
-                 -- We must typeckeck the kind signature, and solve all
+                 -- We must typecheck the kind signature, and solve all
                  -- its equalities etc; from this point on we may do
                  -- things like instantiate its foralls, so it needs
                  -- to be fully determined (Trac #149904)
index d91b5e9..d54d71f 100644 (file)
@@ -1763,7 +1763,7 @@ Example 1:  (c Int), where c :: * -> Constraint.  We can't do anything
 
 Example 2:  a ~ b, where a :: *, b :: k, where k is a kind variable
             We don't want to use this to substitute 'b' for 'a', in case
-            'k' is subequently unifed with (say) *->*, because then
+            'k' is subsequently unifed with (say) *->*, because then
             we'd have ill-kinded types floating about.  Rather we want
             to defer using the equality altogether until 'k' get resolved.
 
index 6e44471..0514acd 100644 (file)
@@ -893,7 +893,7 @@ decideQuantification infer_mode rhs_tclvl name_taus psigs candidates
        ; psig_theta <- TcM.zonkTcTypes (concatMap sig_inst_theta psigs)
        ; let quantifiable_candidates
                = pickQuantifiablePreds (mkVarSet qtvs) candidates
-             -- NB: do /not/ run pickQuantifieablePreds over psig_theta,
+             -- NB: do /not/ run pickQuantifiablePreds over psig_theta,
              -- because we always want to quantify over psig_theta, and not
              -- drop any of them; e.g. CallStack constraints.  c.f Trac #14658
 
index b90f1be..d747fb1 100644 (file)
@@ -421,7 +421,7 @@ We do the following steps:
         error if B is used in any of the kinds needed to initialse
         B's kind (e.g. (a :: Type)) here
 
-      - Extend the type env with these intial kinds (monomorphic for
+      - Extend the type env with these initial kinds (monomorphic for
         decls that lack a CUSK)
             B :-> TcTyCon <initial kind>
         (thereby overriding the B :-> TyConPE binding)
index 2d9e530..3f91e77 100644 (file)
@@ -2552,7 +2552,7 @@ data RecTcChecker = RC !Int (NameEnv Int)
   -- we have encountered each TyCon
 
 initRecTc :: RecTcChecker
--- Intialise with a fixed max bound of 100
+-- Initialise with a fixed max bound of 100
 -- We should probably have a flag for this
 initRecTc = RC 100 emptyNameEnv
 
index 8f69172..94ee3f8 100644 (file)
@@ -595,7 +595,7 @@ So, we work as follows:
        [ b :: *, z :: a, rest :: G a z ]
 
  6. Apply the substitution left-to-right to the kinds of these
-    tyvars, extendinng it each time with a new binding, so we
+    tyvars, extending it each time with a new binding, so we
     finish up with
        [ xs   :-> ..as before..
        , a    :-> ..as before..
@@ -604,10 +604,10 @@ So, we work as follows:
        , rest :-> rest :: G a (z :: b) ]
     Note that rest now has the right kind
 
- 7. Apply this extended substution (once) to the range of
-    the /original/ substituion.  (Note that we do the
+ 7. Apply this extended substitution (once) to the range of
+    the /original/ substitution.  (Note that we do the
     extended substitution would go on forever if you tried
-    to find its fixpoint, becuase it maps z to z.)
+    to find its fixpoint, because it maps z to z.)
 
  8. And go back to step 1
 
index 9a3a671..ecda4af 100644 (file)
@@ -9,7 +9,7 @@ useable by most UNIX debugging tools.
               -g⟨n⟩
     :shortdesc: Produce DWARF debug information in compiled object files.
         ⟨n⟩ can be 0, 1, or 2, with higher numbers producing richer
-        output. If ⟨n⟩ is omitted level 2 is assumed.
+        output. If ⟨n⟩ is omitted, level 2 is assumed.
     :type: dynamic
     :category: debugging
 
@@ -18,7 +18,7 @@ useable by most UNIX debugging tools.
     Emit debug information in object code. Currently only DWARF debug
     information is supported on x86-64 and i386. Currently debug levels 0
     through 3 are accepted, with 0 disabling debug information production
-    and higher numbers producing richer output. If ⟨n⟩ is omitted level 2
+    and higher numbers producing richer output. If ⟨n⟩ is omitted, level 2
     is assumed.
 
 
index de69db8..8cd7fd9 100644 (file)
@@ -384,7 +384,7 @@ These flags dump various phases of GHC's C-\\- pipeline.
     file parsing.
 
     Cmm dumps don't include unreachable blocks since we print
-    blocks in reverse post order.
+    blocks in reverse post-order.
 
 .. ghc-flag:: -ddump-cmm-from-stg
     :shortdesc: Dump STG-to-C-\\- output
@@ -763,7 +763,7 @@ Checking for consistency
     useful when finding pointer tagging issues.
 
 .. ghc-flag:: -fproc-alignment
-    :shortdesc: Align functions at given boundry.
+    :shortdesc: Align functions at given boundary.
     :type: dynamic
 
     Align functions to multiples of the given value. Only valid values are powers
index 91034e6..3cceead 100644 (file)
@@ -605,7 +605,7 @@ to segfaults or other runtime misbehaviour.
 Source plugins
 ~~~~~~~~~~~~~~
 
-In additional to core and type checker plugins, you can install plugins that can
+In addition to core and type checker plugins, you can install plugins that can
 access different representations of the source code. The main purpose of these
 plugins is to make it easier to implement development tools.
 
index f613a06..29b5ddb 100644 (file)
@@ -99,7 +99,7 @@ import Data.Semigroup.Internal
 --
 -- > Data.Monoid.First x === Maybe (Data.Semigroup.First x)
 --
--- In additional to being equivalent in the structural sense, the two
+-- In addition to being equivalent in the structural sense, the two
 -- also have 'Monoid' instances that behave the same. This type will
 -- be marked deprecated in GHC 8.8, and removed in GHC 8.10.
 -- Users are advised to use the variant from "Data.Semigroup" and wrap
@@ -138,7 +138,7 @@ instance Monoid (First a) where
 --
 -- > Data.Monoid.Last x === Maybe (Data.Semigroup.Last x)
 --
--- In additional to being equivalent in the structural sense, the two
+-- In addition to being equivalent in the structural sense, the two
 -- also have 'Monoid' instances that behave the same. This type will
 -- be marked deprecated in GHC 8.8, and removed in GHC 8.10.
 -- Users are advised to use the variant from "Data.Semigroup" and wrap
index 718f265..1c39488 100644 (file)
@@ -3,7 +3,7 @@
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE UndecidableInstances #-}
-module T13429a where -- Orignally FingerTree.hs from the ticket
+module T13429a where -- Originally FingerTree.hs from the ticket
 
 import Data.Semigroup (Semigroup(..))
 
index d14e416..10295f5 100644 (file)
@@ -627,7 +627,7 @@ test('T13833', normal, compile, [''])
 
 def onlyHsParLocs(x): 
     """ 
-    We only want to check that all the parenthesis are present with the correct location, 
+    We only want to check that all the parentheses are present with the correct location, 
     not compare the entire typechecked AST.
     Located (HsPar GhcTc) are pretty printed with the form
     ({ <location info>
index 7b5f9e3..ab036a9 100755 (executable)
@@ -78,7 +78,7 @@ FILE=_____dummy.c
 touch $FILE
 
 for target in "${TARGETS[@]}"; do
-    # find the cpu and attributes emitte by clang for the given $target
+    # find the cpu and attributes emitted by clang for the given $target
     CPU=""
     ATTR=()
     args=$(clang --target=$target -S $FILE -o /dev/null -v 2>&1 |grep $FILE)