Spelling fixes
authorGabor Greif <ggreif@gmail.com>
Wed, 1 Feb 2017 10:29:47 +0000 (11:29 +0100)
committerGabor Greif <ggreif@gmail.com>
Thu, 2 Feb 2017 09:06:39 +0000 (10:06 +0100)
26 files changed:
compiler/cmm/CmmLayoutStack.hs
compiler/coreSyn/CoreFVs.hs
compiler/coreSyn/CoreSyn.hs
compiler/hsSyn/Convert.hs
compiler/stranal/WwLib.hs
compiler/typecheck/TcGenFunctor.hs
compiler/typecheck/TcInteract.hs
compiler/typecheck/TcSplice.hs
compiler/utils/GraphOps.hs
docs/users_guide/conf.py
docs/users_guide/editing-guide.rst
docs/users_guide/ghc-theme/layout.html
docs/users_guide/index.rst
docs/users_guide/safe_haskell.rst
libraries/base/GHC/TypeLits.hs
libraries/template-haskell/Language/Haskell/TH/Ppr.hs
libraries/template-haskell/Language/Haskell/TH/Syntax.hs
mk/get-win32-tarballs.sh
testsuite/tests/concurrent/prog003/Main.lhs
testsuite/tests/concurrent/prog003/MainMVarList.lhs
testsuite/tests/plugins/all.T
testsuite/tests/plugins/plugins03.hs
testsuite/tests/plugins/plugins03.stderr
testsuite/tests/typecheck/should_compile/T6018.hs
utils/mkUserGuidePart/Main.hs
utils/testremove/checkremove.hs

index db3e8c7..0f8495f 100644 (file)
@@ -1003,7 +1003,7 @@ live across the call.  Our job now is to expand the call so we get
    ...
 
 Note the copyOut, which saves the results in the places that L1 is
-expecting them (see Note {safe foreign call convention]). Note also
+expecting them (see Note [safe foreign call convention]). Note also
 that safe foreign call is replace by an unsafe one in the Cmm graph.
 -}
 
index bab7f5f..eba64cd 100644 (file)
@@ -105,7 +105,7 @@ exprFreeVars :: CoreExpr -> VarSet
 exprFreeVars = fvVarSet . exprFVs
 
 -- | Find all locally-defined free Ids or type variables in an expression
--- returning a composable FV computation. See Note [FV naming coventions] in FV
+-- returning a composable FV computation. See Note [FV naming conventions] in FV
 -- for why export it.
 exprFVs :: CoreExpr -> FV
 exprFVs = filterFV isLocalVar . expr_fvs
@@ -150,7 +150,7 @@ exprsFreeVars :: [CoreExpr] -> VarSet
 exprsFreeVars = fvVarSet . exprsFVs
 
 -- | Find all locally-defined free Ids or type variables in several expressions
--- returning a composable FV computation. See Note [FV naming coventions] in FV
+-- returning a composable FV computation. See Note [FV naming conventions] in FV
 -- for why export it.
 exprsFVs :: [CoreExpr] -> FV
 exprsFVs exprs = mapUnionFV exprFVs exprs
index f8cf6f4..2930a24 100644 (file)
@@ -1151,7 +1151,7 @@ data CoreRule
         -- Locality
         ru_auto :: Bool,   -- ^ @True@  <=> this rule is auto-generated
                            --               (notably by Specialise or SpecConstr)
-                           --   @False@ <=> generated at the users behest
+                           --   @False@ <=> generated at the user's behest
                            -- See Note [Trimming auto-rules] in TidyPgm
                            -- for the sole purpose of this field.
 
index ad4abf8..ed19314 100644 (file)
@@ -1690,7 +1690,7 @@ specially in `deSugar/DsMeta.hs`, `hsSyn/Convert.hs`, and
 The key point is to always represent a pattern synonym's *full* type
 in cases (a) and (c) to make it clear which of the two forall
 quantifiers and/or constraint contexts are specified, and which are
-not. See GHC's users guide on pattern synonyms for more information
+not. See GHC's user's guide on pattern synonyms for more information
 about pattern synonym type signatures.
 
 -}
index 8b02ba0..8d41426 100644 (file)
@@ -465,7 +465,7 @@ To avoid this:
 
   * We use a fresh unique for both type-variable and term-variable binders
     Originally we lacked this freshness for type variables, and that led
-    to the very obscure Trac #12562.  (A type varaible in the worker shadowed
+    to the very obscure Trac #12562.  (A type variable in the worker shadowed
     an outer term-variable binding.)
 
   * Because of this cloning we have to substitute in the type/kind of the
index 21875ff..0b89ce2 100644 (file)
@@ -742,7 +742,7 @@ a is the last type variable in a given datatype):
 
 * ft_var:     The type is syntactically equal to the last type variable.
               Moreover, the type appears in a covariant position (see
-              the Deriving Functor instances section of the users' guide
+              the Deriving Functor instances section of the user's guide
               for an in-depth explanation of covariance vs. contravariance).
               Example: a (covariantly)
 
index 33057cd..13fc0b0 100644 (file)
@@ -764,7 +764,7 @@ Which, because solving `Eq [a]` demands `Eq a` which we cannot solve, produces:
 
 This optimization relies on coherence of dictionaries to be correct. When we
 cannot assume coherence because of IncoherentInstances then this optimization
-can change the behavior of the users code.
+can change the behavior of the user's code.
 
 The following four modules produce a program whose output would change depending
 on whether we apply this optimization when IncoherentInstances is in effect:
index 15c3aba..e142cae 100644 (file)
@@ -677,7 +677,7 @@ defaultRunMeta (MetaD r)
 defaultRunMeta (MetaAW r)
   = fmap r . runMeta' False (const empty) (const convertAnnotationWrapper)
     -- We turn off showing the code in meta-level exceptions because doing so exposes
-    -- the toAnnotationWrapper function that we slap around the users code
+    -- the toAnnotationWrapper function that we slap around the user's code
 
 ----------------
 runMetaAW :: LHsExpr Id         -- Of type AnnotationWrapper
index b4b3bd6..0985797 100644 (file)
@@ -567,7 +567,7 @@ validateGraph doc isColored graph
         , badEdges      <- minusUniqSet edges nodes
         , not $ isEmptyUniqSet badEdges
         = pprPanic "GraphOps.validateGraph"
-                (  text "Graph has edges that point to non-existant nodes"
+                (  text "Graph has edges that point to non-existent nodes"
                 $$ text "  bad edges: " <> pprUFM badEdges (vcat . map ppr)
                 $$ doc )
 
index 781b267..b48505c 100644 (file)
@@ -1,6 +1,6 @@
 # -*- coding: utf-8 -*-
 #
-# GHC Users Guide documentation build configuration file
+# GHC User's Guide documentation build configuration file
 #
 # This file is execfile()d with the current directory set to its
 # containing dir.
@@ -37,8 +37,8 @@ exclude_patterns = ['.build', "*.gen.rst"]
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
-html_title = "Glasgow Haskell Compiler <release> Users Guide"
-html_short_title = "GHC %s Users Guide" % release
+html_title = "Glasgow Haskell Compiler <release> User's Guide"
+html_short_title = "GHC %s User's Guide" % release
 html_theme_path = ['.']
 html_theme = 'ghc-theme'
 html_logo = None
@@ -78,7 +78,7 @@ latex_elements = {
 # (source start file, target name, title,
 #  author, documentclass [howto, manual, or own class]).
 latex_documents = [
-  ('index', 'users_guide.tex', u'GHC Users Guide Documentation',
+  ('index', 'users_guide.tex', u'GHC User\'s Guide Documentation',
    u'GHC Team', 'manual'),
 ]
 
@@ -108,7 +108,7 @@ man_pages = [
 # (source start file, target name, title, author,
 #  dir menu entry, description, category)
 texinfo_documents = [
-  ('index', 'GHCUsersGuide', u'GHC Users Guide',
+  ('index', 'GHCUsersGuide', u'GHC User\'s Guide',
    u'GHC Team', 'GHCUsersGuide', 'The Glasgow Haskell Compiler.',
    'Compilers'),
 ]
index 6e5036c..b8ba081 100644 (file)
@@ -1,5 +1,5 @@
-Care and feeding of your GHC Users Guide
-========================================
+Care and feeding of your GHC User's Guide
+=========================================
 
 The GHC User's Guide is the primary reference documentation
 for the Glasgow Haskell Compiler. Even more than this, it at times serves (for
@@ -157,8 +157,8 @@ language designation,
 Links
 ~~~~~
 
-Within the Users Guide
-^^^^^^^^^^^^^^^^^^^^^^
+Within the User's Guide
+^^^^^^^^^^^^^^^^^^^^^^^
 
 Frequently we want to give a name to a section so it can be referred to
 from other points in the document,
index fc5a6a5..c2e6739 100644 (file)
@@ -11,7 +11,7 @@
 
 {% block relbar1 %}
 <div class="logo">
-    <h1><a href="{{ pathto('index') }}">Glasgow Haskell Compiler Users Guide</a></h1>
+    <h1><a href="{{ pathto('index') }}">Glasgow Haskell Compiler User's Guide</a></h1>
 </div>
 {{ super() }}
 {% endblock %}
index 57b04c6..bdb6b98 100644 (file)
@@ -1,8 +1,8 @@
-.. GHC Users Guide documentation master file, created by
+.. GHC User's Guide documentation master file, created by
 
 
-Welcome to the GHC Users Guide
-==============================
+Welcome to the GHC User's Guide
+===============================
 
 Contents:
 
index 13797ac..5193f06 100644 (file)
@@ -40,7 +40,7 @@ The design of Safe Haskell covers the following aspects:
 Safe Haskell, however, *does not offer* compilation safety. During
 compilation time it is possible for arbitrary processes to be launched,
 using for example the :ref:`custom pre-processor <pre-processor>` flag.
-This can be manipulated to either compromise a users system at
+This can be manipulated to either compromise a user's system at
 compilation time, or to modify the source code just before compilation
 to try to alter Safe Haskell flags. This is discussed further in section
 :ref:`safe-compilation`.
@@ -507,7 +507,7 @@ The reason there are two modes of checking trust is that the extra
 requirement enabled by :ghc-flag:`-fpackage-trust` causes the design of Safe
 Haskell to be invasive. Packages using Safe Haskell when the flag is
 enabled may or may not compile depending on the state of trusted
-packages on a users machine. This is both fragile, and causes
+packages on a user's machine. This is both fragile, and causes
 compilation failures for everyone, even if they aren't trying to use any
 of the guarantees provided by Safe Haskell. Disabling
 :ghc-flag:`-fpackage-trust` by default and turning it into a flag makes Safe
index 3981f14..ccfffc3 100644 (file)
@@ -195,7 +195,7 @@ infixl 6 :<>:
 --
 -- The polymorphic kind of this type allows it to be used in several settings.
 -- For instance, it can be used as a constraint, e.g. to provide a better error
--- message for a non-existant instance,
+-- message for a non-existent instance,
 --
 -- @
 -- -- in a context
index 00ffbd0..78c6080 100644 (file)
@@ -85,7 +85,7 @@ pprPatSynSig nm ty
 -- | Pretty prints a pattern synonym's type; follows the usual
 -- conventions to print a pattern synonym type compactly, yet
 -- unambiguously. See the note on 'PatSynType' and the section on
--- pattern synonyms in the GHC users guide for more information.
+-- pattern synonyms in the GHC user's guide for more information.
 pprPatSynType :: PatSynType -> Doc
 pprPatSynType ty@(ForallT uniTys reqs ty'@(ForallT exTys provs ty''))
   | null exTys,  null provs = ppr (ForallT uniTys reqs ty'')
index b63d692..815e3fc 100644 (file)
@@ -1721,7 +1721,7 @@ data DerivStrategy = StockStrategy    -- ^ A \"standard\" derived instance
 --     'PatSynSigD' either one of the universals, the existentials, or
 --     their contexts may be left empty.
 --
--- See the GHC users guide for more information on pattern synonyms
+-- See the GHC user's guide for more information on pattern synonyms
 -- and their types: https://downloads.haskell.org/~ghc/latest/docs/html/
 -- users_guide/syntax-extns.html#pattern-synonyms.
 type PatSynType = Type
index 64133de..839ed0f 100755 (executable)
@@ -122,7 +122,7 @@ usage() {
     echo "Where <action> is one of,"
     echo "    download     download the necessary tarballs for the given architecture"
     echo "    fetch        download the necessary tarballs for the given architecture but doesn't verify their md5."d
-    echo "    verify       verify the existance and correctness of the necessary tarballs"
+    echo "    verify       verify the existence and correctness of the necessary tarballs"
     echo "and <arch> is one of i386, x86_64,all or mirror (which includes sources)"
 }
 
index e4e8ad7..8062795 100644 (file)
@@ -209,7 +209,7 @@ just testing
 > {-
 >     putStrLn "Start"
 >     executeTasks nl $ createTasks [1..len]
->     find nl (len+1) -- we try to find a non-existant element
+>     find nl (len+1) -- we try to find a non-existent element
 >                     -- this way, in the LazyList case, we will physically delete all (logically deleted) elements 
 > -}
 >     putStrLn "End"
index 9bcf9b1..3ec54cb 100644 (file)
@@ -230,7 +230,7 @@ just testing
 > {-
 >     putStrLn "Start"
 >     executeTasks nl $ createTasks [1..len]
->     find nl (len+1) -- we try to find a non-existant element
+>     find nl (len+1) -- we try to find a non-existent element
 >                     -- this way, in the LazyList case, we will physically delete all (logically deleted) elements 
 > -}
 >     putStrLn "End"
index 580498f..ea285dc 100644 (file)
@@ -12,7 +12,7 @@ test('plugins02',
 test('plugins03',
      [pre_cmd('$MAKE -s --no-print-directory -C simple-plugin package.plugins03 TOP={top}')],
      compile_fail,
-     ['-package-db simple-plugin/pkg.plugins03/local.package.conf -fplugin Simple.NonExistantPlugin -package simple-plugin'])
+     ['-package-db simple-plugin/pkg.plugins03/local.package.conf -fplugin Simple.NonExistentPlugin -package simple-plugin'])
 
 test('plugins04', [], multimod_compile_fail,
      ['plugins04', '-package ghc -fplugin HomePackagePlugin'])
index 7cc679b..7857e82 100644 (file)
@@ -1,4 +1,4 @@
--- Just used to test that we correctly handle non-existant plugins
+-- Just used to test that we correctly handle non-existent plugins
 module Main where
 -- The contents of this file are actually irrelevant
 
index e04d80c..c02965a 100644 (file)
@@ -1,2 +1,2 @@
-<command line>: Could not find module ‘Simple.NonExistantPlugin’
+<command line>: Could not find module ‘Simple.NonExistentPlugin’
 Use -v to see a list of the files searched for.
index 91a67c5..b3094fe 100644 (file)
@@ -258,7 +258,7 @@ type IdSyn a = Id a
 type family IdProxySyn (a :: k) b = r | r -> a
 type instance IdProxySyn a b = (IdSyn a) b
 
--- this has bare variable in the RHS but all LHS varaiables are also bare so it
+-- this has bare variable in the RHS but all LHS variables are also bare so it
 -- should be accepted
 type family Fa (a :: k) (b :: k) = (r :: k2) | r -> k
 type instance Fa a b = a
index 57edc94..344c808 100644 (file)
@@ -16,7 +16,7 @@ type ReST = String
 
 main :: IO ()
 main = do
-  -- users guide
+  -- user's guide
   writeRestFile (usersGuideFile "what_glasgow_exts_does.gen.rst")
     $ whatGlasgowExtsDoes
   forM_ groups $ \(Group name _ theFlags) ->
@@ -45,7 +45,7 @@ whatGlasgowExtsDoes = unlines
     parseExt ext = inlineCode $ "-X" ++ show ext
 
 -- | Generate a reference table of the given set of flags. This is used in
--- the users guide.
+-- the user's guide.
 flagsTable :: [Flag] -> ReST
 flagsTable theFlags =
     table [50, 100, 30, 55]
index e22c004..5d77aee 100644 (file)
@@ -64,8 +64,8 @@ mapFromList' xs = seqAll xs `seq` Map.fromList xs
           seqAll ((x, y) : xys) = x `seq` y `seq` seqAll xys
 
 {-
-... = OK: will happen if a file in a non-existant directory is rm'd [1]
-..D = OK: will happen if a non-existant file is rm'd [1]
+... = OK: will happen if a file in a non-existent directory is rm'd [1]
+..D = OK: will happen if a non-existent file is rm'd [1]
 .A. = suspicious: Why wasn't this file cleaned?
 .AD = OK: This is what object files look like
 B.. = suspicious: Where did the file go?