Poly/ML November 2002

polyml@lists.polyml.org

3 participants
3 discussions

Re: basis/Net* and basis/*Sock* modules (polyml digest, Vol 1 #26)
by jeremy＠discus.anu.edu.au 26 Nov '02

26 Nov '02

Another question: are the basis/Net* and basis/*Sock* modules documented anywhere? I have a version of the Basis document dated August 5, 1997 by Jonh Reppy. Has it been amended since? If yes, where can I get the current version? http://sml.sourceforge.net/Basis/ Jeremy

1 0

proc-enums?
by itz＠speakeasy.org 25 Nov '02

25 Nov '02

The documentation for CInterface says among many other things: We would like to convert C-enumerations like colour into an equivalent ML datatype, together with functions to convert between values of the datatype and ML integers. This can be achieved automatically by using the script proc-enums, contained in the scripts subdirectory of the source tree. I don't see any such script anywhere in the tarballs from which I built PolyML: driver, mlsource, or basis. In fact, if I should believe "locate" it isn't anywhere on my machine :) Where oh where is it hiding? -- Ian Zimmerman, Oakland, California, U.S.A. I did not vote for Emperor Bush. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087

2 2

feature request: make
by itz＠speakeasy.org 19 Nov '02

19 Nov '02

Would it be possible for PolyML.make to return a boolean indicating success/failure? -- Ian Zimmerman, Oakland, California, U.S.A. I did not vote for Emperor Bush. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087

2 2

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 2002