commit 76ba1e68a70cbf3678cf18e4b33af27fa6a847da
parent 3d38f95defa0457859e1c9ff7c5a266603d8906d
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 29 Oct 2009 23:05:56 +0000
change 'read-language' protocol so that the result from 'get-info' accepts a key plus default value (instead of just a key)
svn: r16459
original commit: 973d51c20fde224d79382dbf6ea817598ea8773c
Diffstat:
3 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/collects/scribble/base/lang/reader.ss b/collects/scribble/base/lang/reader.ss
@@ -6,13 +6,13 @@ scribble/base/lang
#:read-syntax scribble:read-syntax-inside
#:whole-body-readers? #t
#:wrapper1 (lambda (t) (list* 'doc 'values '() (t)))
-#:info (lambda (key default)
+#:info (lambda (key defval default)
(case key
[(color-lexer)
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
[(drscheme:toolbar-buttons)
(dynamic-require 'scribble/drscheme-buttons 'drscheme-buttons)]
- [else (default key)]))
+ [else (default key defval)]))
(require (prefix-in scribble: "../../reader.ss"))
diff --git a/collects/scribble/manual/lang/reader.ss b/collects/scribble/manual/lang/reader.ss
@@ -6,10 +6,10 @@ scribble/manual/lang
#:read-syntax scribble:read-syntax-inside
#:whole-body-readers? #t
#:wrapper1 (lambda (t) (cons 'doc (t)))
-#:info (lambda (key default)
+#:info (lambda (key defval default)
(case key
[(color-lexer)
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
- [else (default key)]))
+ [else (default defval key)]))
(require (prefix-in scribble: "../../reader.ss"))
diff --git a/collects/scribble/sigplan/lang/reader.ss b/collects/scribble/sigplan/lang/reader.ss
@@ -6,10 +6,10 @@ scribble/sigplan/lang
#:read-syntax scribble:read-syntax-inside
#:whole-body-readers? #t
#:wrapper1 (lambda (t) (cons 'doc (t)))
-#:info (lambda (key default)
+#:info (lambda (key defval default)
(case key
[(color-lexer)
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
- [else (default key)]))
+ [else (default defval key)]))
(require (prefix-in scribble: "../../reader.ss"))