<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body 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<br>
    <br>
    <br>
    <div class="moz-cite-prefix">On 3/25/15 10:24 PM, Tim Armstrong
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAC0jiV4oOev9VFgdL5DKTEHV8azcc2ryGYdD320DHDQDJ85LjQ@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
      <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">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 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>
    <pre class="moz-signature" cols="72">-- 
Michael Wilde
Mathematics and Computer Science          Computation Institute
Argonne National Laboratory               The University of Chicago
</pre>
  </body>
</html>