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))])))