diff options
Diffstat (limited to 'module/language/tree-il.scm')
-rw-r--r-- | module/language/tree-il.scm | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/module/language/tree-il.scm b/module/language/tree-il.scm index b8009128b..633bb6dcd 100644 --- a/module/language/tree-il.scm +++ b/module/language/tree-il.scm @@ -46,7 +46,6 @@ <letrec> letrec? make-letrec letrec-src letrec-in-order? letrec-names letrec-gensyms letrec-vals letrec-body <fix> fix? make-fix fix-src fix-names fix-gensyms fix-vals fix-body <let-values> let-values? make-let-values let-values-src let-values-exp let-values-body - <dynwind> dynwind? make-dynwind dynwind-src dynwind-winder dynwind-body dynwind-unwinder <dynlet> dynlet? make-dynlet dynlet-src dynlet-fluids dynlet-vals dynlet-body <dynref> dynref? make-dynref dynref-src dynref-fluid <dynset> dynset? make-dynset dynset-src dynset-fluid dynset-exp @@ -136,7 +135,6 @@ (define-type (<tree-il> #:common-slots (src) #:printer print-tree-il) (<fix> names gensyms vals body) (<let-values> exp body) - (<dynwind> winder body unwinder) (<dynref> fluid) (<dynset> fluid exp) (<prompt> tag body handler) @@ -249,9 +247,6 @@ (('let-values exp body) (make-let-values loc (retrans exp) (retrans body))) - (('dynwind winder body unwinder) - (make-dynwind loc (retrans winder) (retrans body) (retrans unwinder))) - (('dynlet fluids vals body) (make-dynlet loc (map retrans fluids) (map retrans vals) (retrans body))) @@ -339,11 +334,6 @@ (($ <let-values> src exp body) `(let-values ,(unparse-tree-il exp) ,(unparse-tree-il body))) - (($ <dynwind> src winder body unwinder) - `(dynwind ,(unparse-tree-il winder) - ,(unparse-tree-il body) - ,(unparse-tree-il unwinder))) - (($ <dynlet> src fluids vals body) `(dynlet ,(map unparse-tree-il fluids) ,(map unparse-tree-il vals) ,(unparse-tree-il body))) @@ -424,10 +414,6 @@ (($ <let-values> src exp body) (let*-values (((seed ...) (foldts exp seed ...))) (foldts body seed ...))) - (($ <dynwind> src winder body unwinder) - (let*-values (((seed ...) (foldts winder seed ...)) - ((seed ...) (foldts unwinder seed ...))) - (foldts body seed ...))) (($ <dynlet> src fluids vals body) (let*-values (((seed ...) (fold-values foldts fluids seed ...)) ((seed ...) (fold-values foldts vals seed ...))) @@ -527,9 +513,6 @@ This is an implementation of `foldts' as described by Andy Wingo in (($ <let-values> src exp body) (make-let-values src (lp exp) (lp body))) - (($ <dynwind> src winder body unwinder) - (make-dynwind src (lp winder) (lp body) (lp unwinder))) - (($ <dynlet> src fluids vals body) (make-dynlet src (map lp fluids) (map lp vals) (lp body))) |