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