do the same for @timer_helper too

dfinity · Jan 14, 2025 · 4aaefba · 4aaefba
1 parent 4a0c1b1
commit 4aaefba
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src/lowering/desugar.ml b/src/lowering/desugar.ml
@@ -368,9 +368,9 @@ and call_system_func_opt name es obj_typ =
              blockE
                [ expD T.(callE (varE (var id.it note)) [Any]
                    (varE (var "@set_global_timer" Mo_frontend.Typing.global_timer_set_type))) ]
-               (callE
-                  (varE (var "@check_timer_send" T.(Func (Local, Returns, [], [], [])))) [T.Any]
-                  (unitE())) in
+               T.(callE
+                    (varE (var "@check_timer_send" (Func (Local, Returns, [], [], [])))) [Any]
+                    (unitE())) in
            { timer with at }
         | "heartbeat" ->
           blockE
@@ -608,7 +608,9 @@ and build_actor at ts self_id es obj_typ =
           | None when !Mo_config.Flags.global_timer ->
             blockE
               [ expD T.(callE (varE (var "@timer_helper" Mo_frontend.Typing.heartbeat_type)) [unit] (unitE())) ]
-              (unitE ())
+              T.(callE
+                   (varE (var "@check_timer_send" (Func (Local, Returns, [], [], [])))) [Any]
+                   (unitE()))
           | None -> tupE []);
        inspect =
          (match call_system_func_opt "inspect" es obj_typ with