Poly/ML January 2012

polyml@lists.polyml.org

6 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

Add --error-exit option
by fw＠deneb.enyo.de 02 Feb '12

02 Feb '12

The patch below adds an --error-exit option and uses it in the makefile. This avoids replacing the compiler with something that doesn't work at all due to compilation errors. diff --git a/Makefile.am b/Makefile.am index af5853d..51372ad 100644 --- a/Makefile.am +++ b/Makefile.am @@ -104,7 +104,7 @@ polytemp.txt: $(POLYIMPORT) # This builds the compiler but does not update the files in the imports directory. # It then builds a version of poly containing the new compiler. compiler: all - ./poly $(BOOTSTRAP_OPTIONS) < mlsource/BuildExport.sml + ./poly $(BOOTSTRAP_OPTIONS) --error-exit < mlsource/BuildExport.sml $(MAKE) reboot: compiler diff --git a/basis/FinalPolyML.sml b/basis/FinalPolyML.sml index 0480aba..651f573 100644 --- a/basis/FinalPolyML.sml +++ b/basis/FinalPolyML.sml @@ -250,6 +250,8 @@ local if ! useMarkupInOutput then prettyPrintWithIDEMarkup(stream, lineWidth) else PolyML.prettyPrint(stream, lineWidth) + val exitOnError = ref false + (* Top-level prompts. *) val prompt1 = ref "> " and prompt2 = ref "# "; @@ -706,7 +708,10 @@ local fun handledLoop () : unit = ( (* Process a single top-level command. *) - readEvalPrint() handle _ => (); + readEvalPrint() handle _ => + if !exitOnError + then OS.Process.exit OS.Process.failure + else (); (* Exit if we've seen end-of-file or we're in the debugger and we've run "continue". *) if !endOfFile orelse exitLoop() then () @@ -873,6 +878,7 @@ local (* Generate mark-up in IDE code when printing if the option has been given on the command line. *) useMarkupInOutput := List.exists(fn s => s = "--with-markup") (CommandLine.arguments()); + exitOnError := List.exists(fn s => s = "--error-exit") (CommandLine.arguments()); topLevel false (globalNameSpace, fn _ => false) ) end diff --git a/basis/TopLevelPolyML.sml b/basis/TopLevelPolyML.sml index 405d5ae..0a18243 100644 --- a/basis/TopLevelPolyML.sml +++ b/basis/TopLevelPolyML.sml @@ -1121,6 +1121,7 @@ in print "--help Print this message and exit\n"; print "-q Suppress the start-up message\n"; print "--use FILE Executes 'use \"FILE\";' before the ML shell starts\n"; + print "--error-exit Exit shell on unhandled exception\n"; print "--with-markup Include extra mark-up information when printing\n"; print "--ideprotocol Run the IDE communications protocol\n"; print "\nRun time system arguments:\n";

3 2

Exception- Empty unexpectedly raised while compiling
by itz＠buug.org 29 Jan '12

29 Jan '12

Getting this one. WTH? Code is here: git@github.com:nobrowser/easylib.git just do 'use "load-all";' from the top level directory ... PolyML 5.4.1 (release), Linux i386 (32-bit), 2G RAM. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Rule 420: All persons more than eight miles high to leave the court.

2 4

Exceptions and standalone executables
by itz＠buug.org 06 Jan '12

06 Jan '12

[17]matica:~$ poly Poly/ML 5.4.1 Release > fun main () = raise Domain ; val main = fn: unit -> 'a > PolyML.export ("foo", main); val it = (): unit [19]matica:~$ cc -o foo foo.o -lpolymain -lpolyml [20]matica:~$ ./foo [21]matica:~$ echo $? 0 I find this quite surprising, am I the only one? I know that I can easily work around it by including an exception catching wrapper in main, but it seems to me that wrapper should be in libpolymain .. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Rule 420: All persons more than eight miles high to leave the court.

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