diff options
| author | Torsten Schmits <git@tryp.io> | 2022-07-20 15:42:37 +0200 |
|---|---|---|
| committer | Torsten Schmits <git@tryp.io> | 2022-07-20 15:42:37 +0200 |
| commit | 113ff512fbad8d66e992e962020b47f39ec09047 (patch) | |
| tree | c1ca1b35f8c23ac4af373a7b062b72164f27a990 | |
| parent | cbc94e392b2495b20622879cc3c4c92e279eafe2 (diff) | |
| download | haskell-113ff512fbad8d66e992e962020b47f39ec09047.tar.gz | |
disable -Wpattern-signature-binds for tycon param kind sigs
| -rw-r--r-- | compiler/GHC/Rename/HsType.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/GHC/Rename/HsType.hs b/compiler/GHC/Rename/HsType.hs index 696002fb52..c755bf05fa 100644 --- a/compiler/GHC/Rename/HsType.hs +++ b/compiler/GHC/Rename/HsType.hs @@ -1008,7 +1008,8 @@ bindHsQTyVars doc mb_assoc body_kv_occs hsq_bndrs thing_inside , text "body_remaining" <+> ppr body_remaining ] - ; warnPatternSignatureBinds implicit_kvs_bndr True + -- Might be decided later that this warning should also trigger for tycon param kind sigs + -- ; warnPatternSignatureBinds implicit_kvs_bndr True ; rnImplicitTvOccs mb_assoc implicit_kvs_bndr $ \ implicit_kv_bndr_nms' -> rnImplicitTvOccsIfXopt LangExt.ImplicitForAll mb_assoc implicit_kvs_body $ \ implicit_kv_body_nms' -> @@ -1181,7 +1182,7 @@ bindHsOuterTyVarBndrs :: OutputableBndrFlag flag 'Renamed -> RnM (a, FreeVars) bindHsOuterTyVarBndrs doc mb_cls implicit_vars outer_bndrs thing_inside = case outer_bndrs of - HsOuterImplicit{} -> do + HsOuterImplicit{} -> rnImplicitTvOccsIfXopt LangExt.ImplicitForAll mb_cls implicit_vars $ \implicit_vars' -> thing_inside $ HsOuterImplicit { hso_ximplicit = implicit_vars' } HsOuterExplicit{hso_bndrs = exp_bndrs} -> |