diff options
| author | Gabor Greif <ggreif@gmail.com> | 2018-06-18 14:22:54 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2018-06-18 14:41:54 +0200 |
| commit | 6ac8a72f7a044f44734a0270487c3bb6fb186d53 (patch) | |
| tree | 615d72e490c418f79f4fb18d1453412394247af2 /compiler/coreSyn | |
| parent | 30b029bea9abe1f5f2855d9e7f0ae26a18cf049b (diff) | |
| download | haskell-6ac8a72f7a044f44734a0270487c3bb6fb186d53.tar.gz | |
Typofixes in docs and comments [ci skip]
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreLint.hs | 2 | ||||
| -rw-r--r-- | compiler/coreSyn/CoreSyn.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs index 90095ad7b3..fb421a10cc 100644 --- a/compiler/coreSyn/CoreLint.hs +++ b/compiler/coreSyn/CoreLint.hs @@ -1384,7 +1384,7 @@ Consider (Trac #14939) f :: forall (cls :: * -> Constraint) (b :: Alg cls *). b Here 'cls' appears free in b's kind, which would usually be illegal -(becuase in (forall a. ty), ty's kind should not mention 'a'). But +(because in (forall a. ty), ty's kind should not mention 'a'). But #in this case (Alg cls *) = *, so all is well. Currently we allow this, and make Lint expand synonyms where necessary to make it so. diff --git a/compiler/coreSyn/CoreSyn.hs b/compiler/coreSyn/CoreSyn.hs index 50e40d1531..678c5e1619 100644 --- a/compiler/coreSyn/CoreSyn.hs +++ b/compiler/coreSyn/CoreSyn.hs @@ -757,7 +757,7 @@ transformation universally. This transformation would do: but that is ill-typed, as `x` is type `a`, not `Bool`. -This is also justifies why we do not consider the `e` in `e |> co` to be in +This also justifies why we do not consider the `e` in `e |> co` to be in tail position: A cast changes the type, but the type must be the same. But operationally, casts are vacuous, so this is a bit unfortunate! See #14610 for ideas how to fix this. |