Add a builtin to mark pick dependencies

rems-project · Apr 15, 2024 · cb0a396 · cb0a396
1 parent 47a7b18
commit cb0a396
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/concurrency_interface/common.sail b/lib/concurrency_interface/common.sail
@@ -188,6 +188,10 @@ val sail_ignore_write_to : forall ('a: Type). register('a) -> unit
 
 function sail_ignore_write_to(reg) = sail_mark_register(reg, "ignore_write")
 
+val sail_pick_dependency : forall ('a: Type). register('a) -> unit
+
+function sail_pick_dependency(reg) = sail_mark_register(reg, "pick")
+
 $ifdef SYMBOLIC
 val __monomorphize = pure "monomorphize" : forall 'n, 'n >= 0. bits('n) -> bits('n)
 $else