<div dir="ltr"><div>I feel like that is getting away from what assertions are intended to be - the best thing about them is that they're dead simple and have a clear, well-defined use case. I don't think that should be compromised out of a desire to have them serve dual purposes.<br><br></div>- Tim<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 27 March 2015 at 12:28, Justin M Wozniak <span dir="ltr"><<a href="mailto:wozniak@mcs.anl.gov" target="_blank">wozniak@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">
<div bgcolor="#FFFFFF" text="#000000">
<div><br>
Catchable/soft assertion failures would be useful if we rewrote
the test suite in Swift. Maybe we should do that anyway. <br><div><div class="h5">
<br>
On 3/27/2015 9:39 AM, Tim Armstrong wrote:<br>
</div></div></div><div><div class="h5">
<blockquote type="cite">
<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><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><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" 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>
<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>
<br>
</div></div><span class="HOEnZb"><font color="#888888"><pre cols="72">--
Justin M Wozniak
</pre>
</font></span></div>
</blockquote></div><br></div>