Poly/ML July 2002

polyml@lists.polyml.org

4 participants
4 discussions

problem installing polyml on linux
by baxter＠math.umn.edu 17 Jul '02

17 Jul '02

Hello all, after using polyml on my windows machine I decided to install it on our dept linux system, and seem to be doing something wrong (as usual!). I downloaded the gzipped tarred archive. When I try to start it I type poly ML_dbase Then I get the following message: Poly/ML RTS version I386-4.1.2 (14:43:27 Jan 15 2002) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Segmentation fault I also downloaded the driver source and built poly with gcc 2.95.4 and glibc 2.2.5. I downloaded the i386 database by itself. Using these files gives the same result. Can anyone suggest what I should be doing here? Thanks, John

1 0

multiple "where type"
by itz＠speakeasy.org 03 Jul '02

03 Jul '02

Hi, does PolyML support the syntax <sig> where type t = foo and t' = bar ? I am getting parse errors at the "and" when I try to use it. OTOH, <sig> where type t = foo where type t' = bar parses fine, but my sigs are already verbose enough :( -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 EngSoc adopts market economy: cheap is wasteful, efficient is expensive.

3 4

Poly/ML as a component?
by bart.jacobs＠student.kuleuven.ac.be 01 Jul '02

01 Jul '02

Hi. It would be great if it were possible to use Poly/ML from other programming languages. There would be a polyml.so or polyml.dll file, that could be linked with, for example, the following C program: #include "polyml.h" main() { Poly_LoadDatabase("mydb.pmd"); int result = Poly_InvokeFunction_Int_Int("add_one", 5); printf("%d plus one is %d\n", 5, result); } It would of course be better still if there could be a Poly/ML COM component or Poly/ML .NET component (unmanaged and non-verifiable, of course). The problem with these scenarios is that Poly/ML would have to live together with other modules in the same process. This probably causes multithreading issues and address space issues. Poly/ML uses memory mapping to load the database. It uses fixed addresses for this. What if the address range is being used by other modules? Poly/ML uses certain operating system functionality to implement multithreading. Could this interfere with other modules? We have a design space here: one extreme is Poly/ML, which is very efficient, but has rather poor interoperability. The other extreme is SML.NET (see www.research.microsoft.com) (I'm talking about the concept, since it has not (yet?) been released): this would provide great interoperability, but most probably at the expense of efficiency in time and space. Of course, Poly/ML is the greatest programming language ever and all other languages are superfluous :-), but we cannot avoid the fact that some people use other languages, and, as a result, useful libraries get written in other languages. My problem is that I want to combine the Isabelle theorem proving system (isabelle.in.tum.de), written in SML, with the .NET Framework's user interface components. As an approximation to the DLL approach I discussed above, I'm looking into writing some simple remote procedure call code to connect the Poly/ML process and the .NET process. That way, Poly/ML would be a kind of "server" accepting remote procedure calls through a socket. (See also my previous mail.) Is it possible to run Poly/ML on Windows without the user interface? This would allow me to invisibly launch Poly/ML from the .NET program, with a database that contains an "onEntry" function that listens on a TCP port and accepts remote procedure calls. Any thoughts on this?

3 2

Socket.accept doesn't seem to work.
by bart.jacobs＠student.kuleuven.ac.be 01 Jul '02

01 Jul '02

Hi. When I use Socket.accept in Poly/ML 4.1.2 on Windows, I get SysErr("accept failed", SOME EFAULT). Also, I think I found a bug in the driver source code, but I'm not sure that the latter causes the former. Specifically, in the code for Socket.Ctl.setNBIO (POLY_SYS_net number 43), it says ioBits |= ~NON_BLOCKING_IO instead of ioBits |= NON_BLOCKING_IO I want to thank David Matthews for giving us Poly/ML.

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 July 2002