typed: fix redundancy in RoleNTimes

2022-06-13 14:33:52 -04:00 · 2022-06-13 14:33:52 -04:00 · 28e89297f9
parent a5e6caaa52
commit 28e89297f9
1 changed files with 6 additions and 2 deletions
--- a/racket/typed/syndicate/sugar.rkt
+++ b/racket/typed/syndicate/sugar.rkt
@ -38,12 +38,16 @@
      (Reacts #,(if (= i 1)
                    #'(Asserted Unit)
                    #`(Message #,Step))
-              (Sends #,Step))
+              #,@(if (= i n)
+                     (list)
+                     (list #`(Sends #,Step))))
      (Reacts (Message #,Step)
              (Effs #,behav
                    (Stop #,nm
                          #,@(if (< i n)
-                                 (list #`(Sends #,Step) (loop (add1 i)))
+                                 (if (= i 1)
+                                     (list #`(Sends #,Step) (loop (add1 i)))
+                                     (list (loop (add1 i))))
                                 (list)))))))))

 (define-syntax-parser RoleNTimes