From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 15 Sep 2008 03:01:18 +0000 (+0000)
Subject: Signature for Inst.isValidWantedEqInst
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=e8901a971ef4fcac3e99f4069b6edbd73d42b31b

Signature for Inst.isValidWantedEqInst
---

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 57e4ab7..1a8efe2 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -1051,6 +1051,7 @@ Operations on entire EqInst.
 \begin{code}
 -- For debugging, make sure the cotv of a wanted is not filled.
 --
+isValidWantedEqInst :: Inst -> TcM Bool
 isValidWantedEqInst (EqInst {tci_co = Left cotv})
   = liftM not $ isFilledMetaTyVar cotv
 isValidWantedEqInst _ = return True