diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/simplCore/CSE.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcType.hs | 2 |
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 |