<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix"><br>
Catchable/soft assertion failures would be useful if we rewrote
the test suite in Swift. Maybe we should do that anyway. <br>
<br>
On 3/27/2015 9:39 AM, Tim Armstrong wrote:<br>
</div>
<blockquote
cite="mid:CAC0jiV4-mVJc=J6cxkad=KW9meT0kbiVGkdwMWdLkL_jBbLPsA@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=ISO-8859-1">
<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 moz-do-not-send="true"
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
moz-do-not-send="true"
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 moz-do-not-send="true"
href="mailto:Swift-devel@ci.uchicago.edu"
target="_blank">Swift-devel@ci.uchicago.edu</a><br>
<a moz-do-not-send="true"
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 moz-do-not-send="true" href="mailto:Swift-devel@ci.uchicago.edu" target="_blank">Swift-devel@ci.uchicago.edu</a>
<a moz-do-not-send="true" 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 moz-do-not-send="true"
href="mailto:Swift-devel@ci.uchicago.edu">Swift-devel@ci.uchicago.edu</a><br>
<a moz-do-not-send="true"
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 class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Swift-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Swift-devel@ci.uchicago.edu">Swift-devel@ci.uchicago.edu</a>
<a class="moz-txt-link-freetext" href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a>
</pre>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
Justin M Wozniak
</pre>
</body>
</html>