@@ -22,7 +22,9 @@ (fun (car ast!subx) args (map cc (cdr ast!subx))) (if (alam fun) - (make-app:cons (make-lam (list:cc (car fun!subx)) fun!params) args) + (make-app:cons + ((if fun!continuation make-cont make-lam) + (list:cc (car fun!subx)) fun!params) args) (let f (cc fun) (make-app:cons (make-prim (list f (make-lit '() 0)) '%closure-ref) (cons f args))))) (alam ast) @@ -31,7 +33,7 @@ new-self-var (new-var 'self)) (make-prim (cons - (make-lam + ((if ast!continuation make-cont make-lam) (list:convert (car ast!subx) new-self-var new-free-vars) (cons new-self-var ast!params)) (map [cc (make-ref '() _)] new-free-vars)) closures.arc d6ab2bf140ce15151091a16c484b5789e2a983ac Alan Manuel K. Gloria almkglor@gmail.com http://github.com/sacado/arc2c/commit/742b13ea95b3d7a5c8b01a9560ccd6df0a4a1c30 742b13ea95b3d7a5c8b01a9560ccd6df0a4a1c30 2008-07-23T04:36:08-07:00 2008-07-23T04:36:08-07:00 closures: closure conversion now preserves continuation-ness of functions 8f9de8bd495f7224b4c65fa54dcc62289938ac9b Alan Manuel K. Gloria almkglor@gmail.com