The reason I ask is because I would like to replace a standard ref with an Isabelle-derived Sref.t type in a larger composite type, and I can’t make the Sref an equality type unless the Mutex is one too.
Thanks, Michael
From: David Matthews David.Matthews@prolingua.co.uk Date: Wednesday, 27 May 2026 at 00:41 To: polyml@lists.polyml.org polyml@lists.polyml.org Subject: [Polyml] Re: Mutex as eqtype?
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
_______________________________________________ Poly/ML mailing list -- polyml@lists.polyml.org To unsubscribe send an email to polyml-leave@lists.polyml.org