Bring #:collect vars into scope for maintained assertions in actor.rkt

This commit is contained in:
Tony Garnock-Jones 2015-12-11 17:55:34 +13:00
parent 80ab8e20cc
commit 424f38b268
1 changed files with 4 additions and 1 deletions

View File

@ -443,6 +443,8 @@
(box-adjoin! assertion-maintainers (box-adjoin! assertion-maintainers
(lambda (evt-stx) (lambda (evt-stx)
#`(lambda (s) #`(lambda (s)
(match-define (vector #,@binding-names)
(actor-state-variables s))
(define old-assertions (define old-assertions
(strip-interests (strip-interests
(mux-interests-of (actor-state-mux s) #,endpoint-index))) (mux-interests-of (actor-state-mux s) #,endpoint-index)))
@ -575,7 +577,8 @@
(sequence-transitions0 s (sequence-transitions0 s
#,@(mapply #'e (unbox track-updaters)) #,@(mapply #'e (unbox track-updaters))
#,@(mapply #'e (unbox event-handlers)) #,@(mapply #'e (unbox event-handlers))
(maintain-assertions e)))) (maintain-assertions e)
perform-pending-patch)))
(define initial-state (define initial-state
(actor-state (hasheq) (actor-state (hasheq)