Poly/ML January 2011

polyml@lists.polyml.org

5 participants
7 discussions

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

CInterface problem on SPARC/Solaris
by mmoel＠t-online.de 27 Jan '11

27 Jan '11

An HTML attachment was scrubbed... URL: http://lists.inf.ed.ac.uk/mailman/private/polyml/attachments/20110126/948a2…

2 3

Poly/ML 32-bit and memory usage
by noschinl＠in.tum.de 18 Jan '11

18 Jan '11

Hi all, I'm trying to build JinjaThreads, a massive Isabelle theory, using the 32-bit linux version of Poly/ML 5.4.0. The machine is equipped with 6 GiB of RAM and runs a 64-bit linux kernel. After a while, Poly/ML aborts with "Run out of store - interrupting threads". But at this time, the poly process only has allocated around 2.7GiB of memory (VIRT). Why does Poly/ML does not try to allocate more memory? I tried to request a bigger initial heap size with "-H 3500", but this seemed to result in a heap size of 2GiB. As I tested with a small C program, a 32-bit process can allocate (and use) 4070MiB on this machine. Greetings, Lars

1 0

exit code 89 with r1259
by ramana.kumar＠gmail.com 17 Jan '11

17 Jan '11

When I try to build HOL4 using polyml svn 1259 the builder consistently exits with exit code 89 and I think it is running out of memory. I'm sorry I don't have anything more helpful to add - I'm switching back to svn 1243 (which I happen to have and which works), but I'm happy to follow instructions to retrieve information that might lead to finding the problem. I am on x86_64.

2 1

Release Announcement of PolyChrome 0.3
by ldixon＠inf.ed.ac.uk 13 Jan '11

13 Jan '11

Dear ML enthusiasts, We are pleased to announce the first release of PolyChrome (version 0.3). This is an extension for the Firefox web browser that runs Standard ML programs embedded in HTML documents, and lets those programs manipulate the webpage much like JavaScript does. PolyChrome uses PolyML (http://www.polyml.org/, use svn version on Mac, and that or 5.4-fixes on linux) and provides a cute way to quickly develop interfaces for Standard ML programs using HTML. The extension also provides a simple foreign function interface to JavaScript. As a result, JavaScript libraries and interfaces provided by the browser, such as DOM and Canvas, can be used from Standard ML programs. For more information, documentation, download links, etc see: http://kidkarolis.github.com/PolyChrome/ PolyChrome still has many rougher edges, but we feel it's now ready for a first release into the wild; we'd welcome contributions, bug-reports, and other feedback. Best wishes, Karolis Narkevi?ius and Lucas Dixon -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Socket.accept on MacOS causes 100% processor usage
by ldixon＠inf.ed.ac.uk 12 Jan '11

12 Jan '11

Hi, Below is a little ML code that prints out everything that gets sent to port 8080. On linux this behaves much as expected, but on MacOS, as soon as the Socket.accept call is made, it uses 100% of processor. The code: (* Reproducable on Mac OS X 10.6.5 PolyML 5.4 Not reproducable on Linux :) After calling main() the CPU usage becomes 100%. After connecting to this server socket by doing telnet localhost 8080 the CPU usage is still 100%. *) fun mkServerSocket () = let val server = INetSock.TCP.socket(); val _ = Socket.bind(server, INetSock.any 8080); val _ = Socket.Ctl.setREUSEADDR(server,true); val saddr = INetSock.fromAddr(Socket.Ctl.getSockName server); val _ = Socket.listen(server,128); in (saddr,server) end; fun readLoop active_socket = let val s = Byte.bytesToString(Socket.recvVec(active_socket,80)); val _ = PolyML.print s; (* print to output *) in (PolyML.print "about to read...\n"; readLoop active_socket) end; fun main() = let val (saddr, server_socket) = mkServerSocket () val (active_socket, active_socket_addr) = Socket.accept server_socket in readLoop active_socket end; -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

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 January 2011