Poly/ML June 2005

polyml@lists.polyml.org

3 participants
2 discussions

Poly/ML and the SML'97 Basis Library
by rda＠lemma-one.com 22 Jun '05

22 Jun '05

Trying to get ProofPower working against the a recent version (110.54) of Standard ML of New Jersey has flagged a few disccrepancies between the Basis Library as implemented in Poly/ML 4.1.3 and the documentation at http://www.standardml.org/Basis/history.html. What is the position for Poly/ML intended to be? (The discrepancies I found are in Array.copy and TextIO.inputLine which have different signatures. Poly/ML agrees with the so-called stable version 110.0.7 of SML/NJ, but as that's 7 years old, it's not a very useful implementation!). Regards, Rob.

2 1

Still getting strange behavior with Poly 4.13 on WinXP
by byron.hale＠einfo.com 10 Jun '05

10 Jun '05

Hi, I still get problems with unwanted environment retention on Windows XP. That wasn't the case in Fall 2003, so I'm wondering if the many Windows updates have resulted in an incompatibility with 4.13. I've even tried re-installing 4.13, but get the same behavior. It seems as if I've tried what seems like everything, except reinstalling 4.13 every time I want to have a fresh environment. Ideas? Thanks, Byron Hale

1 0

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 June 2005