<div dir="ltr"><div>I don't think it makes sense to treat it as a soft error. <br><br>The primary use case for assertions is the Swift/T test suite and there's no reason to continue running after an assertion failure.<br><br>If a user wants to use them in their own scripts, they're intended to catch bugs or unintended behaviour. If an assertion fails, the script is not doing what it's meant to be doing. I don't see any reason to keep on running a buggy script that failed an assertion, and I see plenty of reasons not to keep it running.<br><br></div><div>If users want to disable their assertions there is support for that.<br><br></div><div>- Tim<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 27 March 2015 at 09:20, Michael Wilde <span dir="ltr"><<a href="mailto:wilde@anl.gov" target="_blank">wilde@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
Does "terminate immediately" need to always be immediate or
should/could it integrate with the Swift/K notion of "soft errors"?<br>
<br>
I.e. an assert failure is treated like a failing function; that in
turn as handled as the soft-error property specifies.<br>
- Mike<div><div class="h5"><br>
<br>
<br>
<div>On 3/25/15 10:24 PM, Tim Armstrong
wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div>The program terminates immediately with an error message.<br>
<br>
There's a compile-time option to disable assertions if
needed. It's actually a little weird in that it syntactically
removes the statement - it doesn't evaluate the arguments to
the funciton.<br>
<br>
</div>
- Tim<br>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On 25 March 2015 at 22:09, Mihael
Hategan <span dir="ltr"><<a href="mailto:hategan@mcs.anl.gov" target="_blank">hategan@mcs.anl.gov</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
In Swift/T, what happens when an assertion fails?<br>
<br>
Mihael<br>
<br>
_______________________________________________<br>
Swift-devel mailing list<br>
<a href="mailto:Swift-devel@ci.uchicago.edu" target="_blank">Swift-devel@ci.uchicago.edu</a><br>
<a href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel" target="_blank">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a><br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset></fieldset>
<br>
<pre>_______________________________________________
Swift-devel mailing list
<a href="mailto:Swift-devel@ci.uchicago.edu" target="_blank">Swift-devel@ci.uchicago.edu</a>
<a href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel" target="_blank">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a>
</pre>
</blockquote>
<br>
</div></div><span class="HOEnZb"><font color="#888888"><pre cols="72">--
Michael Wilde
Mathematics and Computer Science Computation Institute
Argonne National Laboratory The University of Chicago
</pre>
</font></span></div>
<br>_______________________________________________<br>
Swift-devel mailing list<br>
<a href="mailto:Swift-devel@ci.uchicago.edu">Swift-devel@ci.uchicago.edu</a><br>
<a href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel" target="_blank">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a><br>
<br></blockquote></div><br></div>