<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 12 May 2020 at 17:30, Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">From your list of examples I deduce that the proposal is about programming <br>
errors. But we have HasCallStack for that one. How does the proposal <br>
improve or alter the HasCallStack solution? And how does it relate to the <br>
IO exception system with hierarchical exceptions and SomeException and so <br>
on?<br></blockquote><div><br></div><div><div>As a parallel item, maybe it would be good if incomplete patterns could have a HasCallStack constraint so the current "Non-exaustive patterns in function foo" message could be extended with a helpful backtrace? If a programmer doesn't want this, then they could use complete matches?</div><div dir="ltr"></div></div></div></div>