Poly/ML

polyml@lists.polyml.org

3 participants
695 discussions

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

Future of the mailing list
by David.Matthews＠prolingua.co.uk 17 Apr '25

17 Apr '25

I've had a message from the administrators at Edinburgh Informatics to say that as from 1st June they will no longer be supporting the mailing list that we've had since 2002. The list is not very active but it is useful from time to time so it would be good to keep it going. Does anyone have any suggestions as to where it could be hosted? I do have a VPS running Debian that currently hosts the Poly/ML website so that is a possibility. Regards, David

3 3

Very slow type checking with largish/nested type abbreviations
by kevin.kappelmann＠tum.de 13 Apr '25

13 Apr '25

Dear list, I am facing very slow type checking in a development of mine (in Isabelle), possibly due to largish types created by nested type abbreviations. The type checking of these types is significantly faster in MLton and SML/NJ. I hence wanted to ask if there is any hope that type checking performance for such cases could be improved in Poly/ML (with reasonable effort)? Attached, you can find 2 short files that demonstrate this. Both files create nested type abbreviations and a function "foo" that uses these types. In test_check.sml, one of the types has to be checked against itself. In test_compare.sml, two equal types have to be compared to each other. Times on an Apple M3 machine: - test_check.sml: - polyml-5.9.1/arm64_32-darwin: 13.043 seconds (command: "poly < test_check.sml") - SML/NJ Version 110.99.7; 64-bit: 0.161 seconds (command: "sml < test_check.sml") - MLton Version 20241230: 1.201 seconds (command: "mlton test_check.sml") - test_check.sml when changing "foo" to use type "test4" instead of "test3_4" (cf. source file) - polyml-5.9.1/arm64_32-darwin: TIMEOUT after 10 minutes - SML/NJ Version 110.99.7; 64-bit: 0.398 seconds - MLton Version 20241230: 1.249 seconds - test_compare.sml: - polyml-5.9.1/arm64_32-darwin: 13.369 seconds - SML/NJ Version 110.99.7; 64-bit: 0.178 seconds - MLton Version 20241230: 1.221 seconds Best wishes, Kevin

2 2

Foreign functions
by gbuday＠gmail.com 05 Mar '25

05 Mar '25

Hi there, I have found only the signature FOREIGN: https://artemis.polyml.org/documentation/Reference/Foreign.xml but is there an explanation for this somewhere? - Gergely

3 2

Scripting on Windows
by gbuday＠gmail.com 27 Feb '25

27 Feb '25

Hi there, it is possible to create a standalone script on Unices: #!/home/user/polyml-5.9/bin/poly --script print "Hello World!\n" But the Windows executable creates a window. Is it possible to compile a Poly/ML read-eval-print loop that I could start in a cmd window? My goal would be to write standalone scripts for Windows. - Gergely

4 4

Thread.ConditionVar.waitUntil
by rda＠lemma-one.com 10 Jan '25

10 Jan '25

Happy New Year to the Poly/ML User Community! I am trying to find a fix to a problem where we want to apply a function that sometimes takes far too long to execute. So I want to abort execution of the function after a specified time limit. I have a solution that seems to work by forking a worker thread to execute the function and store the result in a ref while the control thread goes into a loop that waits for 100ms and then either (1) returns the result from the ref if the worker thread is no longer active, (2) repeats if the thread is still active and we haven?t reaced the time limit or otherwise (3) kills the worker thread and returns a dummy value. I am implementing this using Thread.ConditionVar.waitUntil and have two questions about that: 1) What does the bool returned by Thread.ConditionVar.waitUntil mean? That doesn?t seem to be documented. 2) In addition to the timeout, Thread.ConditionVar.waitUntil has a condition variable and a mutex as arguments. I am just creating these using Thread.ConditionVar.conditionVar and Thread.Mutex.mutex because I need some values to pass to Thread.ConditionVar.waitUntil. I am not doing any signalling or locking or unlocking. Is that going to cause any problems? (The condition variable and the mutex are local to the control thread function, so the worker thread function has no access to them.) Regards, Rob.

3 2

Pretty-printing of infix operators
by rda＠lemma-one.com 03 Nov '24

03 Nov '24

Dear All, I am trying re-use some demo code that I wrote some years ago and am getting different output from what I previously got. A cut-down version of the code is as follows: local datatype THEOREM = D of (int * int); in type THEOREM = THEOREM; infix D; fun axiom m = if m <> 0 then m D m else raise NOT_ALLOWED; end; axiom 1; The output I used to get was: infix 0 D eqtype THEOREM val axiom = fn: int -> THEOREM val it = 1 D 1: THEOREM The output I now get is: infix 0 D eqtype THEOREM val axiom = fn: int -> THEOREM val it = D (1, 1): THEOREM Can I do something to persuade the pretty-printer to use infix notation for the constructor D? (In a real application, I would install my own pretty-printer for the type THEOREM, but that would be an annoying distraction in the talk that the demo code accompanies.) Regards, Rob.

3 4

Jump to page:

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