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

schemify: fix name associated to on-demand procedure

Browse Source 
Fix the procedure name that is used before an on-demand procedure is
extracted.
This commit is contained in:
Matthew Flatt 2019-10-16 15:50:16 -06:00
parent a3d2939dae
commit a0aeadca0a
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/src/schemify/jitify.rkt
View File

@ -88,10 +88,12 @@
,name)] ,name)]
[else v]))) [else v])))
(define arity-mask (argss->arity-mask argss)) (define arity-mask (argss->arity-mask argss))
(define i-name (or (wrap-property v 'inferred-name)
name))
(cond (cond
[(and (null? captures) [(and (null? captures)
(no-lifts? body-lifts)) (no-lifts? body-lifts))
(define e (extractable-annotation jitted-proc arity-mask name)) (define e (extractable-annotation jitted-proc arity-mask i-name))
(define-values (get-e new-lifts) (define-values (get-e new-lifts)
(cond (cond
[(convert-mode-need-lift? convert-mode) (add-lift e lifts)] [(convert-mode-need-lift? convert-mode) (add-lift e lifts)]
@ -108,7 +110,7 @@
(cons lifts-id captures)) (cons lifts-id captures))
,jitted-proc)) ,jitted-proc))
arity-mask arity-mask
name)) i-name))
(define-values (all-captures new-lifts) (define-values (all-captures new-lifts)
(cond (cond
[(no-lifts? body-lifts) [(no-lifts? body-lifts)