From 93784be78d3cf93d575454d8180dc2295e8bcf2c Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Sun, 14 Oct 2012 11:06:00 -0400 Subject: [PATCH] fix define-judgment docs change so mode-spec is not optional in grammar --- collects/redex/scribblings/ref.scrbl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/redex/scribblings/ref.scrbl b/collects/redex/scribblings/ref.scrbl index 50ed093dfe..c63adc91eb 100644 --- a/collects/redex/scribblings/ref.scrbl +++ b/collects/redex/scribblings/ref.scrbl @@ -1139,12 +1139,12 @@ and @racket[#f] otherwise. @defform/subs[#:literals (I O where where/hidden side-condition side-condition/hidden etc.) (define-judgment-form language - option ... + mode-spec + contract-spec rule rule ...) - ([option mode-spec - contract-spec] - [mode-spec (code:line #:mode (form-id pos-use ...))] - [contract-spec (code:line #:contract (form-id @#,ttpattern ...))] + ([mode-spec (code:line #:mode (form-id pos-use ...))] + [contract-spec (code:line) + (code:line #:contract (form-id @#,ttpattern ...))] [pos-use I O] [rule [premise