diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-05-24 14:10:15 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-05-25 20:48:35 +0200 |
| commit | 8408d84e18145ebab552331248af8093f9747d3c (patch) | |
| tree | 569d1ee0763ad5d67a23abc782b7169028d4aa27 | |
| parent | bdc555885b8898684549eca70053c9ce0ec7fa39 (diff) | |
| download | haskell-8408d84e18145ebab552331248af8093f9747d3c.tar.gz | |
Spelling in comments
| -rw-r--r-- | compiler/simplCore/CSE.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcType.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/perf/compiler/T10547.hs | 2 |
4 files changed, 4 insertions, 4 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 diff --git a/testsuite/tests/perf/compiler/T10547.hs b/testsuite/tests/perf/compiler/T10547.hs index 5501b3df8e..7a667505fc 100644 --- a/testsuite/tests/perf/compiler/T10547.hs +++ b/testsuite/tests/perf/compiler/T10547.hs @@ -1,4 +1,4 @@ --- Reported by sjcjoosten in T10547, this was taking forever becuase of a bug in +-- Reported by sjcjoosten in T10547, this was taking forever because of a bug in -- the implementation. See bottom of the file for some notes. module Test where |