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 [email protected]:
> 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 <> [email protected]> >:
>> 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
>>
>
> _______________________________________________
> Ur mailing list
> [email protected]
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
