<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>