From 07bab897cce4ca74e35ccd2fe5fd4dc435cc7300 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 2 May 2012 13:53:20 -0400 Subject: [PATCH] Make kill-reason a #:reason keyword. --- os2.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/os2.rkt b/os2.rkt index f6cb4a0..cb326e8 100644 --- a/os2.rkt +++ b/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