From e8901a971ef4fcac3e99f4069b6edbd73d42b31b Mon Sep 17 00:00:00 2001
From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 15 Sep 2008 03:01:18 +0000
Subject: [PATCH] Signature for Inst.isValidWantedEqInst

---
 compiler/typecheck/Inst.lhs |    1 +
 1 file changed, 1 insertion(+)

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
-- 
1.7.10.4