diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2022-11-17 15:15:55 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2022-11-17 23:01:30 +0000 |
| commit | 143819010b69f00ac562a20543f6d0e96256c6cf (patch) | |
| tree | f9c9c5faad33e600439ba510ad1432bda072d220 /compiler/GHC/Tc | |
| parent | 37cfe3c0f4fb16189bbe3bb735f758cd6e3d9157 (diff) | |
| download | haskell-wip/T22471.tar.gz | |
Be more careful when reporting unbound RULE binderswip/T22471
See Note [Variables unbound on the LHS] in GHC.HsToCore.Binds.
Fixes #22471.
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Rule.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Rule.hs b/compiler/GHC/Tc/Gen/Rule.hs index 047c0559bf..121c43b987 100644 --- a/compiler/GHC/Tc/Gen/Rule.hs +++ b/compiler/GHC/Tc/Gen/Rule.hs @@ -167,7 +167,8 @@ tcRule (HsRule { rd_ext = ext , text "rule_ty:" <+> ppr rule_ty , text "ty_bndrs:" <+> ppr ty_bndrs , text "qtkvs ++ tpl_ids:" <+> ppr (qtkvs ++ tpl_ids) - , vcat [ ppr id <+> dcolon <+> ppr (idType id) | id <- tpl_ids ] + , text "tpl_id info:" <+> + vcat [ ppr id <+> dcolon <+> ppr (idType id) | id <- tpl_ids ] ]) -- SimplfyRule Plan, step 5 |