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 <[email protected]> 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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
