Commit f3bfa3bf authored by Simon Peyton Jones's avatar Simon Peyton Jones

Broaden Outputable instance for Termination

parent 6f9efcbd
......@@ -839,7 +839,7 @@ bothDmdResult r _ = r
-- defaultDmd (r1 `bothDmdResult` r2) = defaultDmd r1 `bothDmd` defaultDmd r2
-- (See Note [Default demand on free variables] for why)
instance Outputable DmdResult where
instance Outputable r => Outputable (Termination r) where
ppr Diverges = char 'b'
ppr (Dunno c) = ppr c
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment