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

current-trace-procedures needs to be a store, not a parameter, because spawns capture the parameterization too early and the scoping of tracing should be hierarchy-based

This commit is contained in:
Tony Garnock-Jones 2016-09-02 17:55:46 +01:00
parent 7d52e24a35
commit 7880b2ba28
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
racket/syndicate/trace.rkt
View File

@ -13,6 +13,7 @@
(require "hierarchy.rkt")
(require "pretty.rkt")
(require "store.rkt")
;; A NotificationType is one of
;; -- 'turn-begin
@ -51,7 +52,7 @@
(struct trace-notification (source sink type detail) #:prefab)
(define current-trace-procedures (make-parameter '()))
(define current-trace-procedures (make-store #:default-box (box '())))
(define-syntax-rule (notify! src snk typ det)
(let ((trace-procedures (current-trace-procedures)))