2017-10-18 14:57:07 +00:00
|
|
|
#lang typed/syndicate
|
|
|
|
|
2017-11-01 20:09:07 +00:00
|
|
|
#;(require racket/base)
|
2017-10-18 14:57:07 +00:00
|
|
|
|
2017-11-03 21:28:00 +00:00
|
|
|
;; really lame how many times I have to write the dataspace type
|
|
|
|
|
|
|
|
(dataspace (U (Observe ★) String)
|
|
|
|
|
|
|
|
(spawn (U (Observe ★) String)
|
|
|
|
(facet _
|
|
|
|
(assert "hello")))
|
|
|
|
|
|
|
|
(spawn (U (Observe ★) String)
|
|
|
|
(facet _
|
|
|
|
(on (asserted "hello")
|
|
|
|
(unsafe-do (printf "got hello\n"))))))
|