summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Ppr.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Core/Ppr.hs')
-rw-r--r--compiler/GHC/Core/Ppr.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Ppr.hs b/compiler/GHC/Core/Ppr.hs
index 9f7bb747b3..85ae07fc6c 100644
--- a/compiler/GHC/Core/Ppr.hs
+++ b/compiler/GHC/Core/Ppr.hs
@@ -489,6 +489,9 @@ pprIdBndrInfo info
has_inlineable = inlineableInfo info &&
isNoInlinePragma prag_info -- The flag is redundant
-- unless we have NOINLINE.
+ spec_rec = specRecInfo info
+ has_spec_rec = isJust spec_rec || True
+
occ_info = occInfo info
dmd_info = demandInfo info
@@ -502,6 +505,7 @@ pprIdBndrInfo info
doc = showAttributes
[ (has_prag, text "InlPrag=" <> pprInlineDebug prag_info)
, (has_inlineable, text "Inlineable")
+ , (has_spec_rec, text "SpecRec:" <> ppr spec_rec)
, (has_occ, text "Occ=" <> ppr occ_info)
, (has_dmd, text "Dmd=" <> ppr dmd_info)
, (has_lbv , text "OS=" <> ppr lbv_info)
@@ -512,6 +516,7 @@ instance Outputable IdInfo where
[ (has_prag, text "InlPrag=" <> pprInlineDebug prag_info)
-- Todo: This is only interesting for NoInline pragmas
, (has_inlineable, text "Inlineable")
+ , (has_spec_rec, text "SpecRec:" <> ppr spec_rec)
, (has_occ, text "Occ=" <> ppr occ_info)
, (has_dmd, text "Dmd=" <> ppr dmd_info)
, (has_lbv , text "OS=" <> ppr lbv_info)
@@ -525,6 +530,9 @@ instance Outputable IdInfo where
where
prag_info = inlinePragInfo info
has_prag = not (isDefaultInlinePragma prag_info)
+ spec_rec = specRecInfo info
+ has_spec_rec = isJust spec_rec || True
+
occ_info = occInfo info
has_occ = not (isManyOccs occ_info)