diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-05 19:08:13 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-07 16:43:58 -0400 |
| commit | ee1cfaa990205dc96148ed20c2d6560b4808b0b7 (patch) | |
| tree | bc724be5ec8f4d451e690afdd9f7602eb7c34256 /compiler/GHC/Tc/Gen | |
| parent | 04a738cb23e82b32caf38b7965f5042e6af6ee88 (diff) | |
| download | haskell-ee1cfaa990205dc96148ed20c2d6560b4808b0b7.tar.gz | |
Minor SDoc cleanup
Change calls to renderWithContext with showSDocOneLine; it's more
efficient and explanatory.
Remove polyPatSig (unused)
Diffstat (limited to 'compiler/GHC/Tc/Gen')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Pat.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/compiler/GHC/Tc/Gen/Pat.hs b/compiler/GHC/Tc/Gen/Pat.hs index 4df4307737..c82a6ac1b5 100644 --- a/compiler/GHC/Tc/Gen/Pat.hs +++ b/compiler/GHC/Tc/Gen/Pat.hs @@ -20,7 +20,6 @@ module GHC.Tc.Gen.Pat , tcCheckPat, tcCheckPat_O, tcInferPat , tcPats , addDataConStupidTheta - , polyPatSig ) where @@ -36,7 +35,6 @@ import GHC.Tc.Utils.Zonk import GHC.Tc.Gen.Sig( TcPragEnv, lookupPragEnv, addInlinePrags ) import GHC.Tc.Utils.Monad import GHC.Tc.Utils.Instantiate -import GHC.Types.Error import GHC.Types.FieldLabel import GHC.Types.Id import GHC.Types.Var @@ -1503,8 +1501,3 @@ checkGADT conlike ex_tvs arg_tys = \case where has_existentials :: Bool has_existentials = any (`elemVarSet` tyCoVarsOfTypes arg_tys) ex_tvs - -polyPatSig :: TcType -> SDoc -polyPatSig sig_ty - = hang (text "Illegal polymorphic type signature in pattern:") - 2 (ppr sig_ty) |