diff options
| author | Hécate <hecate+gitlab@glitchbra.in> | 2020-09-22 20:35:49 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-10 14:49:59 -0400 |
| commit | ea59fd4d0abe73e1127dcdd91855a39232e62d41 (patch) | |
| tree | 8860a8eb4357979680c43362251b2b733661e7e4 /compiler/GHC/Tc/Deriv/Utils.hs | |
| parent | 5884fd325248e75d40c9da431b4069e43a2c182c (diff) | |
| download | haskell-ea59fd4d0abe73e1127dcdd91855a39232e62d41.tar.gz | |
Lint the compiler for extraneous LANGUAGE pragmas
Diffstat (limited to 'compiler/GHC/Tc/Deriv/Utils.hs')
| -rw-r--r-- | compiler/GHC/Tc/Deriv/Utils.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Deriv/Utils.hs b/compiler/GHC/Tc/Deriv/Utils.hs index e14d1ca7d8..36d6293941 100644 --- a/compiler/GHC/Tc/Deriv/Utils.hs +++ b/compiler/GHC/Tc/Deriv/Utils.hs @@ -1113,8 +1113,7 @@ example of this is: data T a b = C (Show a) b => MkT b Here, the existential context (C (Show a) b) does technically mention the last -type variable b. But this is OK, because expanding the type synonym C would -give us the context (Show a), which doesn't mention b. Therefore, we must make -sure to expand type synonyms before performing this check. Not doing so led to -#13813. +type variable b. But this is OK, because expanding the type synonym C would give +us the context (Show a), which doesn't mention b. Therefore, we must make sure +to expand type synonyms before performing this check. Not doing so led to #13813. -} |