Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-09 22:17:33 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added a special case to set num_args to 0 for call/cc

Browse source 
This fixes validation later on for call/cc's internal lambda function. When we eval it we only want to validate 1 arg, not 2.
This commit is contained in:
Justin Ethier 2016-06-11 01:27:50 -04:00
parent b7a5d0c3ad
commit f4b8dbc8a1
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scheme/cyclone/cgen.sld
View file

@ -925,6 +925,11 @@
(cv-name (mangle (gensym 'c))) (cv-name (mangle (gensym 'c)))
(lid (allocate-lambda (c-compile-lambda lam trace))) (lid (allocate-lambda (c-compile-lambda lam trace)))
(macro? (assoc (st:->var trace) (get-macros))) (macro? (assoc (st:->var trace) (get-macros)))
(num-args-str
(if (and (equal? (car trace) "scheme/base.sld")
(equal? (st:->var trace) 'call/cc))
"1" ;; Special case, need to change runtime checks for call/cc
(number->string (compute-num-args lam))))
(create-nclosure (lambda () (create-nclosure (lambda ()
(string-append (string-append
"closureN_type " cv-name ";\n" "closureN_type " cv-name ";\n"
@ -932,7 +937,7 @@
cv-name ".hdr.grayed = 0;\n" cv-name ".hdr.grayed = 0;\n"
cv-name ".tag = closureN_tag;\n " cv-name ".tag = closureN_tag;\n "
cv-name ".fn = (function_type)__lambda_" (number->string lid) ";\n" cv-name ".fn = (function_type)__lambda_" (number->string lid) ";\n"
cv-name ".num_args = " (number->string (compute-num-args lam)) ";\n" cv-name ".num_args = " num-args-str ";\n"
cv-name ".num_elements = " (number->string (length free-vars)) ";\n" cv-name ".num_elements = " (number->string (length free-vars)) ";\n"
cv-name ".elements = (object *)alloca(sizeof(object) * " cv-name ".elements = (object *)alloca(sizeof(object) * "
(number->string (length free-vars)) ");\n" (number->string (length free-vars)) ");\n"