mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-12 23:00:22 +02:00
Code Activity

Update verify-cps

Browse source 
* module/language/cps/verify.scm (verify-cps): Vars should only be exact
  integers now.
This commit is contained in:
Andy Wingo 2014-03-28 21:32:26 +01:00
parent e6cf744ab4
commit eb60b4136b
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
module/language/cps/verify.scm
View file

@ -43,8 +43,7 @@
(add-env (cdr new) (add (car new) seen env)))) (add-env (cdr new) (add (car new) seen env))))
(define (add-vars new env) (define (add-vars new env)
(unless (and-map (lambda (v) (or (symbol? v) (exact-integer? v))) (unless (and-map exact-integer? new)
new)
(error "bad vars" new)) (error "bad vars" new))
(add-env new seen-vars env)) (add-env new seen-vars env))