From 33ef42818dc471df980d4071a95ff62c1a177898 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 30 Dec 2019 17:13:29 -0500 Subject: [PATCH] fixup format of task performer spec --- racket/typed/proto.rkt | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/racket/typed/proto.rkt b/racket/typed/proto.rkt index cb4a6ce..6239b90 100644 --- a/racket/typed/proto.rkt +++ b/racket/typed/proto.rkt @@ -2308,38 +2308,38 @@ (listen) (Reacts (Asserted - (Observe- - (TaskPerformance- + (Observe + (TaskPerformance Symbol - (Task- - (Tuple- Int Symbol) + (Task + (Tuple Int Symbol) (U - (MapWork- String) - (ReduceWork- (Hash- String Int) (Hash- String Int)))) + (MapWork String) + (ReduceWork (Hash String Int) (Hash String Int)))) ★/t))) (Role (during-inner) (Reacts (Retracted - (Observe- - (TaskPerformance- + (Observe + (TaskPerformance Symbol - (Task- - (Tuple- Int Symbol) + (Task + (Tuple Int Symbol) (U - (MapWork- String) - (ReduceWork- (Hash- String Int) (Hash- String Int)))) + (MapWork String) + (ReduceWork (Hash String Int) (Hash String Int)))) ★/t))) (Stop during-inner)) (Shares - (TaskPerformance- + (TaskPerformance Symbol - (Task- - (Tuple- Int Symbol) + (Task + (Tuple Int Symbol) (U - (MapWork- String) - (ReduceWork- (Hash- String Int) (Hash- String Int)))) - (U (Finished- (Hash- String Int)) Symbol))))))) + (MapWork String) + (ReduceWork (Hash String Int) (Hash String Int)))) + (U (Finished (Hash String Int)) Symbol))))))) (module+ test (test-case "parse and compile task-performer-spec"