The idiomatic approach is just to call the [error] function to end
execution, with an error message.
On 04/03/2016 10:24 PM, [email protected] 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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
