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

fixes the other aspect of PR 11062

Browse Source 
(cherry picked from commit ee3a837ee2)
This commit is contained in:
Robby Findler 2010-07-31 09:15:11 -05:00 committed by Eli Barzilay
parent 480e6493b7
commit b5c20267ce
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -777,7 +777,8 @@
(append getter-names setter-names) (append getter-names setter-names)
getter-names))] getter-names))]
[proc-names (cdr to-define-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) (let-values ([(defn0 bind-names)
(wrap-func-definitions (wrap-func-definitions
first-order? first-order?
@ -881,11 +882,11 @@
#`(define (#,parametric-signature-name field_ ...) #`(define (#,parametric-signature-name field_ ...)
(signature (signature
(combined (at name_ (predicate raw-predicate)) (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_ ...) #`(define (#,parametric-signature-name field_ ...)
(make-struct-wrap-signature 'name_ (make-struct-wrap-signature 'name_
type-descriptor type-descriptor
(list field_ ...) (list field_/no-loc ...)
#'name_))) #'name_)))
(values #,signature-name #,parametric-signature-name proc-name ...))) (values #,signature-name #,parametric-signature-name proc-name ...)))