rename local smaller

svn: r13673
This commit is contained in:
Matthew Flatt 2009-02-16 17:06:21 +00:00
parent a016d20e84
commit 7947367373

View File

@ -177,7 +177,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category
[else s]))) [else s])))
l)) l))
(define (smaller l) (define (as-smaller l)
(list (make-element "smaller" l))) (list (make-element "smaller" l)))
(define spacer (hspace 1)) (define spacer (hspace 1))
@ -218,7 +218,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category
::= ::=
(make-element #f (lit-ize (fixup-ids val))) (make-element #f (lit-ize (fixup-ids val)))
spacer spacer
(make-element #f (smaller (as-meaning (fixup-ids meaning)))))))] (make-element #f (as-smaller (as-meaning (fixup-ids meaning)))))))]
[(regexp-match re:eng-prod line) [(regexp-match re:eng-prod line)
=> (lambda (m) => (lambda (m)
(let ([prod (list-ref m 1)] (let ([prod (list-ref m 1)]
@ -236,7 +236,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category
-or- -or-
(make-element #f (lit-ize (fixup-ids val))) (make-element #f (lit-ize (fixup-ids val)))
spacer spacer
(make-element #f (smaller (as-meaning (fixup-ids meaning)))))))])) (make-element #f (as-smaller (as-meaning (fixup-ids meaning)))))))]))
lines)) lines))
(make-table (make-table