Poly/ML June 2012

polyml@lists.polyml.org

3 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

CInterface causing poly to crash
by aleks0＠gmail.com 03 Jul '12

03 Jul '12

Any idea why calling symbols from certain shared libraries would cause poly/ML to crash on OS X? Example: > val gtk = load_lib "libgtk-quartz-2.0.dylib"; val gtk = ?: dylib > val gtk_init = call2 (load_sym gtk "gtk_init") (INT,INT) VOID; val gtk_init = fn: int * int -> unit > gtk_init(0,0); [1] 96630 killed rlwrap -z poly This (or rather, the equivalent) code works fine on linux, and "libgtk-quartz-2.0.dylib" will link with C code in OS X with no problems. It seems to only do this for some libraries. For instance, the "difference" example from the poly docs (http://www.polyml.org/docs/CInterface.html) also works fine on OS X.

3 9

rlwrap filter for Poly/ML
by aleks0＠gmail.com 01 Jun '12

01 Jun '12

Hi all, I've written a very basic rlwrap filter for using Poly/ML from the command line. Currently, it does tab-completion for globals and expands two macros that are useful for reading off info about signatures and structures: ?s FOO ====> signature SIG = FOO; ?S Foo ====> structure Str = Foo; It's available here: https://github.com/akissinger/sublime-polyml/blob/master/poly_filter.pl Obviously there are many ways this could be enhanced. If you have good ideas, let me know, or fork the repo yourself on github. Best, Aleks Kissinger

1 0

Poly/ML SVN: assertion failure when attempting to dump heap
by aleks0＠gmail.com 01 Jun '12

01 Jun '12

I'm attempting to build a large poly/ML program (Quantomatic) which makes use of many load/save states (incremental compiling via Lucas Dixon's PolyML.Project). Works fine in fixes-54, but in trunk I get this error: poly: statistics.cpp:241: void Statistics::decSize(int, size_t): Assertion `s <= statMemory->psSizes[which]' failed. Aborted (core dumped) Seems it only fails after compiling a large amount of code at once.

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 June 2012