mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-24 21:50:20 +02:00
Code Activity

Fix verify-cps

Browse source 
* module/language/cps/verify.scm (verify-cps): Fix visiting functions.
This commit is contained in:
Andy Wingo 2013-10-04 16:36:17 +02:00
parent e9588e7032
commit 25833e807d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -124,7 +124,7 @@
(($ $prim (? symbol? name)) (($ $prim (? symbol? name))
#t) #t)
(($ $fun) (($ $fun)
(visit-fun fun k-env v-env)) (visit-fun exp k-env v-env))
(($ $call (? symbol? proc) ((? symbol? arg) ...)) (($ $call (? symbol? proc) ((? symbol? arg) ...))
(check-var proc v-env) (check-var proc v-env)
(for-each (cut check-var <> v-env) arg)) (for-each (cut check-var <> v-env) arg))