suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

some fixes

Browse Source 
svn: r8883

original commit: 9838b8e79a8e4f011020ed31257aba70ea84581d
This commit is contained in:
Eli Barzilay 2008-03-04 21:47:25 +00:00
parent df9ec08c6a
commit bd0e84df06
1 changed files with 22 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
collects/scribblings/scribble/reader.scrbl
View File

@ -39,7 +39,7 @@ Another way to use the reader is to use the @scheme[use-at-readtable]
function to switch the current readtable to a readtable that parses function to switch the current readtable to a readtable that parses
@"@"-forms. You can do this in a single command line: @"@"-forms. You can do this in a single command line:
@commandline{mzscheme -l scheme -l scribble/reader -e "(use-at-readtable)"} @commandline{mzscheme -ile scribble/reader "(use-at-readtable)"}
@;-------------------------------------------------------------------- @;--------------------------------------------------------------------
@section{Concrete Syntax} @section{Concrete Syntax}
@ -640,9 +640,9 @@ matter, you can begin (or end) a line with a "@||".
@section{Syntax Properties} @section{Syntax Properties}
The Scribble reader attaches properties to syntax objects. These The Scribble reader attaches properties to syntax objects. These
properties might be useful in rare situations. properties might be useful in some rare situations.
Forms that Scribble reads is marked with a @scheme['scribble] Forms that Scribble reads are marked with a @scheme['scribble]
property, and a value of a list of three elements: the first is property, and a value of a list of three elements: the first is
@scheme['form], the second is the number of items that were read from @scheme['form], the second is the number of items that were read from
the datum part, and the third is the number of items in the body part the datum part, and the third is the number of items in the body part
@ -658,6 +658,7 @@ example, implicitly quoted keywords:
#:eval read-eval #:eval read-eval
(define-syntax (foo stx) (define-syntax (foo stx)
(let ([p (syntax-property stx 'scribble)]) (let ([p (syntax-property stx 'scribble)])
(printf ">>> ~s\n" (syntax->datum stx))
(syntax-case stx () (syntax-case stx ()
[(_ x ...) [(_ x ...)
(and (pair? p) (eq? (car p) 'form) (even? (cadr p))) (and (pair? p) (eq? (car p) 'form) (even? (cadr p)))
@ -674,10 +675,10 @@ example, implicitly quoted keywords:
#'(key ,val)) #'(key ,val))
as) as)
(cddr xs))))]))) (cddr xs))))])))
(eval:alts (eval:alts
(code:line (code:line
#, @tt["@foo[x 1 y (* 2 3)]{blah}"]) #, @tt["@foo[x 1 y (* 2 3)]{blah}"])
@foo[x 1 y (* 2 3)]{blah}) @foo[x 1 y (* 2 3)]{blah})
] ]
In addition, the Scribble parser uses syntax properties to mark syntax In addition, the Scribble parser uses syntax properties to mark syntax
@ -689,8 +690,8 @@ have a @scheme['(newline S)] value where @scheme[S] is the original
newline string including spaces that precede and follow it (which newline string including spaces that precede and follow it (which
includes the indentation for the following item). This can be used to includes the indentation for the following item). This can be used to
implement a verbatim environment: drop indentation strings, and use implement a verbatim environment: drop indentation strings, and use
the original source strings instead of single-newline string. Here is the original source strings instead of the single-newline string. Here
an example of this. is an example of this.
@; FIXME: a bit of code duplication here @; FIXME: a bit of code duplication here
@def+int[ @def+int[
@ -712,16 +713,16 @@ an example of this.
[else (cons (datum->syntax-object [else (cons (datum->syntax-object
fst (cadr prop) fst) fst (cadr prop) fst)
rst)])))))])) rst)])))))]))
(eval:alts (eval:alts
(code:line (code:line
#, @tt["@verb[string-append]{"] #, @tt["@verb[string-append]{"]
#, @tt[" foo"] #, @tt[" foo"]
#, @tt[" bar"] #, @tt[" bar"]
#, @tt["}"]) #, @tt["}"])
@verb[string-append]{ @verb[string-append]{
foo foo
bar bar
}) })
] ]
@;-------------------------------------------------------------------- @;--------------------------------------------------------------------