From 6cd548b0f35f49b9a05000397341c271e379cbfd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 3 Apr 2010 11:59:26 +0000 Subject: [PATCH] fix module-laguage info from scribble/doc svn: r18729 --- collects/scribble/doc/lang/reader.ss | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/scribble/doc/lang/reader.ss b/collects/scribble/doc/lang/reader.ss index 8d082a9be4..0568ed9de0 100644 --- a/collects/scribble/doc/lang/reader.ss +++ b/collects/scribble/doc/lang/reader.ss @@ -1,8 +1,14 @@ #lang scheme/base (require (prefix-in doc: scribble/doc/reader)) -(provide (rename-out [doc:read read] [doc:read-syntax read-syntax]) +(provide (rename-out [doc:read read] + [my:read-syntax read-syntax]) get-info) +(define (my:read-syntax . args) + (let ([s (apply doc:read-syntax args)]) + ;; For now, remove the 'module-language property added by `doc:read-syntax' + (syntax-property s 'module-language #f))) + (define (get-info . args) (lambda (key defval) (case key