Typos in comments and manual [ci skip]
authorGabor Greif <ggreif@gmail.com>
Wed, 28 Jun 2017 14:40:45 +0000 (16:40 +0200)
committerGabor Greif <ggreif@gmail.com>
Wed, 28 Jun 2017 14:40:45 +0000 (16:40 +0200)
compiler/basicTypes/DataCon.hs
compiler/coreSyn/CoreArity.hs
compiler/main/DynFlags.hs
compiler/typecheck/TcUnify.hs
docs/users_guide/glasgow_exts.rst
libraries/base/Control/Monad/ST/Lazy/Imp.hs
testsuite/tests/indexed-types/should_fail/T4485.hs

index cc475e2..1629f36 100644 (file)
@@ -1052,7 +1052,7 @@ dataConInstSig
   -> [Type]    -- Instantiate the *universal* tyvars with these types
   -> ([TyVar], ThetaType, [Type])  -- Return instantiated existentials
                                    -- theta and arg tys
   -> [Type]    -- Instantiate the *universal* tyvars with these types
   -> ([TyVar], ThetaType, [Type])  -- Return instantiated existentials
                                    -- theta and arg tys
--- ^ Instantantiate the universal tyvars of a data con,
+-- ^ Instantiate the universal tyvars of a data con,
 --   returning the instantiated existentials, constraints, and args
 dataConInstSig (MkData { dcUnivTyVars = univ_tvs, dcExTyVars = ex_tvs
                        , dcEqSpec = eq_spec, dcOtherTheta  = theta
 --   returning the instantiated existentials, constraints, and args
 dataConInstSig (MkData { dcUnivTyVars = univ_tvs, dcExTyVars = ex_tvs
                        , dcEqSpec = eq_spec, dcOtherTheta  = theta
index 3ab71d2..3f429d1 100644 (file)
@@ -317,7 +317,7 @@ do so; it improves some programs significantly, and increasing convergence
 isn't a bad thing.  Hence the ABot/ATop in ArityType.
 
 So these two transformations aren't always the Right Thing, and we
 isn't a bad thing.  Hence the ABot/ATop in ArityType.
 
 So these two transformations aren't always the Right Thing, and we
-have several tickets reporting unexpected bahaviour resulting from
+have several tickets reporting unexpected behaviour resulting from
 this transformation.  So we try to limit it as much as possible:
 
  (1) Do NOT move a lambda outside a known-bottom case expression
 this transformation.  So we try to limit it as much as possible:
 
  (1) Do NOT move a lambda outside a known-bottom case expression
index 366406e..dac3136 100644 (file)
@@ -4100,7 +4100,7 @@ impliedXFlags
 --  * utils/mkUserGuidePart/Options/
 --  * docs/users_guide/using.rst
 --
 --  * utils/mkUserGuidePart/Options/
 --  * docs/users_guide/using.rst
 --
--- The first contains the Flag Refrence section, which breifly lists all
+-- The first contains the Flag Reference section, which briefly lists all
 -- available flags. The second contains a detailed description of the
 -- flags. Both places should contain information whether a flag is implied by
 -- -O0, -O or -O2.
 -- available flags. The second contains a detailed description of the
 -- flags. Both places should contain information whether a flag is implied by
 -- -O0, -O or -O2.
index bfaacef..1cbf574 100644 (file)
@@ -900,7 +900,7 @@ In some cases we want to deeply instantiate before filling in
 an InferResult, and in some cases not.  That's why InferReult
 has the ir_inst flag.
 
 an InferResult, and in some cases not.  That's why InferReult
 has the ir_inst flag.
 
-* ir_inst = True: deeply instantantiate
+* ir_inst = True: deeply instantiate
 
   Consider
     f x = (*)
 
   Consider
     f x = (*)
@@ -920,7 +920,7 @@ has the ir_inst flag.
   Here want to instantiate f's type so that the ?x::Int constraint
   gets discharged by the enclosing implicit-parameter binding.
 
   Here want to instantiate f's type so that the ?x::Int constraint
   gets discharged by the enclosing implicit-parameter binding.
 
-* ir_inst = False: do not instantantiate
+* ir_inst = False: do not instantiate
 
   Consider this (which uses visible type application):
 
 
   Consider this (which uses visible type application):
 
index 4d8b9ad..d473841 100644 (file)
@@ -12268,7 +12268,7 @@ If we did it in Haskell source, thus ::
 
    let f = ... in f `seq` body
 
 
    let f = ... in f `seq` body
 
-then ``f``\ 's polymorphic type would get intantiated, so the Core
+then ``f``\ 's polymorphic type would get instantiated, so the Core
 translation would be ::
 
    let f = ... in f Any `seq` body
 translation would be ::
 
    let f = ... in f Any `seq` body
index 67d5838..4f1204b 100644 (file)
@@ -51,7 +51,7 @@ import qualified Control.Monad.Fail as Fail
 -- by @s@, and returns a value of type @a@.
 -- The @s@ parameter is either
 --
 -- by @s@, and returns a value of type @a@.
 -- The @s@ parameter is either
 --
--- * an unstantiated type variable (inside invocations of 'runST'), or
+-- * an uninstantiated type variable (inside invocations of 'runST'), or
 --
 -- * 'RealWorld' (inside invocations of 'stToIO').
 --
 --
 -- * 'RealWorld' (inside invocations of 'stToIO').
 --
index c3407cc..060e857 100644 (file)
@@ -6,7 +6,7 @@
 -- how to achieve something similar to the old behavior. This is
 -- preventing HSP (and by extension, happstack) from migrating to GHC
 -- 7. I reported this earlier on the mailing lists, but I have further
 -- how to achieve something similar to the old behavior. This is
 -- preventing HSP (and by extension, happstack) from migrating to GHC
 -- 7. I reported this earlier on the mailing lists, but I have further
--- simplied the test case here.
+-- simplified the test case here.
 
 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses
   , FlexibleContexts, FlexibleInstances, UndecidableInstances
 
 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses
   , FlexibleContexts, FlexibleInstances, UndecidableInstances