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