Update src/lowering/desugar.ml

Make setting `Cycles.add` penetrate through parentheticals (that don't mention `cycles`). Co-authored-by: Claudio Russo <[email protected]>
dfinity · Feb 25, 2025 · 0189496 · 0189496
1 parent ee4c2ad
commit 0189496
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -6,8 +6,7 @@
 
   * Added support for sending `cycles` and setting a `timeout` in parentheticals.
     This is an **experimental feature**, with new syntax, and now also allowing best-effort
-    message sends. The legacy call `Cycles.add<system>` is still supported, but the
-    two approaches cannot be mixed (#4608).
+    message sends. The legacy call `Cycles.add<system>` is still supported (#4608).
 
     For example, if one wants to attach cycles to a message send, prefix it with a parenthetical
     ``` motoko

diff --git a/src/lowering/desugar.ml b/src/lowering/desugar.ml
@@ -270,7 +270,7 @@ and parenthetical = function
     let cycles, clean_cycles =
       if T.(sub par.note.note_typ (Obj (Object, [T.cycles_fld])))
       then [fun parV -> dotE parV T.cycles_lab T.nat |> assignVarE "@cycles" |> expD], []
-      else [], [natE Mo_values.Numerics.Nat.zero |> assignVarE "@cycles" |> expD] in
+      else [], [] in
     let timeout, clean_timeout =
       if T.(sub par.note.note_typ (Obj (Object, [T.timeout_fld])))
       then [fun parV -> dotE parV T.timeout_lab T.nat32 |> optE |> assignVarE "@timeout" |> expD], []