Poly/ML May 2004

polyml@lists.polyml.org

6 participants
6 discussions

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

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