<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<br />Sergey, thanks for the suggestion. I've just started to implement something very similar today. Your version seems to be better and more complete.<br /><br /><br />4. Apr 2016 21:15 by <a target="_blank" href="mailto:grrwlf@gmail.com">grrwlf@gmail.com</a>:<br /><br /><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;">Hi! Without pretending to answer your question completely, could you<br />please take a look at <a target="_blank" href="https://github.com/grwlf/urweb-monad-pack">https://github.com/grwlf/urweb-monad-pack</a><br />(error.ur) ?<br /><br />Regards,<br />Sergey<br /><br />2016-04-04 5:24 GMT+03:00 <<a target="_blank" href="mailto:foldr@tutanota.com">foldr@tutanota.com</a>>:<blockquote>Hi all,<br /><br />How do I handle application errors in Ur? Is there a preferred method which<br />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 target="_blank" href="http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html">http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html</a><br /><br />_______________________________________________<br />Ur mailing list<br /><a target="_blank" href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br /><a target="_blank" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br /></blockquote><br />_______________________________________________<br />Ur mailing list<br /><a target="_blank" href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br /><a target="_blank" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a></blockquote> </body>
</html>