Commit 6595bee7 authored by Ryan Scott's avatar Ryan Scott
Browse files

Define an Outputable MCoercion instance

Summary: I needed this when debugging #15346.

Test Plan: Does it compile? It does? Cool.

Reviewers: bgamari, mpickering

Reviewed By: mpickering

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15311

Differential Revision: https://phabricator.haskell.org/D4944
parent 67153736
......@@ -964,6 +964,10 @@ data MCoercion
-- Other coercions
type MCoercionR = MCoercion
instance Outputable MCoercion where
ppr MRefl = text "MRefl"
ppr (MCo co) = text "MCo" <+> ppr co
{-
Note [Refl invariant]
~~~~~~~~~~~~~~~~~~~~~
......
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