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

Issue #398 - Support for all anonymous lambda's

Browse source
This commit is contained in:
Justin Ethier 2020-07-30 18:57:12 -04:00
parent ffdeaa96e3
commit 365b19fca7
1 changed files with 27 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
scheme/cyclone/transforms.sld
View file

@ -1341,7 +1341,33 @@ if (acc) {
(list (cps-seq (cddr ast) k))
#t))))
;; TODO: still broken for 'args:fixed-with-varargs !!!!
;; TODO: add test cases
;(define (test)
; ((lambda (a . Y) (write Y)) 'x)
; ((lambda (a . Y) (write Y)) 'x 'y)
; ((lambda (a . Y) (write Y)) 'x 'y 'z)
; ((lambda (a b . Y) (write Y)) 'x 'y 'z)
; ((lambda Y (write Y)) 'x 'y 'z)
; (lambda X (list X)))
((and (app? ast)
(lambda? (app->fun ast))
(equal? 'args:fixed-with-varargs (lambda-formals-type (app->fun ast))))
(let* ((fn (app->fun ast))
(formals (lambda->formals fn))
(formals-lis (pair->list formals)) ;; Formals as proper list
(formals-len (length formals-lis))
(req-args (take (cdr ast) (- formals-len 1)))
(opt-args (drop (cdr ast) (- formals-len 1)))
)
;; Special case, rewrite into a "normal" lambda and try again
(cps `((lambda
,formals-lis
,@(cddr fn))
,@req-args
(list ,@opt-args))
cont-ast) ))
((and (app? ast)
(lambda? (app->fun ast))
(equal? 'args:varargs (lambda-formals-type (app->fun ast))))