Comments and manual only: spelling
authorGabor Greif <ggreif@gmail.com>
Wed, 28 Sep 2016 13:28:38 +0000 (15:28 +0200)
committerGabor Greif <ggreif@gmail.com>
Wed, 28 Sep 2016 13:28:38 +0000 (15:28 +0200)
compiler/nativeGen/Dwarf/Types.hs
compiler/typecheck/TcInteract.hs
compiler/typecheck/TcRnTypes.hs
compiler/typecheck/TcSplice.hs
docs/users_guide/glasgow_exts.rst
testsuite/tests/typecheck/should_fail/tcfail096.hs
testsuite/tests/typecheck/should_fail/tcfail130.hs

index 0db2419..0fcd926 100644 (file)
@@ -152,7 +152,7 @@ pprDwarfInfo haveSrc d
     noChildren = pprDwarfInfoOpen haveSrc d
 
 -- | Prints assembler data corresponding to DWARF info records. Note
--- that the binary format of this is paramterized in @abbrevDecls@ and
+-- that the binary format of this is parameterized in @abbrevDecls@ and
 -- has to be kept in synch.
 pprDwarfInfoOpen :: Bool -> DwarfInfo -> SDoc
 pprDwarfInfoOpen haveSrc (DwarfCompileUnit _ name producer compDir lowLabel
index 298bbb2..583ca62 100644 (file)
@@ -1667,7 +1667,7 @@ Note [FunDep and implicit parameter reactions]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 Currently, our story of interacting two dictionaries (or a dictionary
 and top-level instances) for functional dependencies, and implicit
-paramters, is that we simply produce new Derived equalities.  So for example
+parameters, is that we simply produce new Derived equalities.  So for example
 
         class D a b | a -> b where ...
     Inert:
index 9bfebd5..6d956fe 100644 (file)
@@ -1916,7 +1916,7 @@ Note that
     trigger superclass expansion. This was a good part of the loop
     in  Trac #11523
 
-  * Even for Wanted constraints, we say "no" for implicit paramters.
+  * Even for Wanted constraints, we say "no" for implicit parameters.
     we have [W] ?x::ty, expanding superclasses won't help:
       - Superclasses can't be implicit parameters
       - If we have a [G] ?x:ty2, then we'll have another unsolved
index 861c370..ed55323 100644 (file)
@@ -1851,7 +1851,7 @@ reify_tc_app tc tys
 
 reifyPred :: TyCoRep.PredType -> TcM TH.Pred
 reifyPred ty
-  -- We could reify the invisible paramter as a class but it seems
+  -- We could reify the invisible parameter as a class but it seems
   -- nicer to support them properly...
   | isIPPred ty = noTH (sLit "implicit parameters") (ppr ty)
   | otherwise   = reifyType ty
index 6af26b5..b41a09a 100644 (file)
@@ -3383,7 +3383,7 @@ example), then we apply the function ``f`` directly to it. If a type is
 encountered that is not syntactically equivalent to the last type parameter
 *but does mention* the last type parameter somewhere in it, then a recursive
 call to ``fmap`` is made. If a type is found which doesn't mention the last
-type paramter at all, then it is left alone.
+type parameter at all, then it is left alone.
 
 The second of those cases, in which a type is unequal to the type parameter but
 does contain the type parameter, can be surprisingly tricky. For example, the
index c019bfb..41dfd90 100644 (file)
@@ -6,7 +6,7 @@ class Foo f a r | f a -> r where
       foo::f->a->r
 
 -- These instances are incompatible because we can unify
--- the first two paramters, though it's rather obscure:
+-- the first two parameters, though it's rather obscure:
 --      p -> (a,b)
 --      t -> (,) (a,a)
 --      c -> (,) a
index 96101b5..0d71120 100644 (file)
@@ -1,7 +1,7 @@
 {-# LANGUAGE ImplicitParams #-}
 
 -- The defn of foo should be rejected; it's monomorphic, but
--- the implicit paramter escapes
+-- the implicit parameter escapes
 
 module Foo where