Typos [ci skip]
authorGabor Greif <ggreif@gmail.com>
Mon, 13 Feb 2017 14:32:49 +0000 (15:32 +0100)
committerGabor Greif <ggreif@gmail.com>
Wed, 15 Feb 2017 08:39:02 +0000 (09:39 +0100)
12 files changed:
compiler/coreSyn/CoreUtils.hs
compiler/hsSyn/HsExpr.hs
compiler/prelude/TysWiredIn.hs
compiler/rename/RnPat.hs
compiler/simplCore/SetLevels.hs
compiler/typecheck/TcSimplify.hs
compiler/types/Type.hs
docs/users_guide/glasgow_exts.rst
rts/RetainerProfile.c
rts/Trace.c
testsuite/tests/programs/andy_cherry/Main.hs
testsuite/tests/typecheck/should_compile/tc146.hs

index 7896382..adc9acf 100644 (file)
@@ -1662,7 +1662,7 @@ dataConInstPat fss uniqs con inst_tys
       -- Make the instantiating substitution for universals
     univ_subst = zipTvSubst univ_tvs inst_tys
 
-      -- Make existential type variables, applyingn and extending the substitution
+      -- Make existential type variables, applying and extending the substitution
     (full_subst, ex_bndrs) = mapAccumL mk_ex_var univ_subst
                                        (zip3 ex_tvs ex_fss ex_uniqs)
 
@@ -1844,7 +1844,7 @@ diffExpr _  _ e1 e2
 -- all possible mappings, which would be seriously expensive. So
 -- instead we simply match single bindings as far as we can. This
 -- leaves us just with mutually recursive and/or mismatching bindings,
--- which we then specuatively match by ordering them. It's by no means
+-- which we then speculatively match by ordering them. It's by no means
 -- perfect, but gets the job done well enough.
 diffBinds :: Bool -> RnEnv2 -> [(Var, CoreExpr)] -> [(Var, CoreExpr)]
           -> ([SDoc], RnEnv2)
index 9ad096e..71c4089 100644 (file)
@@ -2102,7 +2102,7 @@ instance Data ThModFinalizers where
 data HsSplicedThing id
     = HsSplicedExpr (HsExpr id) -- ^ Haskell Spliced Expression
     | HsSplicedTy   (HsType id) -- ^ Haskell Spliced Type
-    | HsSplicedPat  (Pat id)    -- ^ Haskell Spilced Pattern
+    | HsSplicedPat  (Pat id)    -- ^ Haskell Spliced Pattern
   deriving Typeable
 
 deriving instance (DataId id) => Data (HsSplicedThing id)
index b238201..0eeb5e3 100644 (file)
@@ -34,7 +34,7 @@ module TysWiredIn (
         gtDataCon, gtDataConId,
         promotedLTDataCon, promotedEQDataCon, promotedGTDataCon,
 
-        -- * Boxign primitive types
+        -- * Boxing primitive types
         boxingDataCon_maybe,
 
         -- * Char
index c18138b..3417494 100644 (file)
@@ -695,7 +695,7 @@ Consider (Trac #12130)
      funny = [| MkT { x = 3 } |]
 
 When we splice, neither T nor MkT are lexically in scope, so find_tycon will
-fail.  But there is no need for diambiguation anyway, so we just return Nothing
+fail.  But there is no need for disambiguation anyway, so we just return Nothing
 -}
 
 rnHsRecUpdFields
index 27e5ade..4fca18d 100644 (file)
@@ -506,7 +506,7 @@ Consider this:
   }
 Because of the binder-swap, the inner case will get substituted to
 (case x of ..).  So when testing whether the scrutinee is
-okForSpecuation we must be careful to test the *result* scrutinee ('x'
+okForSpeculation we must be careful to test the *result* scrutinee ('x'
 in this case), not the *input* one 'y'.  The latter *is* ok for
 speculation here, but the former is not -- and indeed we can't float
 the inner case out, at least not unless x is also evaluated at its
index ee07e84..51bd273 100644 (file)
@@ -1965,7 +1965,7 @@ to beta[1], and that means the (a ~ beta[1]) will be stuck, as it should be.
 
 *********************************************************************************
 *                                                                               *
-*                          Defaulting and disamgiguation                        *
+*                          Defaulting and disambiguation                        *
 *                                                                               *
 *********************************************************************************
 -}
index e13a1b9..2cce7fe 100644 (file)
@@ -611,7 +611,7 @@ Note [Decomposing fat arrow c=>t]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 Can we unify (a b) with (Eq a => ty)?   If we do so, we end up with
 a partial application like ((=>) Eq a) which doesn't make sense in
-source Haskell.  In constrast, we *can* unify (a b) with (t1 -> t2).
+source Haskell.  In contrast, we *can* unify (a b) with (t1 -> t2).
 Here's an example (Trac #9858) of how you might do it:
    i :: (Typeable a, Typeable b) => Proxy (a b) -> TypeRep
    i p = typeRep p
index 550bca8..dbb1735 100644 (file)
@@ -146,7 +146,7 @@ specifies their runtime representation. For example, the type ``Int#`` has
 kind ``TYPE 'IntRep`` and ``Double#`` has kind ``TYPE 'DoubleRep``. These
 kinds say that the runtime representation of an ``Int#`` is a machine integer,
 and the runtime representation of a ``Double#`` is a machine double-precision
-floating point. In constrast, the kind ``*`` is actually just a synonym
+floating point. In contrast, the kind ``*`` is actually just a synonym
 for ``TYPE 'PtrRepLifted``. More details of the ``TYPE`` mechanisms appear in
 the `section on runtime representation polymorphism <#runtime-rep>`__.
 
index 3cbb8ac..9012937 100644 (file)
@@ -1837,7 +1837,7 @@ computeRetainerSet( void )
  *  and reset their rs fields to NULL, which is accomplished by
  *  invoking maybeInitRetainerSet(). This function must be called
  *  before zeroing all objects reachable from scavenged_static_objects
- *  in the case of major gabage collections. See GarbageCollect() in
+ *  in the case of major garbage collections. See GarbageCollect() in
  *  GC.c.
  *  Note:
  *    The mut_once_list of the oldest generation must also be traversed?
index 07717f3..3defedb 100644 (file)
@@ -42,7 +42,7 @@ static Mutex trace_utx;
 static bool eventlog_enabled;
 
 /* ---------------------------------------------------------------------------
-   Starting up / shuttting down the tracing facilities
+   Starting up / shutting down the tracing facilities
  --------------------------------------------------------------------------- */
 
 static const EventLogWriter *getEventLogWriter(void)
index aa4274e..f4b2ed8 100644 (file)
@@ -27,7 +27,7 @@
        let (style,fn,filename) = interpArgs (words "-d tex mygames.pgn")
        file <- readFile (test_dir ++ "/" ++filename)
        std_in <- getContents
-       let games = pgnParser fn file   -- parse relavent pgn games
+       let games = pgnParser fn file   -- parse relevant pgn games
        putStr (prog style std_in games)
 
 {- OLD 1.2:
@@ -37,7 +37,7 @@
        let (style,fn,filename) = interpArgs args in
        readFile filename abort                         $ \ file ->
        readChan stdin abort                            $ \ std_in ->
-       let games = pgnParser fn file   -- parse relavent pgn games
+       let games = pgnParser fn file   -- parse relevant pgn games
        in
        appendChan stdout (prog style std_in games) abort done
 -}
index bc50069..5603c5e 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE RankNTypes #-}
 
--- The interesting thign about this one is that
+-- The interesting thing about this one is that
 -- there's an unbound type variable of kind *->*
 -- that the typechecker should default to some 
 -- arbitrary type.