Typos in comments (and in a test)
authorGabor Greif <ggreif@gmail.com>
Thu, 5 Jan 2017 10:41:44 +0000 (11:41 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 9 Jan 2017 15:26:25 +0000 (16:26 +0100)
14 files changed:
compiler/coreSyn/CorePrep.hs
compiler/simplCore/CallArity.hs
compiler/simplCore/SimplUtils.hs
compiler/simplStg/StgCse.hs
compiler/typecheck/TcGenDeriv.hs
compiler/utils/Digraph.hs
libraries/base/Data/Traversable.hs
libraries/base/GHC/Event/PSQ.hs
libraries/compact/Data/Compact.hs
testsuite/tests/programs/andy_cherry/andy_cherry.stdout
testsuite/tests/programs/andy_cherry/mygames.pgn
testsuite/tests/simplCore/should_compile/spec-inline.hs
testsuite/tests/stranal/sigs/StrAnalExample.hs
testsuite/tests/typecheck/should_compile/T12734a.hs

index 1547e85..8f76200 100644 (file)
@@ -563,7 +563,7 @@ cpeRhsE env (Case scrut bndr ty alts)
 
 cvtLitInteger :: DynFlags -> Id -> Maybe DataCon -> Integer -> CoreExpr
 -- Here we convert a literal Integer to the low-level
--- represenation. Exactly how we do this depends on the
+-- representation. Exactly how we do this depends on the
 -- library that implements Integer.  If it's GMP we
 -- use the S# data constructor for small literals.
 -- See Note [Integer literals] in Literal
index b703c07..ffdd4b5 100644 (file)
@@ -342,7 +342,7 @@ For a mutually recursive let, we begin by
  4. For each variable, we find out the incoming arity and whether it is called
     once, based on the the current analysis result. If this differs from the
     memoized results, we re-analyse the rhs and update the memoized table.
- 5. If nothing had to be reanalized, we are done.
+ 5. If nothing had to be reanalyzed, we are done.
     Otherwise, repeat from step 3.
 
 
@@ -609,11 +609,11 @@ callArityBind boring_vars ae_body int b@(Rec binds)
             | Just (old_called_once, old_arity, _) <- mbLastRun
             , called_once == old_called_once
             , new_arity == old_arity
-            -- No change, no need to re-analize
+            -- No change, no need to re-analyze
             = (False, (i, mbLastRun, rhs))
 
             | otherwise
-            -- We previously analized this with a different arity (or not at all)
+            -- We previously analyzed this with a different arity (or not at all)
             = let is_thunk = not (exprIsCheap rhs) -- see note [What is a thunk]
 
                   safe_arity | is_thunk    = 0  -- See Note [Thunks in recursive groups]
index 5f60042..efda374 100644 (file)
@@ -1249,7 +1249,7 @@ ones that are trivial):
   * The inliner should inline trivial things at call sites anyway.
 
   * The Id might be exported.  We could check for that separately,
-    but since we aren't going to postInlineUnconditinoally /any/
+    but since we aren't going to postInlineUnconditionally /any/
     top-level bindings, we don't need to test.
 
 Note [Stable unfoldings and postInlineUnconditionally]
index f09b823..7454d24 100644 (file)
@@ -86,7 +86,7 @@ import Control.Monad( (>=>) )
 -- The Trie --
 --------------
 
--- A lookup trie for data constructor appliations, i.e.
+-- A lookup trie for data constructor applications, i.e.
 -- keys of type `(DataCon, [StgArg])`, following the patterns in TrieMap.
 
 data StgArgMap a = SAM
index 84ee6a1..81bda8e 100644 (file)
@@ -1494,7 +1494,7 @@ Example:
 
 Note that (mkNameG_d "package-name" "ModuleName" "Foo") is equivalent to what
 'Foo would be when using the -XTemplateHaskell extension. To make sure that
--XDeriveLift can be used on stage-1 compilers, however, we expliticly invoke
+-XDeriveLift can be used on stage-1 compilers, however, we explicitly invoke
 makeG_d.
 -}
 
index 53173ba..48e39f7 100644 (file)
@@ -103,7 +103,7 @@ emptyGraph = Graph (array (1, 0) []) (error "emptyGraph") (const Nothing)
 graphFromEdgedVertices
         :: ReduceFn key payload
         -> [Node key payload]           -- The graph; its ok for the
-                                        -- out-list to contain keys which arent
+                                        -- out-list to contain keys which aren't
                                         -- a vertex key, they are ignored
         -> Graph (Node key payload)
 graphFromEdgedVertices _reduceFn []            = emptyGraph
@@ -122,7 +122,7 @@ graphFromEdgedVertices reduceFn edged_vertices =
 graphFromEdgedVerticesOrd
         :: Ord key
         => [Node key payload]           -- The graph; its ok for the
-                                        -- out-list to contain keys which arent
+                                        -- out-list to contain keys which aren't
                                         -- a vertex key, they are ignored
         -> Graph (Node key payload)
 graphFromEdgedVerticesOrd = graphFromEdgedVertices reduceNodesIntoVerticesOrd
@@ -132,7 +132,7 @@ graphFromEdgedVerticesOrd = graphFromEdgedVertices reduceNodesIntoVerticesOrd
 graphFromEdgedVerticesUniq
         :: Uniquable key
         => [Node key payload]           -- The graph; its ok for the
-                                        -- out-list to contain keys which arent
+                                        -- out-list to contain keys which aren't
                                         -- a vertex key, they are ignored
         -> Graph (Node key payload)
 graphFromEdgedVerticesUniq = graphFromEdgedVertices reduceNodesIntoVerticesUniq
index c166db5..e525ba3 100644 (file)
@@ -208,7 +208,7 @@ that's all!  We get
   $fTraversable[]_$cmapM = ...code for traverse on lists...
 
 with NO INLINE pragma!  This happens even though 'traverse' had an
-INLINE pragma becuase the author knew it should be inlined pretty
+INLINE pragma because the author knew it should be inlined pretty
 vigorously.
 
 Indeed, it turned out that the rhs of $cmapM was just too big to
index 311265f..b03bc9c 100644 (file)
@@ -89,7 +89,7 @@ module GHC.Event.PSQ
     ) where
 
 import GHC.Base hiding (empty)
-import GHC.Float () -- for Show Double instasnce
+import GHC.Float () -- for Show Double instance
 import GHC.Num (Num(..))
 import GHC.Show (Show(showsPrec))
 import GHC.Event.Unique (Unique)
index 85d1b62..42245c5 100644 (file)
@@ -55,7 +55,7 @@ getCompact (Compact _ obj _) = obj
 --
 -- If the structure contains any internal sharing, the shared data
 -- will be duplicated during the compaction process.  Loops if the
--- structure constains cycles.
+-- structure contains cycles.
 --
 -- The NFData constraint is just to ensure that the object contains no
 -- functions, 'compact' does not actually use it.  If your object
index a113f63..b61d2da 100644 (file)
@@ -7196,7 +7196,7 @@ $$\showboard$$
 25 & Qf3&\\
 \end{tabular}}|
 \end{center}
-Crude plan of exchanging queens to avoid `acidents`.
+Crude plan of exchanging queens to avoid `accidents`.
 |25.~Bb3|
 \begin{center}|
 {\bf\begin{tabular}{rp{50pt}p{50pt}}
index 19194cf..d90a9e1 100644 (file)
@@ -1313,7 +1313,7 @@ is starting to push home his advantage.}) 19. Kxg2 Bh3+ 20. Kh1 Qg4 (
 21. Ne1 Qg5 22. Qe2 Be6 23. Rg3 Qf6 24. Nxe6 {\ 4} (24. Nf3 Ne7 25. Nxe6 
 Qxe6 26. Bb3 Qf6 27. Rag1 {<waw>}) 24... Rxe6 (24... Qxe6 25. Bb3 Qe7 
 26. Bd5 Rad8 27. Nf3 R8d7 28. Rd1) 25. Qf3 {Crude plan of exchanging
-queens to avoid `acidents`.} (25. Bb3) 25... Qe7 26. Bb3 Rf6 27. Qe3 (27. 
+queens to avoid `accidents`.} (25. Bb3) 25... Qe7 26. Bb3 Rf6 27. Qe3 (27. 
 Qg2) 27... Rd8 28. Nc2 Kh7 29. Rag1 g6 30. Rf3 {\ 4} 30... Rxf3 (30... Rfd6 {
 ??} 31. Rxf7+ {Trying to avoid the exchance, but black loses his Queen!
 Black actually moved his rook to d6, but before letting it go, spotted
index 6c690ea..17f470f 100644 (file)
@@ -1,4 +1,4 @@
-{- This test checks that specialiations can apply inside
+{- This test checks that specialisations can apply inside
    wrappers.  In particular, the wrapper for 'foo' should
    look like
 
index 0ac61b9..10b42f3 100644 (file)
@@ -1,4 +1,4 @@
--- Just an example on how to create tests that test the strictness analizer
+-- Just an example on how to create tests that test the strictness analyzer
 
 module StrAnalExample where
 
index 01ae2a6..38f7307 100644 (file)
@@ -93,7 +93,7 @@ test_ghc_err = test_gr @(KT A '[Type] IO)
   = Con m (Stack lrs (Layer4 bind))
 --> inline lrs
 [W] Con m (Stack '[Type] (Layer4 bind))
---> isntance
+--> instance
 [W] Con m (Stack '[] bind)
     --> Monad m
 +