Hello. Why when executed file, exception is not printed? Is it OK?
cat foo.sml
exception Ex fun main () = ( print "Start\n"; raise Ex; print "The End\n" )
( cat foo.sml ; echo 'val _ = main ()' ) | poly
Poly/ML 5.6 Release Start Exception- Ex raised
polyc foo.sml && ./a.out
Start
Best, Nick.
The compiled code will not display uncaught exceptions but the execution stops.
- Gergely
On Wednesday, 15 June 2016, Kostirya <kostirya at gmail.com> wrote:
Hello. Why when executed file, exception is not printed? Is it OK?
cat foo.sml
exception Ex fun main () = ( print "Start\n"; raise Ex; print "The End\n" )
( cat foo.sml ; echo 'val _ = main ()' ) | poly
Poly/ML 5.6 Release Start Exception- Ex raised
polyc foo.sml && ./a.out
Start
Best, Nick.
Kostriya,
Gergely?s answer is right. When you build a stand-alone executable, your ML code has to do all the input and output. If you want to report exceptions you need to handle them and take appropriate action. E.g.,
fun main () = ( print "Start\n"; raise Ex; print "The End\n" ) handle exc => ( print ("function main raised an exception: " ^ exnMessage exc ^ "\n" ) );
Regards,
Rob.
On 15 Jun 2016, at 18:33, Gergely Buday <gbuday at gmail.com> wrote:
The compiled code will not display uncaught exceptions but the execution stops.
- Gergely
On Wednesday, 15 June 2016, Kostirya <kostirya at gmail.com <mailto:kostirya at gmail.com>> wrote: Hello. Why when executed file, exception is not printed? Is it OK?
cat foo.sml
exception Ex fun main () = ( print "Start\n"; raise Ex; print "The End\n" )
( cat foo.sml ; echo 'val _ = main ()' ) | poly
Poly/ML 5.6 Release Start Exception- Ex raised
polyc foo.sml && ./a.out
Start
Best, Nick. _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Thank you!
2016-06-15 22:23 GMT+03:00 Rob Arthan <rda at lemma-one.com>:
Kostriya,
Gergely?s answer is right. When you build a stand-alone executable, your ML code has to do all the input and output. If you want to report exceptions you need to handle them and take appropriate action. E.g.,
fun main () = ( print "Start\n"; raise Ex; print "The End\n" ) handle exc => ( print ("function main raised an exception: " ^ exnMessage exc ^ "\n" ) );
Regards,
Rob.
On 15 Jun 2016, at 18:33, Gergely Buday <gbuday at gmail.com> wrote:
The compiled code will not display uncaught exceptions but the execution stops.
- Gergely
On Wednesday, 15 June 2016, Kostirya <kostirya at gmail.com> wrote:
Hello. Why when executed file, exception is not printed? Is it OK?
cat foo.sml
exception Ex fun main () = ( print "Start\n"; raise Ex; print "The End\n" )
( cat foo.sml ; echo 'val _ = main ()' ) | poly
Poly/ML 5.6 Release Start Exception- Ex raised
polyc foo.sml && ./a.out
Start
Best, Nick.
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
There is a question here about how exceptions should be handled generally. At the moment if a thread raises an exception that is not caught it is silently terminated. If there is only one thread, as in this case, that causes the whole application to terminate. There is perhaps a case for saying that if a thread has an uncaught exception there should be some sort of error message. I just don't know how to do that consistently.
David
On 15/06/2016 18:33, Gergely Buday wrote:
The compiled code will not display uncaught exceptions but the execution stops.
- Gergely
On Wednesday, 15 June 2016, Kostirya <kostirya at gmail.com> wrote:
Hello. Why when executed file, exception is not printed? Is it OK?
cat foo.sml
exception Ex fun main () = ( print "Start\n"; raise Ex; print "The End\n" )
( cat foo.sml ; echo 'val _ = main ()' ) | poly
Poly/ML 5.6 Release Start Exception- Ex raised
polyc foo.sml && ./a.out
Start
Best, Nick.
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
gbuday＠gmail.com -
kostirya＠gmail.com -
rda＠lemma-one.com