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

Report the correct position for a blamed procedure.

Browse Source 
... if the `lambda' of that procedure was the result of expanding a `define':
Attach the `define''s source location to the `lambda' expression.
This commit is contained in:
Mike Sperber 2010-05-21 19:39:27 +02:00
parent 8d39c15b17
commit f899fdf15d
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/lang/private/teach.rkt
View File

@ -541,13 +541,17 @@
(lambda (fn)
(with-syntax ([fn fn]
[args (cdr (syntax-e #'name-seq))])
(quasisyntax/loc stx (define fn #,(stepper-syntax-property
(stepper-syntax-property
#`(lambda args expr ...)
'stepper-define-type
'shortened-proc-define)
'stepper-proc-define-name
#`fn))))))])
(quasisyntax/loc stx
(define fn
#,(stepper-syntax-property
(stepper-syntax-property
;; this is so contract blame can report a
;; position for the procedure
(syntax/loc stx (lambda args expr ...))
'stepper-define-type
'shortened-proc-define)
'stepper-proc-define-name
#`fn))))))])
(check-definition-new
'define
stx