equal
deleted
inserted
replaced
22 |
22 |
23 datatype 'a var = Var of |
23 datatype 'a var = Var of |
24 {name: string, |
24 {name: string, |
25 lock: Mutex.mutex, |
25 lock: Mutex.mutex, |
26 cond: ConditionVar.conditionVar, |
26 cond: ConditionVar.conditionVar, |
27 var: 'a ref}; |
27 var: 'a Unsynchronized.ref}; |
28 |
28 |
29 fun var name x = Var |
29 fun var name x = Var |
30 {name = name, |
30 {name = name, |
31 lock = Mutex.mutex (), |
31 lock = Mutex.mutex (), |
32 cond = ConditionVar.conditionVar (), |
32 cond = ConditionVar.conditionVar (), |
33 var = ref x}; |
33 var = Unsynchronized.ref x}; |
34 |
34 |
35 fun value (Var {var, ...}) = ! var; |
35 fun value (Var {var, ...}) = ! var; |
36 |
36 |
37 |
37 |
38 (* synchronized access *) |
38 (* synchronized access *) |