syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Support for defining fields with contracts

This commit is contained in:
Sam Caldwell 2016-07-15 18:53:25 -04:00
parent e1f42d5d4f
commit 75cec37038
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
racket/syndicate/actor.rkt
View File

@ -216,7 +216,11 @@
(define-splicing-syntax-class priority
(pattern (~seq #:priority level))
(pattern (~seq) #:attr level #'*normal-priority*)))
(pattern (~seq) #:attr level #'*normal-priority*))
(define-splicing-syntax-class field-contract
(pattern (~seq #:contract contract))
(pattern (~seq) #:attr contract #'#f)))
(define-syntax (actor stx)
(syntax-parse stx
@ -271,16 +275,23 @@
(syntax/loc stx
(react/suspend (continue) O ...))]))
(define-syntax (define-field stx)
(syntax-case stx ()
[(_ id init contract)
(if (syntax-e #'contract)
#'(define/contract id contract (make-field 'id init))
#'(define id (make-field 'id init)))]))
(define-syntax (field stx)
(syntax-parse stx
[(_ [id:id init] ...)
[(_ [id:id init contract:field-contract] ...)
(quasisyntax/loc stx
(begin
(when (and (in-script?) (current-facet-id))
(error 'field
"~a: Cannot declare fields in a script; are you missing a (react ...)?"
#,(source-location->string stx)))
(define id (make-field 'id init))
(define-field id init contract.contract)
...))]))
(define-syntax (assert stx)