diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-08 12:20:53 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-08 12:20:53 -0400 |
| commit | 6595bee749ddb49d9058ed47ab7c1b6e7558ae17 (patch) | |
| tree | 431aaf230eb76183db5d4f5b4f10b876f28581e0 | |
| parent | 671537364ae09dc65d4bb1c646aa80e9c8f808df (diff) | |
| download | haskell-6595bee749ddb49d9058ed47ab7c1b6e7558ae17.tar.gz | |
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
| -rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 7923369703..0ec5888cef 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -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] ~~~~~~~~~~~~~~~~~~~~~ |