Poly/ML December 2021

polyml@lists.polyml.org

6 participants
3 discussions

Start poly in an augmented environment
by technical+polymlmailinglist＠zacque.tk 08 Dec '21

08 Dec '21

Hi, I find the Basis Library to be inadequate for many of my use cases. E.g. I'm used to having built-in Set and Map/Dict abstract datatypes (ADTs); and built-in sort function for all the common ADTs. Then, I realise I can start poly by loading all the code with "--use FILE" from command line. So, my question is how to suppress "poly --use ROOT.sml" loaded definition message to STDOUT? E.g. $ poly --use ROOT.sml Poly/ML 5.8.2 Release val testme = "Test me!": string <---- suppress this line val it = (): unit <---- and this line > 1; val it = 1: int <---- while keep printing of results I have tried "poly --use 'FILE' -q" with the "-q" option. But it turns off printing of results as well (which is undesired). I hope there is an easy way (probably a switch/flag?) to achieve what I want, and avoid writing another REPL. Thanks! -- Cheers, zacque

2 2

5.9 released
by David.Matthews＠prolingua.co.uk 07 Dec '21

07 Dec '21

Poly/ML version 5.9 was officially released on Github last weekend. There is a fixes-5.9 branch which already contains one fix, but that just affects the interpreted version. David

4 3

Polyml installation
by d_parkinson＠gmx.com 05 Dec '21

05 Dec '21

An HTML attachment was scrubbed... URL: <http://lists.inf.ed.ac.uk/pipermail/polyml/attachments/20211205/e300306b/at…>

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 December 2021