<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
The idiomatic approach is just to call the [error] function to end
execution, with an error message.<br>
<br>
<div class="moz-cite-prefix">On 04/03/2016 10:24 PM,
<a class="moz-txt-link-abbreviated" href="mailto:foldr@tutanota.com">foldr@tutanota.com</a> wrote:<br>
</div>
<blockquote cite="mid:KEU4YnO--3-0@tutanota.com" type="cite">
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
<span style="background-color: rgba( 255 , 255 , 255 , 0 )">Hi
all,<br>
<br>
How do I handle application errors in Ur? Is there a preferred
method which allows to check whether all errors have their
handlers or not?<br>
<br>
I am looking for maybe something similar to the below:<br>
<a moz-do-not-send="true"
href="http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html"
target="_blank">http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html</a></span><br>
</blockquote>
</body>
</html>