[Ur] Error handling in Ur

[Adam Chlipala]

The idiomatic approach is just to call the [error] function to end 
execution, with an error message.

On 04/03/2016 10:24 PM, foldr at tutanota.com wrote:
> Hi all,
>
> 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?
>
> I am looking for maybe something similar to the below:
> http://sylvain-henry.info/home/posts/2016-03-18-first-experiments-with-dependent-types.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160404/367672a3/attachment.html>