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

schemify: fix handling of #<void> as 'inferred-name

Browse Source 
It's not supposed to suppress a srcloc-based name.
This commit is contained in:
Matthew Flatt 2019-01-14 09:07:42 -07:00
parent 8b9525f1c9
commit 40bc59d512
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
racket/src/schemify/infer-name.rkt
View File

@ -4,15 +4,12 @@
(provide infer-procedure-name)
(define (infer-procedure-name orig-s new-s)
(define inferred-name (wrap-property orig-s 'inferred-name))
(cond
[(wrap-property orig-s 'inferred-name)
=> (lambda (v)
(if (void? v)
(wrap-property-set (reannotate orig-s new-s)
'inferred-name
;; Hack: "[" means "no name"
'|[|)
new-s))]
[(symbol? inferred-name)
;; Let propagation of properties (at the call site of
;; `infer-procedure-name`) take care of it
new-s]
[else
(define-values (src line col pos) (wrap-source orig-s))
(define (add-property str)
@ -34,6 +31,13 @@
(string-append (source->string src)
"::"
(number->string pos)))]
[(void? inferred-name)
;; We can't provide a source name, but explicity
;; suppress any other inferred name:
(wrap-property-set (reannotate orig-s new-s)
'inferred-name
;; Hack: "[" means "no name"
'|[|)]
[else new-s])]))
(define (source->string src)