Poly/ML July 2025

polyml@lists.polyml.org

3 participants
3 discussions

ML Basis
by vqn 03 Aug '25

03 Aug '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.

2 2

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

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 July 2025