Spelling in comments

3 files changed, 3 insertions, 3 deletions

diff --git a/compiler/simplCore/CSE.hs b/compiler/simplCore/CSE.hs
index 0f87e82f53..f119f9f9a9 100644
--- a/compiler/simplCore/CSE.hs
+++ b/compiler/simplCore/CSE.hs
@@ -224,7 +224,7 @@ This is a vanishingly strange corner case, but we still have
 to check.
 
 We do the check in cseRhs, but it can't fire when cseRhs is called
-from a let-binding, becuase they are always ok-for-speculation.  Never
+from a let-binding, because they are always ok-for-speculation.  Never
 mind!
 
 
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index 94c4947be5..ae5e031f31 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -893,7 +893,7 @@ quantifyZonkedTyVars gbl_tvs dvs@(DV{ dv_kvs = dep_tkvs, dv_tvs = nondep_tkvs })
                  --    dv_tvs which will also contain k
                  -- No worry about dependent covars here;
                  --    they are all in dep_tkvs
-                 -- No worry about scoping, becuase these are all
+                 -- No worry about scoping, because these are all
                  --    type variables
                  -- NB kinds of tvs are zonked by zonkTyCoVarsAndFV
 
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index ea4224d7d6..3a469bc8e7 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -895,7 +895,7 @@ arbitrary distinction based on how the variables appear:
 E.g.  In the type    T k (a::k)
       'k' is a kind variable, because it occurs in the kind of 'a',
           even though it also appears at "top level" of the type
-      'a' is a type variable, becuase it doesn't
+      'a' is a type variable, because it doesn't
 
 We gather these variables using a TcDepVars record:
   DV { dv_kvs: Variables free in the kind of a free type variable