fix RoleNTimes

2022-06-03 15:40:17 -04:00 · 2022-06-03 15:40:17 -04:00 · a5e6caaa52
parent 2057a9f5a9
commit a5e6caaa52
1 changed files with 6 additions and 2 deletions
--- a/racket/typed/syndicate/sugar.rkt
+++ b/racket/typed/syndicate/sugar.rkt
@ -30,10 +30,14 @@
 (define-for-syntax (RoleNTimes* n Step behav)
  (let loop ([i 1])
  (define nm (format-id behav "step~a" i))
-  (define reacts-to (if (= i 1) #'Observe #'Message))
  (quasisyntax/loc behav
    (Role (#,nm)
-      (Reacts (#,reacts-to #,Step)
+      #,@(if (= i 1)
+             (list #'(Shares Unit))
+             (list))
+      (Reacts #,(if (= i 1)
+                    #'(Asserted Unit)
+                    #`(Message #,Step))
              (Sends #,Step))
      (Reacts (Message #,Step)
              (Effs #,behav