doc fixes

svn: r12328
This commit is contained in:
Matthew Flatt 2008-11-06 16:22:12 +00:00
parent fadf10cf10
commit 4215289320
3 changed files with 28 additions and 3 deletions

View File

@ -235,10 +235,10 @@ More specifically, the typesetting of identifiers in the above grammar
is significant. For example, the second case for @scheme[_expr] is a
@tech{syntax-object} list whose first element is an @tech{identifier},
where the @tech{identifier}'s @tech{lexical information} specifies a
binding to the @scheme[define-values] of the
binding to the @scheme[#%plain-lambda] of the
@schememodname[scheme/base] language (i.e., the @tech{identifier} is
@scheme[free-identifier=?] to one whose binding is
@scheme[define-values]). In all cases, identifiers above typeset as
@scheme[#%plain-lambda]). In all cases, identifiers above typeset as
syntactic-form names refer to the bindings defined in
@secref["syntax"].

View File

@ -10,4 +10,5 @@
Returns a list of free @scheme[lambda]- and @scheme[let]-bound
identifiers in @scheme[expr-stx]. The expression must be fully
expanded (@secref[#:doc refman "fully-expanded"]).}
expanded (see @secref[#:doc refman "fully-expanded"] and
@scheme[expand]).}

View File

@ -106,6 +106,30 @@
syntax->datum
(syntax-case '(((1) (2 3)) ((6)) ((8 9 0) (1 2 3))) () [(((a ...) ...) ...) #'((a ...) ... ...)]))
(test (syntax-case #'((([n 1] [m 2]) ([p 10] [q 20])) (([nn -1] [mm -2]) ([pp -10] [qq -20]))) ()
[((([x y] ...) ...) ...)
(syntax->datum #'(ell ((ull (+ x ...)
((- x ... y ...) ...))
...)
...))])
'fancy-ellipses
'(ell ((ull (+ n m) ((- n m 1 2) (- p q 10 20)))
(ull (+ p q) ((- nn mm -1 -2) (- pp qq -10 -20))))
((ull (+ nn mm) ((- n m 1 2) (- p q 10 20)))
(ull (+ pp qq) ((- nn mm -1 -2) (- pp qq -10 -20))))))
(test (syntax-case #'((([n 1] [m 2]) ([p 10] [q 20])) (([nn -1] [mm -2]) ([pp -10] [qq -20]))) ()
[((([x y] ...) ...) ...)
(syntax->datum #'(ell ((ull (+ x ...)
((- x ...) ...))
...)
...))])
'fancy-ellipses
'(ell ((ull (+ n m) ((- n m) (- p q)))
(ull (+ p q) ((- nn mm) (- pp qq))))
((ull (+ nn mm) ((- n m) (- p q)))
(ull (+ pp qq) ((- nn mm) (- pp qq))))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Test basic expansion and property propagation
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;