From 0bca9b76899d5baab892d26d6054db5b7189392c Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Thu, 6 Sep 2007 03:17:19 +0000 Subject: [PATCH] Remove dead code in TcSimplify --- compiler/typecheck/TcSimplify.lhs | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index fa5c677..5fa838c 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -2379,21 +2379,6 @@ addRefinedGiven reft (refined_givens, avails) given -- and hopefully the optimiser will spot the duplicated work | otherwise = return (refined_givens, avails) - -addRefinedGiven' :: Refinement -> [Inst] -> Inst -> TcM [Inst] -addRefinedGiven' reft refined_givens given - | isDict given -- We sometimes have 'given' methods, but they - -- are always optional, so we can drop them - , let pred = dictPred given - , isRefineablePred pred -- See Note [ImplicInst rigidity] - , Just (co, pred) <- refinePred reft pred - = do { new_given <- newDictBndr (instLoc given) pred - ; return (new_given:refined_givens) } - -- ToDo: the superclasses of the original given all exist in Avails - -- so we could really just cast them, but it's more awkward to do, - -- and hopefully the optimiser will spot the duplicated work - | otherwise - = return refined_givens \end{code} Note [ImplicInst rigidity] -- 1.7.10.4