nested-vm -> spawn-vm
This commit is contained in:
parent
e8a7c253dd
commit
e755c473d1
|
@ -1,7 +1,7 @@
|
|||
#lang marketplace
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
(nested-vm
|
||||
(spawn-vm
|
||||
(at-meta-level
|
||||
(observe-publishers (tcp-channel ? (tcp-listener 5999) ?)
|
||||
(match-conversation (tcp-channel them us _)
|
||||
|
|
|
@ -3,7 +3,7 @@
|
|||
(require "../support/debug.rkt")
|
||||
|
||||
(debug
|
||||
(nested-vm
|
||||
(spawn-vm
|
||||
(at-meta-level
|
||||
(observe-publishers (tcp-channel ? (tcp-listener 5999) ?)
|
||||
(match-conversation (tcp-channel them us _)
|
||||
|
|
|
@ -28,7 +28,7 @@
|
|||
name-process
|
||||
yield:
|
||||
at-meta-level:
|
||||
nested-vm:
|
||||
spawn-vm:
|
||||
ground-vm:)
|
||||
|
||||
;; A fresh unification variable, as identifier-syntax.
|
||||
|
@ -88,7 +88,7 @@
|
|||
[(_ State preaction ...)
|
||||
#'(list ((inst core:at-meta-level State) preaction) ...)])))
|
||||
|
||||
(define-syntax nested-vm:
|
||||
(define-syntax spawn-vm:
|
||||
(lambda (stx)
|
||||
(syntax-parse stx
|
||||
[(_ (~literal :) ParentState
|
||||
|
|
|
@ -26,7 +26,7 @@
|
|||
name-process
|
||||
yield
|
||||
at-meta-level
|
||||
nested-vm
|
||||
spawn-vm
|
||||
ground-vm)
|
||||
|
||||
(define-syntax-rule (transition/no-state action ...)
|
||||
|
@ -70,7 +70,7 @@
|
|||
[(cons preaction '()) (core:at-meta-level preaction)]
|
||||
[_ (map core:at-meta-level preactions)]))
|
||||
|
||||
(define-syntax nested-vm
|
||||
(define-syntax spawn-vm
|
||||
(lambda (stx)
|
||||
(syntax-parse stx
|
||||
[(_ (~or (~optional (~seq #:vm-pid vm-pid) #:defaults ([vm-pid #'p0])
|
||||
|
|
Loading…
Reference in New Issue