Poly/ML October 2004

polyml@lists.polyml.org

5 participants
3 discussions

SFBA ML Users Group Columbus Day
by byron.hale＠einfo.com 06 Oct '04

06 Oct '04

Hi All, There will be a San Francisco Bay Area ML Users Group on Monday, October 11 (Columbus Day), apparently in Fremont, CA. Although it started as OCaml, we are unsure just where our center of gravity lies, hence we are calling it "ML," at least for now. Note that Stephen Weeks (MLton) lives in this area. For further information, see: http://www.evite.com/pages/invite/viewInvite.jsp?inviteId=EEQASETVEDXJWNCZN… Best Regards, Byron Hale byron.hale(a)einfo.com

1 0

Silencing the Runtime
by bfulgham＠debian.org 05 Oct '04

05 Oct '04

Is there any way to convince PolyML to stop reporting startup information? For example, I created a child database, and overrode the "onEntry" method per the FAQ to call my "hello world" function. If I run, I still get lots of helpful data about PolyML: brent@hopper:/opt/shootout/shootout/bench/hello/tmp$ poly hello.test_dbase Poly/ML RTS version I386-4.1.3 (23:03:15 Oct 2 2004) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Mapping ./hello.test_dbase Mapping /usr/lib/poly/ML_dbase Poly/ML 4.1.3 Release hello world The standard function is OS.Process.exit I add a new runtime option "-q" for quiet, to silence some of the output (by adding some "if (! be_silent) { proper_printf.... }" stuff): brent@hopper:/opt/shootout/shootout/bench/hello/tmp$ poly -q hello.test_dbase Poly/ML 4.1.3 Release hello world The standard function is OS.Process.exit This works a bit better, but it looks like the "startupFn" still wants to report it's release value. Can I override this somehow when creating my child database? Also, can I get PolyML to stop reporting "The standard function is OS.Process.exit" when I call "PolyML.quit()" ? Thanks, -Brent

3 4

Development release?
by David.Matthews＠prolingua.co.uk 05 Oct '04

05 Oct '04

There really hasn't been much development of Poly/ML over the last year or so although I've done one or two things to it. I've also received various patches and the recent ones have made me think about this. I don't think there's enough to justify a new release. Producing a new release involves quite a bit of work for me in running the regression tests on the various platforms and building the various binaries. I feel it also involves work for people using Poly/ML and I'm thnking particularly of those using it to support Isabelle and ProofPower. It may be better to make available the latest sources on the web site as a development version. I considered making available my internal CVS server but I'm concerned about issues of security. What do people think? David.

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 October 2004