Poly/ML

polyml@lists.polyml.org

695 discussions

'not a trap instruction' crash in Mac OS X 10.3
by David.Matthews＠prolingua.co.uk 04 Nov '04

04 Nov '04

Larry Paulson has been having a crash with Poly/ML on Mac OS X. It fails with a message of the form: MD_trap_handler1: 0x81840000 is not a trap instruction; pc = 0x1f208 The details vary but in each case the hex value after MD_trap_handler1 (the actual trapping instruction) begins 0x8 indicating a LOAD instruction. I haven't been able to reproduce the problem but that may be because I'm using OS X 10.2 . Has anyone else had crashes of this sort on Mac OS X? David.

1 0

Development release
by David.Matthews＠prolingua.co.uk 02 Nov '04

02 Nov '04

I've now put the development sources on to the Poly/ML website as http://www.polyml.org/polyml-devel.tar.gz . All the patches I've received should be included but I'd be grateful if people could check that any patches they've sent me are actually there. David.

1 0

SFBA ML Users Group Columbus Day
by byron.hale＠einfo.com 06 Oct '04

06 Oct '04

Hi All, There will be a San Francisco Bay Area ML Users Group on Monday, October 11 (Columbus Day), apparently in Fremont, CA. Although it started as OCaml, we are unsure just where our center of gravity lies, hence we are calling it "ML," at least for now. Note that Stephen Weeks (MLton) lives in this area. For further information, see: http://www.evite.com/pages/invite/viewInvite.jsp?inviteId=EEQASETVEDXJWNCZN… Best Regards, Byron Hale byron.hale(a)einfo.com

1 0

Silencing the Runtime
by bfulgham＠debian.org 05 Oct '04

05 Oct '04

Is there any way to convince PolyML to stop reporting startup information? For example, I created a child database, and overrode the "onEntry" method per the FAQ to call my "hello world" function. If I run, I still get lots of helpful data about PolyML: brent@hopper:/opt/shootout/shootout/bench/hello/tmp$ poly hello.test_dbase Poly/ML RTS version I386-4.1.3 (23:03:15 Oct 2 2004) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Mapping ./hello.test_dbase Mapping /usr/lib/poly/ML_dbase Poly/ML 4.1.3 Release hello world The standard function is OS.Process.exit I add a new runtime option "-q" for quiet, to silence some of the output (by adding some "if (! be_silent) { proper_printf.... }" stuff): brent@hopper:/opt/shootout/shootout/bench/hello/tmp$ poly -q hello.test_dbase Poly/ML 4.1.3 Release hello world The standard function is OS.Process.exit This works a bit better, but it looks like the "startupFn" still wants to report it's release value. Can I override this somehow when creating my child database? Also, can I get PolyML to stop reporting "The standard function is OS.Process.exit" when I call "PolyML.quit()" ? Thanks, -Brent

3 4

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

← Newer
1
...
62
63
64
65
66
67
68
69
70
Older →

Jump to page:

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