26 May
2026
26 May
'26
3:41 p.m.
On 26/05/2026 08:15, Michael Norrish wrote:
Could Mutex be an eqtype in future? (I see it is currently implemented as a word ref….)
I guess it could be in principle. It definitely has to be mutable so equality would be pointer equality. The type is given in Thread.sml as "word ref" but actually the implementation is dealt with by the various code-generators.
David