[Ur] Error handling in Ur

[Sergey Mironov]

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
>