From 7700e67226e76eb53ceef12368992161243b59df Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Sun, 6 Jul 2014 12:17:58 +0200 Subject: [PATCH] Remove dead case in CSE * module/language/cps/cse.scm (apply-cse): Remove a case that couldn't occur. --- module/language/cps/cse.scm | 2 -- 1 file changed, 2 deletions(-) diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm index 204480e09..3a03ede83 100644 --- a/module/language/cps/cse.scm +++ b/module/language/cps/cse.scm @@ -445,8 +445,6 @@ could be that both true and false proofs are available." (define (visit-fun-cont cont) (rewrite-cps-cont cont - (($ $cont label ($ $kargs names vars body)) - (label ($kargs names vars ,(visit-term body label)))) (($ $cont label ($ $kfun src meta self tail clause)) (label ($kfun src meta self ,tail ,(and clause (visit-fun-cont clause)))))