[commit: ghc] master: Comment typos only (ea5da60)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/ea5da60949d861286d81bf4337adceae89d0e626/ghc

>---------------------------------------------------------------

commit ea5da60949d861286d81bf4337adceae89d0e626
Author: Gabor Greif <ggreif at gmail.com>
Date:   Fri Jan 10 19:23:02 2014 +0100

    Comment typos only


>---------------------------------------------------------------

ea5da60949d861286d81bf4337adceae89d0e626
 compiler/basicTypes/Demand.lhs    |    4 ++--
 compiler/simplCore/OccurAnal.lhs  |    2 +-
 compiler/typecheck/TcValidity.lhs |    2 +-
 docs/ndp/vect.tex                 |    2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/basicTypes/Demand.lhs b/compiler/basicTypes/Demand.lhs
index 27ef491..b857ef5 100644
--- a/compiler/basicTypes/Demand.lhs
+++ b/compiler/basicTypes/Demand.lhs
@@ -819,7 +819,7 @@ retCPR_maybe (RetSum t)  = Just t
 retCPR_maybe RetProd     = Just fIRST_TAG
 retCPR_maybe NoCPR       = Nothing
 
--- See Notes [Default demand on free variales]
+-- See Notes [Default demand on free variables]
 -- and [defaultDmd vs. resTypeArgDmd]
 defaultDmd :: Termination r -> JointDmd
 defaultDmd Diverges = botDmd
@@ -839,7 +839,7 @@ Note [defaultDmd and resTypeArgDmd]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 These functions are similar: They express the demand on something not
-explictitly mentioned in the environment resp. the argument list. Yet they are
+explicitly mentioned in the environment resp. the argument list. Yet they are
 different:
  * Variables not mentioned in the free variables environment are definitely
    unused, so we can use absDmd there.
diff --git a/compiler/simplCore/OccurAnal.lhs b/compiler/simplCore/OccurAnal.lhs
index 11391a3..3aacce6 100644
--- a/compiler/simplCore/OccurAnal.lhs
+++ b/compiler/simplCore/OccurAnal.lhs
@@ -200,7 +200,7 @@ These conditions apply regardless of the activation of the RULE (eg it might be
 inactive in this phase but become active later).  Once a Rec is broken up
 it can never be put back together, so we must be conservative.
 
-The principle is that, regardless of rule firings, every variale is
+The principle is that, regardless of rule firings, every variable is
 always in scope.
 
   * Note [Rules are extra RHSs]
diff --git a/compiler/typecheck/TcValidity.lhs b/compiler/typecheck/TcValidity.lhs
index 90a9be9..20547bc 100644
--- a/compiler/typecheck/TcValidity.lhs
+++ b/compiler/typecheck/TcValidity.lhs
@@ -1009,7 +1009,7 @@ Here the instance decl really looks like
 but the k's are not scoped, and hence won't match Uniques.
 
 So instead we just match structure, with tcMatchTyX, and check
-that distinct type variales match 1-1 with distinct type variables.
+that distinct type variables match 1-1 with distinct type variables.
 
 HOWEVER, we *still* make the instance type variables scope over the
 type instances, to pick up non-obvious kinds.  Eg
diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex
index 29f5125..1244972 100644
--- a/docs/ndp/vect.tex
+++ b/docs/ndp/vect.tex
@@ -50,7 +50,7 @@ representing dictionaries of type-dependent operations on parallel arrays:
 \end{haskell}
 
 In vectorised code, polymorphic functions must be supplied with a \<PA\>
-dictionary for each type varialbe. For instance, \<\Lambda\alpha.e\> turns
+dictionary for each type variable. For instance, \<\Lambda\alpha.e\> turns
 into \<\Lambda\alpha.\lambda{dPA_\alpha}::PA \alpha.e'\>.
 
 For higher-kinded type variables, we expect a function of appropriate type