Poly/ML

polyml@lists.polyml.org

2 participants
711 discussions

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

bug in detection of tail recursive calls ?
by obua＠in.tum.de 29 Sep '04

29 Sep '04

Hi, attached is an ML program "tailrecursive.ML" that calculates !n = n * (n-1) * (n-2) * ... * 1 by rewriting. Nevertheless, it doesn't matter so much what the program does, but that calls to the function "testfac" lead to a stack overflow, although the relevant functions "lookup", "weak", "weak_last", "strong", "strong_last" are all clearly tail recursive. Running "testfac 100" succeeds, whereas evaluating "testfac 400" leads to the output below: Poly/ML RTS version I386-4.1.3 (14:28:57 Sep 30 2002) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) WARNING:/usr/lib/poly/ML_dbase: Write permission denied. WARNING:/usr/lib/poly/ML_dbase: Opened for reading only. Mapping /usr/lib/poly/ML_dbase Poly/ML 4.1.3 Release > use "tailrecursive.ML"; ..... > testfac 400; calc fac in native ML calc fac by rewriting Warning - Increasing stack from 147456 to 294912 bytes Warning - Increasing stack from 294912 to 589824 bytes Warning - Increasing stack from 589824 to 1179648 bytes Warning - Increasing stack from 1179648 to 2359296 bytes Warning - Increasing stack from 2359296 to 4718592 bytes Warning - Increasing stack from 4718592 to 9437184 bytes Warning - Increasing stack from 9437184 to 18874368 bytes Warning - Increasing stack from 18874368 to 37748736 bytes Warning - Increasing stack from 37748736 to 67108860 bytes Warning - Stack limit reached - interrupting process Exception- Interrupt raised Is this a bug in Poly/ML? Does anybody know a workaround? I tried the same with Standard ML of New Jersey, 110.46, and even "testfac 7000" is unproblematic for SML/NJ. Any help with / thoughts on this would be much appreciated, Steven -- Steven Obua Technische Universit?t M?nchen Institut f?r Informatik Boltzmannstr. 3 D-85748 Garching Tel: ++49 (0)89 / 289-17328 EMail: obua(a)in.tum.de Raum: 01.11.059

2 1

Poly/ML Debugger
by rda＠lemma-one.com 26 Jul '04

26 Jul '04

I have recently been getting into using the debugger, and I must say I'm impressed. It is very nice that you get the full power of the interactive compiler in very much the right value-binding context to understand how things are inside your functions. I do have a few comments and queries though. In case any of this is platform specific, I have mainly been using it on x86 Linux with a 2.4.21 kernel. 1) The example in the documentation doesn't quite work as stated. The problem seems to be a general one: the only break-points seem to be at the head of a function (i.e., with the parameter bindings done, but not any bindings in let-expressions). When you go up the stack, values bound between the head of the function and the point of execution are not in scope. I.e., if you have something like: fun f x = let y = h x; in g y end; and break in g, when you go up to f, you can't see y (you can rerun the binding, but that may not be the right thing to do if h has side-effects). 2) If you mistype a function name in the parameter to breakIn, it doesn't cause an error (maybe this is a side-effect of a feature? it does seem to be very tolerant of the function names, e.g., you seem to be able leave off structure names and can stop in functions that aren't visible outside their structure). 3) It would be very nice indeed if you could break at points where an exception is raised. I can see that this might be a bit tricky because an awful lot of my ML code is failure-driven, so lots of exceptions get raised "unexceptionally" and you'd want a way of describing "exceptional" exceptions, In my case the ones I'm interested in are the ones that aren't going to be caught. 4) Is there are any run-time overhead in having code compiled with PolyML.Compiler.debug true? 5) ProofPower puts a wrapper around the compiler's read-eval-print loop (by calling PolyML.compiler with appropriate arguments to do the reading and printing). It would be nice if we could do the same with the debugger's read-eval-print loop. Regards, Rob.

3 6

Bounded Time Execution (TimeLimit)
by tjark.weber＠gmx.de 31 May '04

31 May '04

Hello, I am trying to implement bounded time execution (similar to SML/NJ's TimeLimit.timeLimit) in PolyML. Below is my current attempt. However, the code causes a SEGV when Interrupt'ed and run for a second time -- presumably because the signal handler is persistent? Any help would be appreciated. structure TimeLimit : sig exception TimeOut val timeLimit : Time.time -> ('a -> 'b) -> 'a -> 'b end = struct exception TimeOut fun timeLimit t f x = let val result = Process.channel () fun workerThread () = Process.send (result, SOME (f x)) val interrupt = Process.console workerThread val old_handle = Signal.signal (Posix.Signal.alrm, Signal.SIG_HANDLE (fn _ => (interrupt (); Process.send (result, NONE)))) in Posix.Process.alarm t; case Process.receive result of SOME x => (Posix.Process.alarm Time.zeroTime; Signal.signal (Posix.Signal.alrm, old_handle); x) | NONE => (Signal.signal (Posix.Signal.alrm, old_handle); raise TimeOut) end end; Regards, Tjark

2 2

A question
by rdindir＠yahoo.com 25 May '04

25 May '04

Hello, I am new to ml and have downloaded poly/ML. I wanted to experiment with the socket structures. Does naybody know where I can get information on useing poly/ML with sockets. I tried to use the INetSock.TCP.socket () function like so vat s = INetSock.TCP.socket (); I get a message saying that s has uninstantiated variables or something in that range. (I do not remember the correct response right now). My question is this. Can I get an inet socket by calling INetSock.TCP.socket () function? Regards, Riza Dindir rdindir(a)yahoo.com __________________________________ Do you Yahoo!? Yahoo! Domains Claim yours for only $14.70/year http://smallbusiness.promotions.yahoo.com/offer

3 2

PolyML SRPM not building
by rda＠lemma-one.com 25 May '04

25 May '04

Phil, > Hello all, > > I'm finding that the polyml source RPM unpacks certain files but doesn't > build. I have (RedHat) Fedora Core 1. The contents of my terminal is > below. In short: poly wasn't installed initially and the rpm command > put files in /usr/src/redhat/{SOURCES, SPECS} but didn't build > anything. (rpm took about 0.5s) Does anyone have any ideas? > I don't really know, because I downloaded the source tarballs from the Poly/ML web site not the RPM, but my experience with Linux sources is that installing source RPMs does just put tarballs into the /usr/src/ directory and doesn't build anything - so the Poly/ML source RPM is uniform with that.\ > Will building the source RPM still include XMotif support if that's > installed on my machine? > > Thanks, > Phil. > > > [root@pclayton SRPMS]# rpm -qa | grep "poly" > > [root@pclayton SRPMS]# rpm -ivh polyml-4.1.3Release-1.src.rpm > warning: user dave does not exist - using root > warning: user dave does not exist - using root > warning: user dave does not exist - using root > warning: user dave does not exist - using root > 1:polyml ########################################### > [100%] > > [root@pclayton SRPMS]# ls /usr/src/redhat/SOURCES/ > polyml-4.1.3.i386.tar.gz polyml-4.1.3.ppc.tar.gz > polyml-driver-4.1.3.tar.gz If you unpack it and go into the driver directory and follow the instructions it should be reasonably obvious at the configure stage whether or not it's found X Windows and Motif. However, you need to recompile the compiiler as well as the driver program I believe. The instructions in the FAQ on the web site worked fine for me. > > [root@pclayton SRPMS]# ls /usr/src/redhat/SPECS/ > polyml-4-1-3.spec > I don't know anything about this. What I'd be expecting to find is the ML code of the compiler in a tarball that unpacks into a directory called mlsource. Hope that helps! Rob.

2 1

Re: polyml digest, Vol 1 #64 - 2 msgs
by rdindir＠yahoo.com 21 May '04

21 May '04

Hi there, The error message says "unbound variables in s" Riza > > > Hello, > > I am new to ml and have downloaded poly/ML. I wanted > to experiment with the socket structures. Does > naybody > know where I can get information on useing poly/ML > with sockets. > > I tried to use the INetSock.TCP.socket () function > like so > > vat s = INetSock.TCP.socket (); > > I get a message saying that s has uninstantiated > variables or something in that range. (I do not > remember the correct response right now). > > My question is this. Can I get an inet socket by > calling INetSock.TCP.socket () function? > > Regards, > Riza Dindir > rdindir(a)yahoo.com > > > > > > __________________________________ > Do you Yahoo!? > Yahoo! Domains Claim yours for only $14.70/year > http://smallbusiness.promotions.yahoo.com/offer > > > --__--__-- > > _______________________________________________ > polyml mailing list > polyml(a)inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > > End of polyml Digest __________________________________ Do you Yahoo!? Yahoo! Domains Claim yours for only $14.70/year http://smallbusiness.promotions.yahoo.com/offer

1 0

PolyML SRPM not building
by p.clayton＠eris.qinetiq.com 20 May '04

20 May '04

Hello all, I'm finding that the polyml source RPM unpacks certain files but doesn't build. I have (RedHat) Fedora Core 1. The contents of my terminal is below. In short: poly wasn't installed initially and the rpm command put files in /usr/src/redhat/{SOURCES, SPECS} but didn't build anything. (rpm took about 0.5s) Does anyone have any ideas? Will building the source RPM still include XMotif support if that's installed on my machine? Thanks, Phil. [root@pclayton SRPMS]# rpm -qa | grep "poly" [root@pclayton SRPMS]# rpm -ivh polyml-4.1.3Release-1.src.rpm warning: user dave does not exist - using root warning: user dave does not exist - using root warning: user dave does not exist - using root warning: user dave does not exist - using root 1:polyml ########################################### [100%] [root@pclayton SRPMS]# ls /usr/src/redhat/SOURCES/ polyml-4.1.3.i386.tar.gz polyml-4.1.3.ppc.tar.gz polyml-driver-4.1.3.tar.gz [root@pclayton SRPMS]# ls /usr/src/redhat/SPECS/ polyml-4-1-3.spec

1 0

Unable to turn on tracing
by pocm＠netvisao.pt 05 May '04

05 May '04

Hi all, I'm trying to trace a function: Poly/ML RTS version I386-4.1.3 (13:57:33 Sep 30 2002) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) WARNING:/usr/local/polyml/x86-linux/ML_dbase: Write permission denied. WARNING:/usr/local/polyml/x86-linux/ML_dbase: Opened for reading only. Mapping /usr/local/polyml/x86-linux/ML_dbase Poly/ML 4.1.3 Release > trace true; Error: Value or constructor (trace) has not been declared Found near trace(true) Static errors (pass2) Any ideas why this happens? Cheers, -- Paulo J. Matos : pocm [_at_] mega . ist . utl . pt Instituto Superior Tecnico - Lisbon Computer and Software Eng. - A.I. - > http://mega.ist.utl.pt/~pocm --- -> God had a deadline... So, he wrote it all in Lisp!

2 1

Bindings
by pocm＠netvisao.pt 30 Apr '04

30 Apr '04

Hi all, Are there any bindings for PolyML to databases like mysql or postgresql? Cheers, -- Paulo J. Matos : pocm [_at_] mega . ist . utl . pt Instituto Superior Tecnico - Lisbon Computer and Software Eng. - A.I. - > http://mega.ist.utl.pt/~pocm --- -> God had a deadline... So, he wrote it all in Lisp!

2 1

← Newer
1
...
64
65
66
67
68
69
70
71
72
Older →

Jump to page:

2026

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