From a0aeadca0a9c5f76fb952e026e6914da38a925fe Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 16 Oct 2019 15:50:16 -0600
Subject: [PATCH] schemify: fix name associated to on-demand procedure

Fix the procedure name that is used before an on-demand procedure is
extracted.
---
 racket/src/schemify/jitify.rkt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/racket/src/schemify/jitify.rkt b/racket/src/schemify/jitify.rkt
index 42c1d44172..068b4ce92d 100644
--- a/racket/src/schemify/jitify.rkt
+++ b/racket/src/schemify/jitify.rkt
@@ -88,10 +88,12 @@
                 ,name)]
             [else v])))
     (define arity-mask (argss->arity-mask argss))
+    (define i-name (or (wrap-property v 'inferred-name)
+                       name))
     (cond
       [(and (null? captures)
             (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)
          (cond
            [(convert-mode-need-lift? convert-mode) (add-lift e lifts)]
@@ -108,7 +110,7 @@
                                                         (cons lifts-id captures))
                                              ,jitted-proc))
                                          arity-mask
-                                         name))
+                                         i-name))
        (define-values (all-captures new-lifts)
          (cond
            [(no-lifts? body-lifts)