From 2fc83b286844e88959a3eb053a58fb2fb61c246c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 28 Sep 2016 13:27:12 -0500 Subject: [PATCH] Add missing source locations. Closes #428. --- .../typed-racket/base-env/prims-contract.rkt | 9 +++++---- typed-racket-lib/typed-racket/base-env/prims-struct.rkt | 2 +- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt index 552e78f1..b063fe4c 100644 --- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt @@ -294,11 +294,12 @@ ;; We want the value bound to name to have a nice object name. Using the built in mechanism ;; of define has better performance than procedure-rename. #,(ignore - #'(define name - (let ([pred (make-predicate ty)]) - (lambda (x) (pred x))))) + (syntax/loc stx + (define name + (let ([pred (make-predicate ty)]) + (lambda (x) (pred x)))))) ;; not a require, this is just the unchecked declaration syntax - #,(internal #'(require/typed-internal name (Any -> Boolean : ty))))])) + #,(internal (syntax/loc stx (require/typed-internal name (Any -> Boolean : ty)))))])) (define (make-predicate stx) diff --git a/typed-racket-lib/typed-racket/base-env/prims-struct.rkt b/typed-racket-lib/typed-racket/base-env/prims-struct.rkt index f25d10ca..2e67a167 100644 --- a/typed-racket-lib/typed-racket/base-env/prims-struct.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims-struct.rkt @@ -217,7 +217,7 @@ [(_ :type-alias-full) #`(begin #,(if (not (attribute omit)) - (ignore #'(define-syntax tname type-name-error)) + (ignore (syntax/loc stx (define-syntax tname type-name-error))) #'(begin)) #,(internal (syntax/loc stx (define-type-alias-internal tname type poly-vars))))]))