WIP: replyDeadline is still 0

dfinity · Dec 6, 2024 · 3bed728 · 3bed728
1 parent c9bd84f
commit 3bed728
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/test/run-drun/ok/par.tc.ok b/test/run-drun/ok/par.tc.ok
@@ -1 +1 @@
-par.mo:53.9-53.67: warning [M0204], unrecognised attribute yeah in parenthetical note
+par.mo:54.9-54.67: warning [M0204], unrecognised attribute yeah in parenthetical note
diff --git a/test/run-drun/par.mo b/test/run-drun/par.mo
@@ -1,9 +1,10 @@
-import { call_raw; debugPrint; principalOfActor } = "mo:⛔";
+import { call_raw; debugPrint; principalOfActor; replyDeadline } = "mo:⛔";
 import Cycles = "cycles/cycles";
 
 actor A {
 
     func foo(next : () -> async ()) : async () {
+        assert 0 : Nat64 == replyDeadline();
         await (with cycles = 3000) next()
     };
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		par.mo:53.9-53.67: warning [M0204], unrecognised attribute yeah in parenthetical note
		par.mo:54.9-54.67: warning [M0204], unrecognised attribute yeah in parenthetical note