From db437e0ba808c6b4cf40fd1ba56aa998c1a1c402 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Wed, 1 Aug 2012 10:09:45 -0500 Subject: [PATCH] clarify define-extended-language example --- collects/redex/scribblings/ref.scrbl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/redex/scribblings/ref.scrbl b/collects/redex/scribblings/ref.scrbl index 5232e01010..b8afcb0ece 100644 --- a/collects/redex/scribblings/ref.scrbl +++ b/collects/redex/scribblings/ref.scrbl @@ -657,15 +657,15 @@ extended non-terminals. For example, this language: (define-extended-language lc-num-lang lc-lang (v .... (code:comment "extend the previous `v' non-terminal") - + - number) + number + +) (x (variable-except λ +))) ] -extends lc-lang with two new alternatives for the @racket[v] -non-terminal, carries forward the @racket[e] and @racket[c] -non-terminals, and replaces the @racket[x] non-terminal with a -new one (which happens to be equivalent to the one that would +extends lc-lang with two new alternatives (@racket[+] and @racket[number]) +for the @racket[v] non-terminal, carries forward the @racket[e] +and @racket[c] non-terminals, and replaces the @racket[x] non-terminal +with a new one (which happens to be equivalent to the one that would have been inherited). The four-period ellipses indicates that the new language's