Poly/ML

polyml@lists.polyml.org

1 participants
711 discussions

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

Foreign.LowLevel.call
by Gergely Buday 29 Jul '25

29 Jul '25

Hi there, Foreign.LowLevel.call has the following type: > Foreign.LowLevel.call; val it = fn: LowLevel.cType list -> LowLevel.cType -> LowLevel.symbol -> LowLevel.Memory.voidStar * LowLevel.Memory.voidStar -> unit I understood what the arguments are: the cType list is the type of arguments, the cType is the return type, the symbol is the C function symbol in the loaded library. But the two general pointers are not clear. Where should they point to? For a void argument function I gave val monitorVoidStar = Foreign.System.loadLibrary "monitor.dll"; for both and it worked, but I guess one of them should be a pointer to the argument list. What is the meaning of these two pointers? val monitorLib = Foreign.loadLibrary "monitor.dll"; val monitorVoidStar = Foreign.System.loadLibrary "monitor.dll"; fun main () = Foreign.LowLevel.call [] Foreign.LowLevel.cTypeVoid (Foreign.getSymbol monitorLib "say_hello") (monitorVoidStar, monitorVoidStar) $ cat monitor.c #include <stdio.h> void say_hello() { printf("Hello from C!\n"); } - Gergely

2 1

PolyML.Make on Windows / MSYS2 MINGW64
by Gergely Buday 20 Jul '25

20 Jul '25

Hi there, I am to compile ML-Lex for Poly/ML: https://github.com/eldesh/mllex-polyml and its Makefile uses PolyML.make . I have managed to call it from the interactive Poly/ML, it did accept the OS.FileSys.getDir() argument, but then nothing happens. Does PolyML.make reportedly work on Windows? I tried it from MINGW64 and CMD prompts as well. - Gergely

2 1

Weird error with polyc on Fedora 41 under UTM on Apple Silicon
by Rob Arthan 16 Jun '25

16 Jun '25

Dear All, I have been trying to get ProofPower to work under Linux on Apple Silicon using UTM and have a working build now. I have a pre-built VM for Fedora 41 and installed the various packages that ProofPower depends on. I was very pleased that the packages for Poly/ML were there and working, but did notice one missing dependency at the first point that the ProofPower make files try to run polyc echo "use\"polyml-build.sml\";" | poly > slrp-bin.log 2>&1 polyc -o slrp-bin slrp-bin.o g++: fatal error: cannot read spec file '/usr/lib/rpm/redhat/redhat-annobin-cc1': No such file or directory The fix was to install the package redhat-rpm-config. What I found particularly odd is that I had checked by hand that gcc was working before I started the ProofPower build and the ProofPower build had successfully compiled some C programs before this failure and has been successfully running poly (as you can see above). So this seems to be something specific to polyc. I thought I’d mention this here (a) in case anyone else comes across the same problem with polyc and wants a fix and (b) because it looks there are some dependencies between packages that are missing in the packages for Poly/ML on this distro (which I can report if understand a bit better what is going on). Regards, Rob.

3 6

polyc on Windows msys2-mingw64
by Gergely Buday 22 May '25

22 May '25

Hi there, I compiled Poly/ML on Windows with msys2 and I use it on msysw-mingw64. I compiled a Hello World program but when I try to run it I get into trouble: $ ./a.exe C:/msys64/home/gbuday/a.exe: error while loading shared libraries: libpolyml-14.dll: cannot open shared object file: No such file or directory When I check the lib library I see $ ls -l /c/polyml/lib total 2140 -rw-r--r-- 1 gbuday None 1152 May 22 11:17 libpolymain.a -rw-r--r-- 1 gbuday None 932 May 22 11:17 libpolymain.la -rw-r--r-- 1 gbuday None 1151480 May 22 11:17 libpolyml.a -rw-r--r-- 1 gbuday None 1020630 May 22 11:17 libpolyml.dll.a -rw-r--r-- 1 gbuday None 956 May 22 11:17 libpolyml.la drwxr-xr-x 1 gbuday None 0 May 22 11:17 pkgconfig drwxr-xr-x 1 gbuday None 0 May 22 11:17 polyml I used ./configure --disable-windows --enable-windows-64bit --prefix=/c/polyml Was this a mistake? - Gergely

2 5

Command not found for polyc on Windows
by Gergely Buday 22 May '25

22 May '25

Hi there, polyc on msys2-mingw64 gives me $ /c/polyml/bin/polyc hello.sml /c/polyml/bin/polyc: line 17: @ARCHINTERPRET64_TRUE@EXTRALDFLAGS=-Wl,-u,WinMain: command not found The mentioned part is #EXTRALDFLAGS="" EXTRALDFLAGS="-Wl,-u,WinMain" @ARCHINTERPRET64_TRUE@EXTRALDFLAGS="-Wl,-u,WinMain" is this a generated shell script? Shall I just remove this last line? - Gergely

2 1

Subscribed at last
by Rob Arthan 13 May '25

13 May '25

Dear All, After some problems with automated e-mails not getting through yesterday, things worked today and I’ve created an account and subscribed to the list. Best, Rob.

2 1

Jump to page:

2026

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