wrap contracts given to field with `field\c`
This commit is contained in:
parent
0fb5fa52f4
commit
9cf12a381e
|
@ -288,7 +288,7 @@
|
||||||
(syntax-case stx ()
|
(syntax-case stx ()
|
||||||
[(_ id init contract)
|
[(_ id init contract)
|
||||||
(if (syntax-e #'contract)
|
(if (syntax-e #'contract)
|
||||||
#'(define/contract id contract (make-field 'id init))
|
#'(define/contract id (field/c contract) (make-field 'id init))
|
||||||
#'(define id (make-field 'id init)))]))
|
#'(define id (make-field 'id init)))]))
|
||||||
|
|
||||||
(define-syntax (field stx)
|
(define-syntax (field stx)
|
||||||
|
|
Loading…
Reference in New Issue