fix bug in namespace-require/constant that caused a Check Syntax bug; fix DrScheme's source location for module forms; tweak help output to use right font for class names

svn: r10113

original commit: 2a728cdf3cf483662da7216ee353f05b6aeba559
This commit is contained in:
Matthew Flatt 2008-06-03 22:01:10 +00:00
parent 8356a7f61f
commit 443b54b695

View File

@ -56,14 +56,6 @@ get all cross-reference information for installed documentation.}
symbol?
(one-of/c 0 1)
(or/c exact-integer? false/c)
(or/c exact-integer? false/c))
(list/c (or/c module-path?
module-path-index?
path?
resolved-module-path?)
symbol?
(one-of/c 0 1)
(or/c exact-integer? false/c)
(or/c exact-integer? false/c)))]
[mode (or/c exact-integer? false/c)])
(or/c tag? false/c)]{