Poly/ML

polyml@lists.polyml.org

3 participants
698 discussions

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

Is the list still up and running?
by rda＠lemma-one.com 03 Sep '24

03 Sep '24

Dear All, As the subject line says, is the Poly/ML list still up and running? The website for the list is still there at https://lists.inf.ed.ac.uk/mailman/listinfo/polyml, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ is is broken. Cheers, Rob.

5 7

PolyML 5.9.1 build failure on Mac Sonoma arm64
by steve.arons＠gmail.com 23 Feb '24

23 Feb '24

The linker fails when writing the object code: ******Writing object code****** /bin/sh ./libtool --tag=CC --mode=link gcc -O3 -o poly polyexport.o libpolymain/libpolymain.la libpolyml/libpolyml.la -lstdc++ libtool: link: gcc -O3 -o .libs/poly polyexport.o libpolymain/.libs/libpolymain.a libpolyml/.libs/libpolyml.dylib -lstdc++ ld: LINKEDIT overlap of start of LINKEDIT and symbol table in '/Users/susanbeningson/poly/polyml/polyexport.o' in '/Users/susanbeningson/poly/polyml/polyexport.o' clang: error: linker command failed with exit code 1 (use -v to see invocation) make[2]: *** [poly] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 This is clang from the Apple dev tools masquerading as gcc; is it necessary to use GNU gcc and the GNU bin tools? Thanks, Steve

2 4

Poly/ML 5.9.1
by andrewgoh95＠yahoo.com.sg 22 Jan '24

22 Jan '24

Hi Poly/ML List members, I am starting to pick up the Poly/ML language by relying on SML/NJ resources. Do you have any free pdf tutorials that you can recommend and that I can obtain.? As the latest Poly/ML 5.9.1 version is not available for Windows, I however managed to obtain a previous version 5.5.0 from source forge.? I was wondering if Poly/ML can be improved until it looks like, feels like and works like a copy of the Python IDLE IDE. Thanks and Regards, --- Andrew Goh

5 4

How to build a new backend?
by andrei.formiga＠gmail.com 24 Nov '23

24 Nov '23

Hello, Let's say I want to create a new backend for Poly/ML, generating code for a virtual machine, for example the Erlang BEAM Virtual Machine. The backend would not depend on the C++ runtime, because the runtime would be the virtual machine. >From looking at the source code, the backend should generate target code from the CodeTree. I could add a new directory to MLCompiler/CodeTree with the new backend code, and add a GCode.beam.ML file to the MLCompiler directory that instantiates the GCode structure correctly. My question is about building the compiler with the new backend enabled. How would I add the new backend to the build and then build the compiler with this backend enabled? I have limited experience with autoconf and automake (mainly as a user), so taking a look at configure.ac and Makefile.am didn't give me clues on how to tie everything together. I also see that there is a RootXX.ML file for each target architecture that compiles the source files in order, but a comment in these files say they were generated from the make files. So any tips or pointers are appreciated. -- []s, Andrei Formiga

2 3

Looking for a Poly/ML 4.1.3 driver for sparc
by Bernard.Berthomieu＠laas.fr 01 Jul '23

01 Jul '23

Hello, I'd like to revive an old application compiled by Poly/ML 4.1.3 on a sparc workstation, to be run in a (to be built) qemu sparc-solaris VM. I found the database of the application, but I cannot find the corresponding poly 4.1.3 sparc driver. So, before going forward, I would be very grateful if one of you kept such a driver and could send me a copy. Best Regards, ? Bernard.

2 1

Forwarded message from David MacQueen
by David.Matthews＠prolingua.co.uk 26 Apr '23

26 Apr '23

I have created a new organization on the chat system Zulip.com. This Zulip organization now has ?streams? (or chat channels) for ?Standard ML?, ?SML/NJ?, ?MLton?, and ?general?, and Topics can be created under these streams. I would welcome a new stream for discussion of Poly/ML, and encourage people on the polymer mailing list to join the Zulip organization using the following invitation link: https://standardml.zulipchat.com/join/7zpttltlmvicuv6ite6ogbdl/ The URL for the organization is standardml.zulipchat.com. David MacQueen dmacqueen at mac.com P.S. There is also a ?Standard ML? server on Discord, but I am leaning strongly toward Zulip for future support of the Standard ML community. P.S. The new home of SML/NJ is https://github.com/smlnj. The source repositories, Issues (e.g. bug reports), Wiki, and Discussions are there, but the smlnj.org web site is still hosted at the University of Chicago.

1 0

Callback from a foreign thread
by phil.clayton＠veonix.com 14 Nov '22

14 Nov '22

I am wondering whether it is possible for a new thread to be created in foreign code by some other library and for the new thread to call back into ML.? As the new thread would not be created by Poly/ML, presumably it would not have its own ML stack and that sounds problematic, given the description in the original paper [1].? On the other hand, perhaps an ML stack is provided by the callback closure.? I briefly looked at the source code, and ended up at buildCallBack in X86ForeignCall.ML, but I would need to understand the code generation to make sense of that. Phil 1.Efficient Parallel Programming in Poly/ML and Isabelle/ML ... Like every thread that runs ML code this new thread has both an operating-system stack that it uses when running in the RTS or in ?foreign? code through the foreign-function interface (FFI) and an ML stack that is used when running ML code. The ML stack is an object within the ML heap and can be scanned and updated by the garbage-collector. ... Because all threads are created by calls to the RTS and all interaction with the operating system is through it the RTS is able to maintain a table of threads and their current state. Knowing the state of all threads is particularly important for garbage collection. ...

2 2

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