From b5c20267ce7cb974134015be560497a0035c8fc6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 31 Jul 2010 09:15:11 -0500 Subject: [PATCH] fixes the other aspect of PR 11062 (cherry picked from commit ee3a837ee21104c28790ce361ecfa0eb612da7b8) --- collects/lang/private/teach.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt index f2cb15297c..4108b95dd0 100644 --- a/collects/lang/private/teach.rkt +++ b/collects/lang/private/teach.rkt @@ -777,7 +777,8 @@ (append getter-names setter-names) getter-names))] [proc-names (cdr to-define-names)]) - (with-syntax ([compile-info (build-struct-expand-info name fields #f (not setters?) #t null null)]) + (with-syntax ([compile-info (build-struct-expand-info name fields #f (not setters?) #t null null)] + [(field_/no-loc ...) (map (λ (x) (datum->syntax x (syntax->datum x) #f)) (syntax->list #'(field_ ...)))]) (let-values ([(defn0 bind-names) (wrap-func-definitions first-order? @@ -881,11 +882,11 @@ #`(define (#,parametric-signature-name field_ ...) (signature (combined (at name_ (predicate raw-predicate)) - (at field_ (signature:property getter-name field_)) ...))) + (at field_ (signature:property getter-name field_/no-loc)) ...))) #`(define (#,parametric-signature-name field_ ...) (make-struct-wrap-signature 'name_ type-descriptor - (list field_ ...) + (list field_/no-loc ...) #'name_))) (values #,signature-name #,parametric-signature-name proc-name ...)))