From 233c4a670733eeaf97b0b450568f6751bcf26e48 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 31 Dec 2023 14:31:16 -0600 Subject: [PATCH] add a note about configuring the width of side-conditions for reduction-relation --- redex-doc/redex/scribblings/ref/typesetting.scrbl | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/redex-doc/redex/scribblings/ref/typesetting.scrbl b/redex-doc/redex/scribblings/ref/typesetting.scrbl index 328b2365..afa6e212 100644 --- a/redex-doc/redex/scribblings/ref/typesetting.scrbl +++ b/redex-doc/redex/scribblings/ref/typesetting.scrbl @@ -517,6 +517,20 @@ instead of on the right. The @racket['horizontal-side-conditions-same-line] is like @racket['horizontal], except that side-conditions are on the same lines as the rule, instead of on their own line below. + Each of these styles uses the function + @racket[rule-pict-info->side-condition-pict] to build the + side-conditions and where clauses, passing different values + for the @racket[_max-width] argument. The @racket['vertical] + and @racket['vertical-overlapping-side-conditions] pass + @racket[+inf.0], which means that the side-conditions stay + on a single line. The @racket['horizontal], + @racket['horizontal-left-align], and + @racket['horizontal-side-conditions-same-line] pass the + width of left and right-hand sides combined. The + @racket['compact-vertical] style offers some configuration, + passing the larger of the value of + @racket[compact-vertical-min-width] and the width of the + left and right-hand sides. } @defthing[reduction-rule-style/c contract?]{