Signature for Inst.isValidWantedEqInst

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 57e4ab7..1a8efe2 100644 (file)
--- 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