From c2fdf431891d4673a3aa737cac44184767c3e2fe Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 5 Aug 2011 09:00:28 -0700 Subject: [PATCH] add a file I shoudl have added in an earlier commit (for the drracket read-language docs) --- collects/scribblings/tools/doc-util.rkt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 collects/scribblings/tools/doc-util.rkt diff --git a/collects/scribblings/tools/doc-util.rkt b/collects/scribblings/tools/doc-util.rkt new file mode 100644 index 0000000000..a067bd783d --- /dev/null +++ b/collects/scribblings/tools/doc-util.rkt @@ -0,0 +1,22 @@ +#lang racket/base +(require scribble/base + scribble/manual) +(provide language-info-ref + language-info-def) + +(define-syntax-rule + (language-info-ref id) + (language-info-ref/proc (racket id) 'id)) + +(define (language-info-ref/proc rkt-id sym) + (define str (format "~s" sym)) + (elemref str rkt-id)) + +(define-syntax-rule + (language-info-def id . args) + (language-info-def/proc 'id . args)) + +(define (language-info-def/proc sym . args) + (define str (format "~s" sym)) + (apply elemtag str args)) +