<Ulrar>
dumb question maybe, but can I use "try ... with | _ -> .." to catch all exceptions ? I've been trying prevent the cohttp client to kill my unikernel if the remote server is down
<Ulrar>
seems to be completely ignoring my exception catching
argent_smith has joined #mirage
rektide_ has joined #mirage
lix has joined #mirage
seliopou_ has joined #mirage
sigjuice_ has joined #mirage
Guest55519 has quit [*.net *.split]
sigjuice has quit [*.net *.split]
rektide has quit [*.net *.split]
seliopou has quit [*.net *.split]
<Drup>
Ulrar: yes, you can, but if you are trying to catch exceptions raised by Lwt threads, you need to use Lwt.catch (or try%lwt with the ppx)
<Ulrar>
Ah ! That must be it
<Ulrar>
Thanks, I'll add that
Haudegen has quit [Remote host closed the connection]
aggelos_ has quit [Ping timeout: 256 seconds]
aggelos_ has joined #mirage
Haudegen has joined #mirage
mort___ has joined #mirage
<Ulrar>
So how do I add this ppx to the build ?
<Ulrar>
mirage configure doesn't seem to have any options to add that to the makefile as far as I can tell
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
mort___ has joined #mirage
Guest71929 has joined #mirage
mort___ has quit [Quit: Leaving.]
Guest71929 is now known as Haudegen
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
<hannes>
Ulrar: you can pass it via the named ~packages argument to foreign (as done in mirage-skeleton/tutorial/hello) in config.ml, and describe it as build time dependency (see https://docs.mirage.io/functoria/Functoria/index.html#pkg and esp. the val package)
argent_smith has quit [Ping timeout: 265 seconds]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
argent_smith has joined #mirage
argent_smith has quit [Client Quit]
Haudegen has quit [Read error: Connection reset by peer]