Poly/ML August 2025

polyml@lists.polyml.org

6 participants
5 discussions

ML Basis
by vqn 31 Oct '25

31 Oct '25

Hello, Over the past few months, I have been working on an implementation of the ML Basis system for Poly/ML. It supports the complete mlb spec and is available both as a library and a cli tool: https://github.com/vqns/polymlb On a side note, I have been trying to implement incremental compilation by caching compiled .mlb files (i.e compiler namespaces) and exporting and reimporting them through {save,load}ModuleBasic. I have however been running into the issue that exporting each .mlb to a different on-disk module causes opaque types mismatch when reimporting them. What would be the reason for that? I have managed to work around it by exporting everything to the same file, but that result in a fairly large cache, e.g ~45mb for smlfmt (1.2mb executable, 15k loc). I suppose the reason for that is that I export the basis library as well, but I'm not sure there is a solution for that.

3 27

InterruptState
by Rob Arthan 18 Aug '25

18 Aug '25

I realised that I was completely misunderstanding the use of the term “synchronous” in the description of the type InterruptState. I now believe that synchronous interrupts require co-operation from the thread being interrupted while asynchronous interrupts are pre-emptive (not the other way round). Have I got it right now? The documentation says that asynchronous interrupts occur "at a suitable point soon after they are triggered”. Is iit possible to state what the suitable points are. In any case, I think that my code (which is just trying to make a a call of a single-threaded function time out) should loop after sending the sending the interrupt waiting for the interrupted thread to become inactive. Does that sound right? Regards, Rob.

3 3

PolyDoc
by David Matthews 16 Aug '25

16 Aug '25

The recent query about documentation for the HashArray structure reminded me that a while ago I wrote a tool to enable an ML source file to contain documentation. The tool is based on Poly/ML's parser and parses the file, writing signature information to an XML file. The documentation itself is written as specially formatted comments. I've used it to produce the documentation for the Poly/ML-specific modules in the basis library which aren't otherwise documented. The easiest way to understand it is probably to look at the source code for a module such as the Thread structure (e.g. https://github.com/polyml/polyml/blob/master/basis/Thread.sml ) and the output at https://polyml.org/documentation/Reference/Thread.xml . The code is at https://github.com/polyml/polydoc . It may be useful for other projects and I'm open to suggestions for improvement. David

1 0

HashArray structure
by P Padil 12 Aug '25

12 Aug '25

Is there additional documentation of the subject structure? I couldn’d find any in the site. Thanks

2 2

Poly/ML 5.9.2 release
by David Matthews 11 Aug '25

11 Aug '25

Version 5.9.2 of Poly/ML has now been released on GitHub. It has been almost two years since 5.9.1 was released and there have been a few bug fixes since then. Probably the biggest change has been with the conversion from floating point to strings and digit sequences. The old Gay code has been replaced by the Ryu algorithm coded in ML. There have been a few fixes specific to Mac OS. In particular the object code exporter has been changed to deal with a problem with the Xtools 15. There are a number of pull requests outstanding so it's likely that the next release will include some bigger changes. David

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML August 2025