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

New failing test case. This, plus recent commits, calls for a 

different strategy for tracking the retractions necessary at actor
termination.
This commit is contained in:
Tony Garnock-Jones 2018-04-27 10:55:21 +01:00
parent 0d5b7e9c02
commit 65a221ae68
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
syndicate/syntax.rkt
View File

@ -623,6 +623,27 @@
;;
;; (plus the exception report for "Deliberate error")
(spawn #:assertions ['marker]
(assert 'marker) ;; NB this is the change wrt the test case immediately below
(error 'test-case "Deliberate error")
(void))
(spawn (on (asserted 'marker) (printf "marker appeared\n"))
(on (retracted 'marker) (printf "marker disappeared\n")))
)
#;(lambda ()
;; Goal: no matter the circumstances (e.g. exception in a
;; stop script), we will never retract an assertion more or
;; fewer than the correct number of times.
;; Expected output:
;;
;; marker appeared
;; marker disappeared
;;
;; (plus the exception report for "Deliberate error")
(spawn #:assertions ['marker]
(error 'test-case "Deliberate error")
(void))