Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-25 13:05:05 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Issue #93 - Type-check call/cc argument

Browse source
This commit is contained in:
Justin Ethier 2016-08-05 23:31:15 -04:00
parent 0d81c9be1b
commit a8062e3f13
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scheme/cyclone/cgen.sld
View file

@ -925,14 +925,17 @@
(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)))
(call/cc? (and (equal? (car trace) "scheme/base.sld")
(equal? (st:->var trace) 'call/cc)))
(num-args-str (num-args-str
(if (and (equal? (car trace) "scheme/base.sld") (if call/cc?
(equal? (st:->var trace) 'call/cc))
"1" ;; Special case, need to change runtime checks for call/cc "1" ;; Special case, need to change runtime checks for call/cc
(number->string (compute-num-args lam)))) (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"
;; Not ideal, but one more special case to type check call/cc
(if call/cc? "Cyc_check_proc(data, f);\n" "")
cv-name ".hdr.mark = gc_color_red;\n " cv-name ".hdr.mark = gc_color_red;\n "
cv-name ".hdr.grayed = 0;\n" cv-name ".hdr.grayed = 0;\n"
cv-name ".tag = closureN_tag;\n " cv-name ".tag = closureN_tag;\n "