Make kill-reason a #:reason keyword.
This commit is contained in:
parent
5366c6898a
commit
07bab897cc
2
os2.rkt
2
os2.rkt
|
@ -186,7 +186,7 @@
|
|||
(define (make-delete-role pre-eid [reason #f]) (delete-role pre-eid reason))
|
||||
(define (make-send-message body [role 'publisher]) (send-message body role))
|
||||
(define (make-spawn main [k #f]) (spawn main k))
|
||||
(define (make-kill [pid #f] [reason #f]) (kill pid reason))
|
||||
(define (make-kill [pid #f] #:reason [reason #f]) (kill pid reason))
|
||||
|
||||
(define (extend-transition t . more-actions)
|
||||
(match t
|
||||
|
|
Loading…
Reference in New Issue