[commit: ghc] master: Some popular typos in comments (0fe399c)

[git at git.haskell.org]

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

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

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

commit 0fe399c965138ef9e25a1f20392c40d09885ae7c
Author: Gabor Greif <ggreif at gmail.com>
Date:   Mon Dec 2 23:05:43 2013 +0100

    Some popular typos in comments


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

0fe399c965138ef9e25a1f20392c40d09885ae7c
 compiler/basicTypes/Demand.lhs    |    2 +-
 compiler/ghci/RtClosureInspect.hs |    2 +-
 compiler/typecheck/TcDeriv.lhs    |    2 +-
 compiler/typecheck/TcInteract.lhs |    4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/basicTypes/Demand.lhs b/compiler/basicTypes/Demand.lhs
index 8afc4f8..42590c9 100644
--- a/compiler/basicTypes/Demand.lhs
+++ b/compiler/basicTypes/Demand.lhs
@@ -1456,7 +1456,7 @@ Note [HyperStr and Use demands]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 The information "HyperStr" needs to be in the strictness signature, and not in
-the demand signature, becuase we still want to know about the demand on things. Consider
+the demand signature, because we still want to know about the demand on things. Consider
 
     f (x,y) True  = error (show x)
     f (x,y) False = x+1
diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs
index 277e45f..eb1c644 100644
--- a/compiler/ghci/RtClosureInspect.hs
+++ b/compiler/ghci/RtClosureInspect.hs
@@ -694,7 +694,7 @@ cvObtainTerm hsc_env max_depth force old_ty hval = runTR hsc_env $ do
   dflags = hsc_dflags hsc_env
 
   go :: Int -> Type -> Type -> HValue -> TcM Term
-   -- I belive that my_ty should not have any enclosing
+   -- I believe that my_ty should not have any enclosing
    -- foralls, nor any free RuntimeUnk skolems;
    -- that is partly what the quantifyType stuff achieved
    --
diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index 6789f44..73137b0 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -618,7 +618,7 @@ deriveTyData tvs tc tc_args (L loc deriv_pred)
                 -- The "deriv_pred" is a LHsType to take account of the fact that for
                 -- newtype deriving we allow deriving (forall a. C [a]).
 
-                -- Typeable is special, becuase Typeable :: forall k. k -> Constraint
+                -- Typeable is special, because Typeable :: forall k. k -> Constraint
                 -- so the argument kind 'k' is not decomposable by splitKindFunTys
                 -- as is the case for all other derivable type classes
         ; if className cls == typeableClassName
diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs
index 1324265..f2289b1 100644
--- a/compiler/typecheck/TcInteract.lhs
+++ b/compiler/typecheck/TcInteract.lhs
@@ -634,7 +634,7 @@ xi_w).
 Note [Carefully solve the right CFunEqCan]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    ---- OLD COMMENT, NOW NOT NEEDED
-   ---- becuase we now allow multiple
+   ---- because we now allow multiple
    ---- wanted FunEqs with the same head
 Consider the constraints
   c1 :: F Int ~ a      -- Arising from an application line 5
@@ -1555,7 +1555,7 @@ Note [Cached solved FunEqs]
 When trying to solve, say (FunExpensive big-type ~ ty), it's important
 to see if we have reduced (FunExpensive big-type) before, lest we
 simply repeat it.  Hence the lookup in inert_solved_funeqs.  Moreover
-we must use `canRewriteOrSame` becuase both uses might (say) be Wanteds,
+we must use `canRewriteOrSame` because both uses might (say) be Wanteds,
 and we *still* want to save the re-computation.
 
 Note [MATCHING-SYNONYMS]