From faef39cbc6961038aad6560c5a9adf5e759feec8 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Thu, 24 Mar 2011 14:58:31 -0500 Subject: [PATCH] Fixes the docs for non-terminal styles --- collects/redex/redex.scrbl | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 006f8cd95f..7e1a299be6 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -2172,20 +2172,16 @@ in-hole decompositions, which use the @racket[default-style]. The @racket[grammar-style] is used for the ``::='' and ``|'' in grammars. -The @racket[non-terminal-style] is used for the names of non-terminals. +The @racket[non-terminal-style] parameter is used for the names of non-terminals. Two parameters style the text in the (optional) "underscore" component of a non-terminal reference. The first, @racket[non-terminal-subscript-style], applies to the segment between the underscore and the first caret (@racket[^]) to follow it; the second, @racket[non-terminal-superscript-style], applies to the segment following that caret. For example, in the non-terminal -reference @racket[x_y_z], @racket[x] has style @racket[non-terminal-style], +reference @racket[x_y^z], @racket[x] has style @racket[non-terminal-style], @racket[y] has style @racket[non-terminal-subscript-style], and @racket[z] has style @racket[non-terminal-superscript-style]. -The -@racket[non-terminal-subscript-style] is used for the portion -after the underscore in non-terminal references. - The @racket[default-style] is used for parenthesis, the dot in dotted lists, spaces, the "where" and "fresh" in side-conditions, and other places