diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-09-18 19:13:53 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-21 16:45:47 -0400 |
| commit | 1a0f8243efc9873a949bb6f082b4dfdf563fc1ea (patch) | |
| tree | 25f9f6a4bff04895226b8a0e6a7697f4a2e66a51 /compiler/GHC/Tc/Validity.hs | |
| parent | 9df77fed8918bb335874a584a829ee32325cefb5 (diff) | |
| download | haskell-1a0f8243efc9873a949bb6f082b4dfdf563fc1ea.tar.gz | |
Remove unused ThBrackCtxt and ResSigCtxt
Fixes #18715.
Diffstat (limited to 'compiler/GHC/Tc/Validity.hs')
| -rw-r--r-- | compiler/GHC/Tc/Validity.hs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/GHC/Tc/Validity.hs b/compiler/GHC/Tc/Validity.hs index fba45562b7..946d1bf9e9 100644 --- a/compiler/GHC/Tc/Validity.hs +++ b/compiler/GHC/Tc/Validity.hs @@ -348,7 +348,6 @@ checkValidType ctxt ty rank = case ctxt of DefaultDeclCtxt-> MustBeMonoType - ResSigCtxt -> MustBeMonoType PatSigCtxt -> rank0 RuleSigCtxt _ -> rank1 TySynCtxt _ -> rank0 @@ -372,7 +371,6 @@ checkValidType ctxt ty ForSigCtxt _ -> rank1 SpecInstCtxt -> rank1 - ThBrackCtxt -> rank1 GhciCtxt {} -> ArbitraryRank TyVarBndrKindCtxt _ -> rank0 @@ -500,7 +498,6 @@ vdqAllowed :: UserTypeCtxt -> Bool vdqAllowed (KindSigCtxt {}) = True vdqAllowed (StandaloneKindSigCtxt {}) = True vdqAllowed (TySynCtxt {}) = True -vdqAllowed (ThBrackCtxt {}) = True vdqAllowed (GhciCtxt {}) = True vdqAllowed (TyVarBndrKindCtxt {}) = True vdqAllowed (DataKindCtxt {}) = True @@ -518,7 +515,6 @@ vdqAllowed (TypeAppCtxt {}) = False vdqAllowed (PatSynCtxt {}) = False vdqAllowed (PatSigCtxt {}) = False vdqAllowed (RuleSigCtxt {}) = False -vdqAllowed (ResSigCtxt {}) = False vdqAllowed (ForSigCtxt {}) = False vdqAllowed (DefaultDeclCtxt {}) = False -- We count class constraints as "types of terms". All of the cases below deal @@ -1329,11 +1325,9 @@ okIPCtxt (InfSigCtxt {}) = True okIPCtxt ExprSigCtxt = True okIPCtxt TypeAppCtxt = True okIPCtxt PatSigCtxt = True -okIPCtxt ResSigCtxt = True okIPCtxt GenSigCtxt = True okIPCtxt (ConArgCtxt {}) = True okIPCtxt (ForSigCtxt {}) = True -- ?? -okIPCtxt ThBrackCtxt = True okIPCtxt (GhciCtxt {}) = True okIPCtxt SigmaCtxt = True okIPCtxt (DataTyCtxt {}) = True |