[Ur] Error handling in Ur

[foldr at tutanota.com]

Sergey, thanks for the suggestion. I've just started to implement something 
very similar today. Your version seems to be better and more complete.


4. Apr 2016 21:15 by grrwlf at gmail.com:


> Hi! Without pretending to answer your question completely, could you
> please take a look at > https://github.com/grwlf/urweb-monad-pack
> (error.ur) ?
>
> Regards,
> Sergey
>
> 2016-04-04 5:24 GMT+03:00  <> foldr at tutanota.com> >:
>> 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
>> Ur at impredicative.com
>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160404/e95a4a70/attachment.html>