From: Ian Lynagh <igloo@earth.li>
Date: Tue, 6 May 2008 17:17:49 +0000 (+0000)
Subject: Add a panic for lookupPred EqPred
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=869feb6a8105f34092a1ae1e755dffb69a565c85;hp=f5e36de375d03a0af3858c4222690bbaa5f8a1ee

Add a panic for lookupPred EqPred
It's possible that returning Nothing was the right thing to do here,
but the comment and variable name indicated that it was written for
implicit parameters, so make it a panic for now just in case.
---

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index be7c14a..560bf4b 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -832,7 +832,8 @@ lookupPred pred@(ClassP clas tys)
 			; return Nothing }
 	}}
 
-lookupPred ip_pred = return Nothing	-- Implicit parameters
+lookupPred (IParam {}) = return Nothing	-- Implicit parameters
+lookupPred (EqPred {}) = panic "lookupPred EqPred"
 
 record_dfun_usage dfun_id 
   = do	{ hsc_env <- getTopEnv