Test dynamic scope correctness

Author: willtebbutt

src/test_utils.jl

@@ -57,6 +57,8 @@ function test_cases()
         Testcase(
             "foreigncall tester", nothing, (foreigncall_tester, "hi"), [Ptr{UInt8}, Ptr{UInt8}]
         ),
+        Testcase("dynamic scope 1", 5, (dynamic_scope_tester_1,), [5]),
+        Testcase("dynamic scope 2", 6, (dynamic_scope_tester_1,), [6]),
 
         # Failing tests
         # Testcase("nested", (nested_outer, ), [true, false]),
@@ -160,4 +162,9 @@ function nested_outer()
     return nothing
 end
 
+function dynamic_scope_tester_1()
+    produce(Libtask.get_dynamic_scope())
+    return nothing
+end
+
 end

test/copyable_task.jl

@@ -2,6 +2,18 @@
     for case in Libtask.TestUtils.test_cases()
         case()
     end
+    @testset "set_dynamic_scope" begin
+        function f()
+            produce(typeassert(Libtask.get_dynamic_scope(), Int))
+            produce(typeassert(Libtask.get_dynamic_scope(), Int))
+            return nothing
+        end
+        t = TapedTask(5, f)
+        @test consume(t) == 5
+        Libtask.set_dynamic_scope!(t, 6)
+        @test consume(t) == 6
+        @test consume(t) === nothing
+    end
     @testset "iteration" begin
         function f()
             t = 1