--- a/src/Pure/Concurrent/single_assignment.ML Wed Sep 06 16:03:22 2023 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML Wed Sep 06 20:51:28 2023 +0200
@@ -18,10 +18,10 @@
datatype 'a state =
Set of 'a
- | Unset of {lock: Mutex.mutex, cond: ConditionVar.conditionVar};
+ | Unset of {lock: Thread.Mutex.mutex, cond: Thread.ConditionVar.conditionVar};
fun init_state () =
- Unset {lock = Mutex.mutex (), cond = ConditionVar.conditionVar ()};
+ Unset {lock = Thread.Mutex.mutex (), cond = Thread.ConditionVar.conditionVar ()};
abstype 'a var = Var of {name: string, state: 'a state Unsynchronized.ref}
with
@@ -62,7 +62,8 @@
Set _ => assign_fail name
| Unset _ =>
Thread_Attributes.uninterruptible (fn _ => fn () =>
- (state := Set x; RunCall.clearMutableBit state; ConditionVar.broadcast cond)) ())));
+ (state := Set x; RunCall.clearMutableBit state;
+ Thread.ConditionVar.broadcast cond)) ())));
end;