Poly/ML March 2008

polyml@lists.polyml.org

6 participants
4 discussions

Controlling printing of exceptions.
by rda＠lemma-one.com 26 Mar '08

26 Mar '08

David, I've also sent this to the mailing list in case any other users have comments. If you write your own read-eval-print loop using PolyML.compiler, you may want to treat exceptions raised during the eval stage specially. However you can't currently stop Poly/ML printing out the exception. It seems appropriate to me to use negative values of the error depth control to do this. I get the effect I want with the following patch: --- mlsource/MLCompiler/COMPILER_BODY.ML- 2006-11-06 13:20:50.000000000 +0000 +++ mlsource/MLCompiler/COMPILER_BODY.ML 2008-02-12 13:22:56.000000000 +0000 @@ -641,14 +641,17 @@ val pstream = prettyPrint (77, lexPrint lex); in - ppBeginBlock pstream (3, false); - ppAddString pstream "Exception-"; - ppBreak pstream (1, 0); - VALUEOPS.printStruct (exceptionData, - TYPETREE.exnType, ! errorDepth, pstream, printEnv); - ppBreak pstream (1, 0); - ppAddString pstream "raised"; - ppEndBlock pstream (); + if ! errorDepth >= 0 + then ( + ppBeginBlock pstream (3, false); + ppAddString pstream "Exception- "; + ppBreak pstream (1, 0); + VALUEOPS.printStruct (exceptionData, + TYPETREE.exnType, ! errorDepth, pstream, printEnv); + ppBreak pstream (1, 0); + ppAddString pstream "raised"; + ppEndBlock pstream () + ) else (); (* print out timing info *) printTimes (parseTime,pass2Time,treeTime,codeTime,endRunTime) I note that the error depth also influences syntax-checking and type-checking error messages, but I can't see why anyone would want to suppress those. Regards, Rob.

3 7

[SPAM] Calling Poly/ML functions from C
by jstanley＠galois.com 12 Mar '08

12 Mar '08

Hi folks, I've seen the ForeignTest.{c,sml} example of passing callbacks to C functions using Poly/ML's C FFI (ie, via things like the FUNCTION2 conversion). Is there a way to do this without calling C from Poly/ML? Asked another way, is there a straightforward way to start the Poly/ML runtime from a C main() function, and then call Poly/ML functions (perhaps only those which have been registered via some kind of callback registration mechanism) from C? If it's possible, pointers to documentation and/or example code would be immensely appreciated. Thanks, Joel

2 1

builds on mingw + msys
by Michael.Norrish＠nicta.com.au 12 Mar '08

12 Mar '08

Does the latest version of Poly build on Windows if you have minw and msys to hand? Thanks, Michael.

2 3

Windows programming in Poly/ML
by kyleyuty＠gmail.com 05 Mar '08

05 Mar '08

Hello, everyone I'm a student from Ireland and I'm working on my final year project with Poly/ML recently. Here is a question: dlgProc(dial, WM_COMMAND{notifyCode =3D 0, wId=3D1 (* OK button *), ...}, (= )) =3D (* When the OK button is pressed we end the dialogue. *) let val _=3DEndDialog(dial, 1); val tempValue =3D "Hello"; in (LRESINT 0, ()) end I have made a dialog box and I want to define a variable "tempValue" assigned by value "Hello" when I close the dialog box. But the variable could not be defined after I closed the dialog box. Please help me out. Thank you very much. Regards, Yuting Zhong

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 March 2008