Poly/ML November 2010

polyml@lists.polyml.org

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

redirecting stdout elsewhere
by ldixon＠inf.ed.ac.uk 20 Nov '10

20 Nov '10

Hi, I was recently wondering if it is possible to redirect std-out to go to a different output stream in ML. Has anyone done anything similar? I was having trouble seeing how to do this with the Standard-ML basis... any suggestions on directions to look at? I can see how to effectively to it by hacking the compiler... but was wondering if there is a better way... (surely!?) ? cheers, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

4 5

Strange error message on declaration of datatypes
by florian.haftmann＠informatik.tu-muenchen.de 12 Nov '10

12 Nov '10

Hi, the two datatype declarations in sequence datatype 'a T = T of ('a * 'a T) list; datatype 'a S = S of 'a T; give a strange error message haftmann@macbroy15:/home/nfs_data$ /opt/polyml/polyml-5.3.0/x86-linux/polyml Poly/ML 5.3 Release > datatype 'a T = T of ('a * 'a T) list; datatype 'a S = S of 'a T; datatype 'a T = T of ('a * 'a T) list > Exception- InternalError: changeL: Unknown code raised while compiling Exception- InternalError: changeL: Unknown code raised while compiling Apparently I'm using polyml 5.3.0 un x86-linux. Thanks for any hints, Florian -- Home: http://www.in.tum.de/~haftmann PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_info…

1 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 November 2010