suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix define-judgment docs

Browse Source 
change so mode-spec is not optional in grammar
This commit is contained in:
Stephen Chang 2012-10-14 11:06:00 -04:00
parent 2b902d0eda
commit 93784be78d
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/redex/scribblings/ref.scrbl
View File

@ -1139,12 +1139,12 @@ and @racket[#f] otherwise.
@defform/subs[#:literals (I O where where/hidden side-condition side-condition/hidden etc.) @defform/subs[#:literals (I O where where/hidden side-condition side-condition/hidden etc.)
(define-judgment-form language (define-judgment-form language
option ... mode-spec
contract-spec
rule rule ...) rule rule ...)
([option mode-spec ([mode-spec (code:line #:mode (form-id pos-use ...))]
contract-spec] [contract-spec (code:line)
[mode-spec (code:line #:mode (form-id pos-use ...))] (code:line #:contract (form-id @#,ttpattern ...))]
[contract-spec (code:line #:contract (form-id @#,ttpattern ...))]
[pos-use I [pos-use I
O] O]
[rule [premise [rule [premise