From 79473673734d14e3eab8af89801d7a3cac7df53b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 16 Feb 2009 17:06:21 +0000 Subject: [PATCH] rename local smaller svn: r13673 --- collects/scribblings/reference/rx.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/reference/rx.ss b/collects/scribblings/reference/rx.ss index 10d8e3e587..57a15d9b47 100644 --- a/collects/scribblings/reference/rx.ss +++ b/collects/scribblings/reference/rx.ss @@ -177,7 +177,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category [else s]))) l)) - (define (smaller l) + (define (as-smaller l) (list (make-element "smaller" l))) (define spacer (hspace 1)) @@ -218,7 +218,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category ::= (make-element #f (lit-ize (fixup-ids val))) 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) => (lambda (m) (let ([prod (list-ref m 1)] @@ -236,7 +236,7 @@ Category ::= Ll | Lu | Lt | Lm Unicode general category -or- (make-element #f (lit-ize (fixup-ids val))) spacer - (make-element #f (smaller (as-meaning (fixup-ids meaning)))))))])) + (make-element #f (as-smaller (as-meaning (fixup-ids meaning)))))))])) lines)) (make-table