Poly/ML November 2024

polyml@lists.polyml.org

4 participants
2 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

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

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 November 2024