diff --git a/ground.rkt b/ground.rkt index 86efadb..5a67aba 100644 --- a/ground.rkt +++ b/ground.rkt @@ -59,7 +59,7 @@ (define pid (process-pid old-p)) (match (endpoint-role ep) [(role 'subscriber (cons (? evt? evt) _) 'participant) - (: evt-handler : Any -> vm -> vm) + (: evt-handler : Any -> (vm -> vm)) (define ((evt-handler message) state) (let-values (((state wp) (extract-process state pid))) (if (not wp)