From 483ab832e7f6dcdee13e6a5556be7c1ffc303a9f Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Mon, 9 Nov 2009 10:39:32 +0000 Subject: [PATCH] Remove dead code --- compiler/simplCore/Simplify.lhs | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index d847d3b..d2f6ebb 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -1592,31 +1592,6 @@ improveSeq fam_envs env scrut case_bndr case_bndr1 [(DEFAULT,_,_)] improveSeq _ env scrut _ case_bndr1 _ = return (env, scrut, case_bndr1) - -{- - improve_case_bndr env scrut case_bndr - -- See Note [no-case-of-case] - -- | switchIsOn (getSwitchChecker env) NoCaseOfCase - -- = (env, case_bndr) - - | otherwise -- Failed try; see Note [Suppressing the case binder-swap] - -- not (isEvaldUnfolding (idUnfolding v)) - = case scrut of - Var v -> (modifyInScope env1 v case_bndr', case_bndr') - -- Note about using modifyInScope for v here - -- We could extend the substitution instead, but it would be - -- a hack because then the substitution wouldn't be idempotent - -- any more (v is an OutId). And this does just as well. - - Cast (Var v) co -> (addBinderUnfolding env1 v rhs, case_bndr') - where - rhs = Cast (Var case_bndr') (mkSymCoercion co) - - _ -> (env, case_bndr) - where - case_bndr' = zapIdOccInfo case_bndr - env1 = modifyInScope env case_bndr case_bndr' --} \end{code} -- 1.7.10.4