From 131b784409130ec27fa17aeabd386b64c0b1fc9c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 26 Dec 2007 02:58:13 +0000 Subject: [PATCH] finish mz docs svn: r8123 original commit: 5c76cb507e89096e8e386535a36a7e4c15ed29f5 --- collects/scribble/manual.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index bae3eae3..6259e0d7 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -440,7 +440,7 @@ (provide declare-exporting deftogether - defproc defproc* defstruct defthing defthing* defparam defboolparam + defproc defproc* defstruct defthing defthing* defparam defparam* defboolparam defform defform* defform/subs defform*/subs defform/none defidform specform specform/subs @@ -688,6 +688,10 @@ (syntax-rules () [(_ id arg contract 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 (syntax-rules () [(_ id arg desc ...)