diff --git a/collects/redex/private/pict.rkt b/collects/redex/private/pict.rkt index 88ab08ffe8..911b861f53 100644 --- a/collects/redex/private/pict.rkt +++ b/collects/redex/private/pict.rkt @@ -856,8 +856,8 @@ (list-ref eqn 0)))) (metafunc-proc-pict-info (metafunction-proc mf)))) mfs))] - [eqns (select-mf-cases all-eqns #f)] - [lhss (select-mf-cases all-lhss #f)] + [eqns (select-mf-cases all-eqns)] + [lhss (select-mf-cases all-lhss)] [rhss (map (lambda (eqn) (wrapper->pict (list-ref eqn 2))) eqns)] [_ (unless (or (not current-linebreaks) (= (length current-linebreaks) (length eqns))) diff --git a/collects/redex/tests/bitmap-test.rkt b/collects/redex/tests/bitmap-test.rkt index 56288b7161..e073ffda9b 100644 --- a/collects/redex/tests/bitmap-test.rkt +++ b/collects/redex/tests/bitmap-test.rkt @@ -290,9 +290,11 @@ (define-judgment-form nats #:mode (sum I I O) - [(sum z n n)] - [(sum (s n_1) n_2 (s n_3)) - (sum n_1 n_2 n_3)]) + [----------- "sumz" + (sum z n n)] + [(sum n_1 n_2 n_3) + ------------------------- "sums" + (sum (s n_1) n_2 (s n_3))]) (define-judgment-form nats #:mode (mfw I O) diff --git a/collects/redex/tests/bmps-macosx/judgment-form-examples.png b/collects/redex/tests/bmps-macosx/judgment-form-examples.png index f9ed653766..b7c15a71b4 100644 Binary files a/collects/redex/tests/bmps-macosx/judgment-form-examples.png and b/collects/redex/tests/bmps-macosx/judgment-form-examples.png differ