From 869feb6a8105f34092a1ae1e755dffb69a565c85 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 6 May 2008 17:17:49 +0000 Subject: [PATCH] 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. --- compiler/typecheck/Inst.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4