From 0ec952fca2a57c8152c2243cefb3ae9de03a49aa Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 9 May 2008 02:14:27 +0000 Subject: [PATCH] converted a bunch of tex-isms to scribble-isms and other small improvements in the docs svn: r9760 original commit: 694a0d732be8c71fa5d4c421ac3316b2875cea38 --- collects/scribble/srcdoc.ss | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/collects/scribble/srcdoc.ss b/collects/scribble/srcdoc.ss index e7df6134..8e51d2be 100644 --- a/collects/scribble/srcdoc.ss +++ b/collects/scribble/srcdoc.ss @@ -6,6 +6,7 @@ (provide require/doc provide/doc + thing-doc parameter-doc proc-doc proc-doc/names) @@ -205,3 +206,19 @@ #'(defparam id arg-id contract . desc) #'(scribble/manual) #'id))]))) + +(define-provide/doc-transformer thing-doc + (lambda (stx) + (syntax-case stx () + [(_ id contract desc) + (begin + (unless (identifier? #'id) + (raise-syntax-error 'parameter/doc + "expected an identifier" + stx + #'id)) + (values + #'[id contract] + #'(defthing id contract . desc) + #'(scribble/manual) + #'id))])))