suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

schemify: adjust pre-lift transformation that can disturb loops

Browse Source
This commit is contained in:
Matthew Flatt 2020-06-14 19:43:34 -06:00
parent 6aa9f7a8eb
commit 27198bbf43
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
racket/src/schemify/unnest-let.rkt
View File

@ -58,7 +58,8 @@
(immediate-lambda? body))) (immediate-lambda? body)))
e] e]
[(and (or (eq? 'let nest-let-id) [(and (or (eq? 'let nest-let-id)
(eq? 'letrec* nest-let-id)) (and (eq? 'letrec* nest-let-id)
(not (could-be-loop? ids body))))
(for/and ([rhs (in-list rhss)]) (for/and ([rhs (in-list rhss)])
(and (or (eq? 'let let-id) (and (or (eq? 'let let-id)
(immediate-lambda? rhs)) (immediate-lambda? rhs))
@ -100,3 +101,10 @@
[`(lambda . ,_) #t] [`(lambda . ,_) #t]
[`(case-lambda . ,_) #t] [`(case-lambda . ,_) #t]
[`,_ #f])) [`,_ #f]))
(define (could-be-loop? ids body)
(and (pair? ids)
(null? (cdr ids))
(wrap-pair? body)
(eq? (unwrap (car ids))
(unwrap (wrap-car body)))))