diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2020-04-22 15:59:03 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-08 15:29:36 -0400 |
| commit | 09ac8de5777d5ca953279a6c0ee42a6fba0fcba6 (patch) | |
| tree | 9e438fda14236c30094c7aaf89947b0e8ed071ef /compiler/GHC/Tc/Validity.hs | |
| parent | 20570b4b5e741912d1dc3f1826ee1f78e33f3b90 (diff) | |
| download | haskell-09ac8de5777d5ca953279a6c0ee42a6fba0fcba6.tar.gz | |
Add `forAllOrNothing` function with note
Diffstat (limited to 'compiler/GHC/Tc/Validity.hs')
| -rw-r--r-- | compiler/GHC/Tc/Validity.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Validity.hs b/compiler/GHC/Tc/Validity.hs index 7b9d1192bd..4f6b4f5887 100644 --- a/compiler/GHC/Tc/Validity.hs +++ b/compiler/GHC/Tc/Validity.hs @@ -2734,7 +2734,8 @@ Now, it's impossible for a Specified variable not to occur at all in the kind -- after all, it is Specified so it must have occurred. (It /used/ to be possible; see tests T13983 and T7873. But with the advent of the forall-or-nothing rule for kind variables, -those strange cases went away.) +those strange cases went away. See Note [forall-or-nothing rule] in +GHC.Rename.HsType.) But one might worry about type v k = * |