diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-10-30 19:54:22 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-10-30 19:54:29 +0100 |
| commit | 56f9ef414c9d827cd4fccfd7ab2657bced887b3d (patch) | |
| tree | 11bfa0932ee1b9ac2fa8f31eae8663ea98ae67bd /compiler | |
| parent | 1c80db59dd46a281b0f47abdaedf2bb5915d9e59 (diff) | |
| download | haskell-56f9ef414c9d827cd4fccfd7ab2657bced887b3d.tar.gz | |
Unify: Add Outputable instance for UnifyResultM
Reviewers: simonpj, austin
Reviewed By: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1389
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Unify.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index de22066f9d..87681e0eb8 100644 --- a/compiler/types/Unify.hs +++ b/compiler/types/Unify.hs @@ -30,6 +30,8 @@ import Type import TyCon import TypeRep import Util ( filterByList ) +import Outputable +import FastString (sLit) import Control.Monad (liftM, foldM, ap) #if __GLASGOW_HASKELL__ < 709 @@ -475,6 +477,11 @@ tcUnifyTysFG :: (TyVar -> BindFlag) tcUnifyTysFG bind_fn tys1 tys2 = initUM bind_fn (unify_tys tys1 tys2) +instance Outputable a => Outputable (UnifyResultM a) where + ppr SurelyApart = ptext (sLit "SurelyApart") + ppr (Unifiable x) = ptext (sLit "Unifiable") <+> ppr x + ppr (MaybeApart x) = ptext (sLit "MaybeApart") <+> ppr x + {- ************************************************************************ * * |