fix source locations for listof applications

and any other contract that is defined via
define/subexpression-pos-prop
This commit is contained in:
Robby Findler 2016-05-18 19:32:32 -05:00
parent eb17a041ab
commit d0d85b2f31

View File

@ -429,7 +429,7 @@
(syntax->list #'(margs (... ...))))] (syntax->list #'(margs (... ...))))]
[app (datum->syntax stx '#%app)]) [app (datum->syntax stx '#%app)])
(syntax-property (syntax-property
#'(app ctc/proc margs (... ...)) (syntax/loc stx (app ctc/proc margs (... ...)))
'racket/contract:contract 'racket/contract:contract
(vector this-one (vector this-one
(list (car (syntax-e stx))) (list (car (syntax-e stx)))