Define an Outputable MCoercion instance
authorRyan Scott <ryan.gl.scott@gmail.com>
Sun, 8 Jul 2018 16:20:53 +0000 (12:20 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Sun, 8 Jul 2018 16:20:53 +0000 (12:20 -0400)
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

compiler/types/TyCoRep.hs

index 7923369..0ec5888 100644 (file)
@@ -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]
 ~~~~~~~~~~~~~~~~~~~~~