Poly/ML November 2011

polyml@lists.polyml.org

9 participants
13 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

Null pointer and comparing CInterface.vol values
by phil.clayton＠lineone.net 02 Dec '11

02 Dec '11

I am currently implementing type t val null : t val isNull : t -> bool where type t = CInterface.vol. There is no problem doing this but I wondered whether I could improve the CInterface structure to avoid annoying little C library functions. Would it be at all controversial to include null : vol in CInterface? Regarding comparison of vols, it makes sense that vol is not an eqtype because it stores more than just the "raw vol". Generally, is it safe to compare vols using their "raw vols"? I.e. could garbage collection or data sharing cause the raw vols to become invalid? Even if the raw vols were valid but changed behind the scenes, such comparisons may be of dubious value if the result could change due to garbage collection or data sharing. If vol comparison is reliable, would it be useful to have an eq or compare function in CInterface? Otherwise, could CInterface include isNull : vol -> bool ? I am happy to have a go at a patch is this sounds useful. Phil

5 32

Y combinator crashes Poly/ML
by lhe＠it.uu.se 26 Nov '11

26 Nov '11

Hi, I have an implementation of the Y which crashes Poly/ML. Take the program below and evaluate "fact n" with n>3. I've tried it on both x86 and SPARC Solaris systems with Poly/ML 5.3, as well as on a (x86) MacOSX system with Poly/ML 5.4.1. The program works in both Moscow ML and SMLNJ, so I'm pretty sure it is correct SML. Best regards, Lars-Henrik Eriksson, PhD, Senior Lecturer Computing Science, Dept. of Information Technology, Uppsala University, Sweden E-mail: lhe(a)it.uu.se, Web: http://www.it.uu.se/katalog/lhe?lang=en Phone: +46 18 471 10 57, Mobile: +46 705-36 39 16, Fax: +46 18 51 19 25 -------- (* The Y combinator in ML *) abstype 'a ft = FT of 'a ft -> 'a with val Y = fn f => (fn (FT x) => (f (fn a => x (FT x) a))) (FT (fn (FT x) => (f (fn a => x (FT x) a)))) end (* Y is the fixed point operator, i.e. fix F = Y(F) *) (* Y has type (('a -> 'b) -> ('a -> 'b)) -> ('a -> 'b) *) (* Recursive definitions such as val rec f = ... can be written val f = Y (fn f => ...) *) fun Fact f n = if n = 0 then 1 else n * f(n-1) val fact = Y Fact

3 3

scanaddrs.cpp:107: Assertion Failed
by tjark.weber＠gmx.de 24 Nov '11

24 Nov '11

Hi, Poly/ML fixes-5.4 (revision 1373) just terminated with poly: scanaddrs.cpp:107: PolyWord ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion `val.IsDataPtr()' failed. on my machine (Linux 3.1.1-2.fc16.x86_64) while I was trying to build Isabelle/HOL. I am afraid the error is intermittent and has only occurred once so far. Is there anything I can do to provide more useful debugging information if this happens again? Kind regards, Tjark

2 2

CInterface.setFinal pointer mismatch
by phil.clayton＠lineone.net 18 Nov '11

18 Nov '11

I am using setFinal to free a string (char *) whose pointer is returned via a parameter (char **) with address/deref to construct/destruct the char ** parameter. Unfortunately, I cannot get this to work. It seems that a function registered with setFinal is not always passed the C pointer (of the vol) that it was registered with, in particular, when the vol supplied to setFinal is derived from address/deref. E.g. setFinal mycfun (deref (address v)) does not call mycfun with the same C pointer as for setFinal mycfun v This seems like an issue to me but perhaps I have misunderstood something. The attached example in eg1.tar.gz demonstrates this. After unpacking, cd eg1/ make bin # build eg1.so LD_LIBRARY_PATH=.: poly < eg1.sml # change glibc name if req. See eg1.sml for details. I have tried Poly/ML versions as follows: 5.4 x86_64 5.4.1 x86_64 5.4 i386 r1352 i386 and all have this pointer mismatch. (With i386, the pointer passed to the C function is null whereas it is some nearby pointer with x86_64.) Phil

2 2

setFinal important detail
by phil.clayton＠lineone.net 18 Nov '11

18 Nov '11

I found an issue with my use of setFinal to free allocated strings that was causing a memory leak. I hadn't appreciated a behavioural detail of setFinal, though it seems obvious now I know. In particular, for setFinal f v, it is (the C value referenced by) v at the time f is called, not at the time f is registered using setFinal, that is passed to f. To help me understand exactly what is going on, I wrote some notes on setFinal covering matters in detail - see attached. I don't know how accurate this is though. Although the detail is, perhaps, excessive for some users, I found a low-level description quite useful. Phil

1 0

Resource consumption of the SVN version vs. 5.4.1
by andreas.lochbihler＠kit.edu 17 Nov '11

17 Nov '11

Hi all, when I build a large session in Isabelle2011-1 (to be precise, an extension of of JinjaThreads in the Archive of Formal Proofs) with PolyML 5.4.1, this takes 1:51h. While running the session, polyml requires 12GB of memory (VmSize in /proc/<PID>/status). The final call to PolyML.shareCommonData before writing the heap image consumes 17GB of memory. I now ran the same session with the SVN version 1352 of PolyML. Then, it takes 2:35h, 16GB for the session and 21GB for sharing common data. What is happening there? Have other people experienced a similar surge in memory usage and runtime? Thanks for any hints, Andreas -- Karlsruher Institut f?r Technologie IPD Snelting Andreas Lochbihler wissenschaftlicher Mitarbeiter Adenauerring 20a, Geb. 50.41, Raum 031 76131 Karlsruhe Telefon: +49 721 608-47399 Fax: +49 721 608-48457 E-Mail: andreas.lochbihler(a)kit.edu http://pp.info.uni-karlsruhe.de KIT - Universit?t des Landes Baden-W?rttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft

2 3

Printing arbitrary objects
by phil.clayton＠lineone.net 16 Nov '11

16 Nov '11

I don't know (apart from the source code). I can't imagine you need to know much more than the type 'a -> string which Poly/ML will print back when you enter PolyML.makestring On 16/11/11 18:13, Dave Thayer wrote: > Where do I find info on that function? > > -----Original Message----- > From: Phil Clayton [mailto:phil.clayton@lineone.net] > Sent: Wednesday, November 16, 2011 10:13 AM > To: Dave Thayer > Cc: Poly/ML Mailing List > Subject: Re: [polyml] Printing arbitrary objects > > Ah. Perhaps PolyML.makestring then? > > On 16/11/11 18:11, Dave Thayer wrote: >> No you have to know the type of the object to invoke a type specific >> pretty printer I want to print arbitrary objects it could be anything. >> (usually a small subset of anything) :) >> >> -----Original Message----- >> From: Phil Clayton [mailto:phil.clayton@lineone.net] >> Sent: Wednesday, November 16, 2011 10:09 AM >> To: Dave Thayer >> Cc: polyml(a)inf.ed.ac.uk >> Subject: Re: [polyml] Printing arbitrary objects >> >> On 16/11/11 17:59, Dave Thayer wrote: >>> I have searched the online docs (which are extraordinarily skimpy) >>> for how I can print the structure of some arbitrary object and can >>> find no info. Can anyone help please. >> >> Does this one help? >> http://www.polyml.org/docs/PrettyPrint.html >> >> Phil >> >> >> > > > >

1 0

Printing arbitrary objects
by dathayer＠microsoft.com 16 Nov '11

16 Nov '11

I have searched the online docs (which are extraordinarily skimpy) for how I can print the structure of some arbitrary object and can find no info. Can anyone help please. David

3 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 November 2011