syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fixup format of task performer spec

This commit is contained in:
Sam Caldwell 2019-12-30 17:13:29 -05:00
parent 8afed87e99
commit 33ef42818d
1 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
racket/typed/proto.rkt
View File

@ -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"