Some popular typos in comments
authorGabor Greif <ggreif@gmail.com>
Mon, 2 Dec 2013 22:05:43 +0000 (23:05 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 2 Dec 2013 22:05:43 +0000 (23:05 +0100)
compiler/basicTypes/Demand.lhs
compiler/ghci/RtClosureInspect.hs
compiler/typecheck/TcDeriv.lhs
compiler/typecheck/TcInteract.lhs

index 8afc4f8..42590c9 100644 (file)
@@ -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
index 277e45f..eb1c644 100644 (file)
@@ -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
    --
index 6789f44..73137b0 100644 (file)
@@ -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
index 1324265..f2289b1 100644 (file)
@@ -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]