Commit 56f9ef41 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

Unify: Add Outputable instance for UnifyResultM

Reviewers: simonpj, austin

Reviewed By: austin

Subscribers: thomie

Differential Revision:
parent 1c80db59
......@@ -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
* *
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