diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-07 16:44:06 +0200 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-12 08:14:17 -0400 |
| commit | b1084fd700e6bbe9d0d787046a6aabdb193982c4 (patch) | |
| tree | 2b0c3bdc0db8ce9c0de251be0dfd86c920522be2 /compiler/hsSyn | |
| parent | f4446c5b963af8f3cc1693e2feab91dbe43d5237 (diff) | |
| download | haskell-b1084fd700e6bbe9d0d787046a6aabdb193982c4.tar.gz | |
Fix #11811.
Previously, I had forgotten to omit variables already in scope
from the TypeInType CUSK check. Simple enough to fix.
Test case: typecheck/should_compile/T11811
Diffstat (limited to 'compiler/hsSyn')
| -rw-r--r-- | compiler/hsSyn/HsDecls.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/hsSyn/HsDecls.hs b/compiler/hsSyn/HsDecls.hs index 25768713c4..82a78fe5cd 100644 --- a/compiler/hsSyn/HsDecls.hs +++ b/compiler/hsSyn/HsDecls.hs @@ -887,6 +887,8 @@ return type) default to *. - Additionally, if -XTypeInType is on, then a data definition with a top-level :: must explicitly bind all kind variables to the right of the ::. See test dependent/should_compile/KindLevels, which requires this case. + (Naturally, any kind variable mentioned before the :: should not be bound + after it.) -} instance (OutputableBndr name) => Outputable (FamilyDecl name) where |