1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-29 08:20:20 +02:00

Remove dead case in CSE

* module/language/cps/cse.scm (apply-cse): Remove a case that couldn't
  occur.
This commit is contained in:
Andy Wingo 2014-07-06 12:17:58 +02:00
parent 6fc634f8a3
commit 7700e67226

View file

@ -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)))))