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

Add #:on-crash to during/actor

This commit is contained in:
Tony Garnock-Jones 2016-10-30 20:30:38 -04:00
parent 37af1e8726
commit 2d1ad8a62d
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
racket/syndicate/actor.rkt
View File

@ -255,6 +255,10 @@
(pattern (~seq #:actor wrapper)) (pattern (~seq #:actor wrapper))
(pattern (~seq) #:attr wrapper #'actor)) (pattern (~seq) #:attr wrapper #'actor))
(define-splicing-syntax-class on-crash-option
(pattern (~seq #:on-crash expr))
(pattern (~seq) #:attr expr #f))
(define-splicing-syntax-class name (define-splicing-syntax-class name
(pattern (~seq #:name N)) (pattern (~seq #:name N))
(pattern (~seq) #:attr N #'#f)) (pattern (~seq) #:attr N #'#f))
@ -438,7 +442,7 @@
(define-syntax (during/actor stx) (define-syntax (during/actor stx)
(syntax-parse stx (syntax-parse stx
[(_ P w:actor-wrapper name:name O ...) [(_ P w:actor-wrapper name:name oncrash:on-crash-option O ...)
(define E-stx (syntax/loc #'P (asserted P))) (define E-stx (syntax/loc #'P (asserted P)))
(define-values (_proj _pat _bindings instantiated) (define-values (_proj _pat _bindings instantiated)
(analyze-pattern E-stx #'P)) (analyze-pattern E-stx #'P))
@ -451,13 +455,16 @@
;; Supply (inst) appeared before demand (p) retracted. ;; Supply (inst) appeared before demand (p) retracted.
;; Transition to a state where we monitor demand, but also ;; Transition to a state where we monitor demand, but also
;; express interest in supply: this latter acts as a signal ;; express interest in supply: this latter acts as a signal
;; to the supply that it should stick around. We could, if ;; to the supply that it should stick around. We react to
;; we liked, react to retraction of supply before ;; retraction of supply before retraction of demand by
;; retraction of demand, interpreting it perhaps as a crash ;; invoking the on-crash expression, if supplied. Once
;; of some kind. Once demand is retracted, this facet ;; demand is retracted, this facet terminates, retracting
;; terminates, retracting its interest in supply, thereby ;; its interest in supply, thereby signalling to the supply
;; signalling to the supply that it is no longer wanted. ;; that it is no longer wanted.
(react (stop-when (retracted inst)) ;; NOT OPTIONAL (react (stop-when (retracted inst) ;; NOT OPTIONAL
#,@(if (attribute oncrash.expr)
#'(oncrash.expr)
#'()))
(stop-when (retracted p)))) (stop-when (retracted p))))
(stop-when (retracted p) (stop-when (retracted p)
;; Demand (p) retracted before supply (inst) appeared. We ;; Demand (p) retracted before supply (inst) appeared. We