add #:commit, fix other typos

This commit is contained in:
Ryan Culpepper 2013-02-28 18:42:04 -05:00
parent 91cbbbbde2
commit 9d84c5fdf7
4 changed files with 6 additions and 1 deletions

View File

@ -16,6 +16,7 @@
#:name [expr-name not-given]
#:context [ctx #f])
#:attributes (c)
#:commit
(pattern y:expr
#:with
c (wrap-expr/c ctc-stx

View File

@ -112,8 +112,9 @@
(define-syntax-class stxclass-ctc
#:description "syntax-class/c or splicing-syntax-class/c form"
#:literals (syntax-class/c)
#:literals (syntax-class/c splicing-syntax-class/c)
#:attributes (rec)
#:commit
(pattern ((~or syntax-class/c splicing-syntax-class/c)
mand:ctclist
(~optional opt:ctclist))
@ -126,6 +127,7 @@
(define-syntax-class ctclist
#:attributes ([pc.c 1] [kw 1] [kwc.c 1])
#:commit
(pattern ((~or pc:expr (~seq kw:keyword kwc:expr)) ...)
#:with (pc.c ...) (for/list ([pc-expr (in-list (syntax->list #'(pc ...)))])
(wrap-expr/c #'contract? pc-expr))

View File

@ -18,6 +18,7 @@
(define-syntax (define-primitive-splicing-syntax-class stx)
(define-syntax-class attr
#:commit
(pattern name:id
#:with depth #'0)
(pattern [name:id depth:nat]))

View File

@ -30,6 +30,7 @@
(define-syntax-class header
#:description "name or name with formal parameters"
#:commit
(pattern name:id
#:with formals #'()
#:attr arity (arity 0 0 null null))