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

adjust `struct' expansion for the top level

Browse Source 
to allow an expression (such as a property) to refer to bindings
 introduced by the `define-syntaxes' half of the expansion
This commit is contained in:
Matthew Flatt 2011-06-01 06:02:06 -07:00
parent 1ad63e5da0
commit defae9be11
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/racket/private/define-struct.rkt
View File

@ -592,7 +592,20 @@
(let ([result
(cond
[(and (not omit-define-values?) (not omit-define-syntaxes?))
#`(begin #,(run-time-defns) #,(compile-time-defns))]
(if (eq? (syntax-local-context) 'top-level)
;; Top level: declare names to be bound by `define',
;; but put run-time expressions after `define-syntaxes'
;; to they can refer to bindings that are bound by
;; `define-syntaxes' (e.g. use of the constructor name
;; in the body of a property value that is a procedure)
#`(begin
(define-syntaxes (#,struct: #,make- #,? #,@sels #,@sets) (values))
#,(compile-time-defns)
#,(run-time-defns))
;; Other contexts: order should't matter:
#`(begin
#,(run-time-defns)
#,(compile-time-defns)))]
[omit-define-syntaxes?
(run-time-defns)]
[omit-define-values?