finish mz docs

svn: r8123

original commit: 5c76cb507e89096e8e386535a36a7e4c15ed29f5
This commit is contained in:
Matthew Flatt 2007-12-26 02:58:13 +00:00
parent b6e6d30c73
commit 131b784409

View File

@ -440,7 +440,7 @@
(provide declare-exporting (provide declare-exporting
deftogether deftogether
defproc defproc* defstruct defthing defthing* defparam defboolparam defproc defproc* defstruct defthing defthing* defparam defparam* defboolparam
defform defform* defform/subs defform*/subs defform/none defform defform* defform/subs defform*/subs defform/none
defidform defidform
specform specform/subs specform specform/subs
@ -688,6 +688,10 @@
(syntax-rules () (syntax-rules ()
[(_ id arg contract desc ...) [(_ id arg contract desc ...)
(defproc* ([(id) contract] [(id [arg contract]) void?]) desc ...)])) (defproc* ([(id) contract] [(id [arg contract]) void?]) desc ...)]))
(define-syntax defparam*
(syntax-rules ()
[(_ id arg in-contract out-contract desc ...)
(defproc* ([(id) out-contract] [(id [arg in-contract]) void?]) desc ...)]))
(define-syntax defboolparam (define-syntax defboolparam
(syntax-rules () (syntax-rules ()
[(_ id arg desc ...) [(_ id arg desc ...)