Poly/ML May 2012

polyml@lists.polyml.org

4 participants
6 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

Lifespan of pointers to callback functions passed via C FFI
by phil.clayton＠lineone.net 13 Aug '12

13 Aug '12

I have been assuming that the pointer back to an ML function passed to a foreign C function will still be valid after the C function has returned, so the callback can occur sometime later (from a different C function). Is that a valid assumption? I made this assumption based on some tests in which one such callback pointer remained valid for the life of the application. It would be nice to know I wasn't just being (un)lucky! Phil

2 5

Accessing a representation of types
by schaffro＠in.tum.de 20 May '12

20 May '12

Hello, I am currently working on integrating the QCheck/SML automatic unit testing library with the theorem prover Isabelle at TU M?nchen and automating the construction of random value generators. It would be very helpful to know if there is an internal representation of value and function types that can be accessed in some way other than parsing the string returned upon creation. Thank you for any helpful information, Nicolai

2 1

assertion failed in r1520
by ramana.kumar＠gmail.com 07 May '12

07 May '12

I keep running into this kind of problem in svn revision 1520. > hol.builder: gc_mark_phase.cpp:433: virtual void MTGCProcessMarkPointers::ScanAddressesInObject(PolyObject*, POLYUNSIGNED): Assertion `gMem.SpaceForAddress(wordAt.AsCodePtr()) != 0' failed. Aborted I'm guessing it's a known problem in unstable, but if not I'd be happy to provide more information as necessary. If it is known, is it likely to be fixed in svn soon? Thanks, Ramana

2 1

gcbench in SML
by Jeremy.Singer＠glasgow.ac.uk 06 May '12

06 May '12

Hi David, I am trying to create something like Hans Boehm's GC benchmark - http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html in SML. My current attempt is at: http://pastebin.com/2RW9jpCJ Sorry - I forgot all my ML years ago. Here are some things I'm not sure how to do nicely in Poly/ML: * printf without lots of String.concat * is there a runtime API call to get the totalMem (current heap size?) and the free mem (currently unused blocks in heap?) * Are all my ephemeral objects being created properly, or is the compiler optimizing away their allocation? How could I tell? * So far, I have been checking gc activity with --debug gc flag. Are there any more powerful tools for GC profiling/checking? Thanks, Jeremy The University of Glasgow, charity number SC004401

5 4

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 2012