Rebase-fix

This commit is contained in:
Christoph M. Wintersteiger 2024-07-30 16:50:35 +01:00
parent f2e3c4b369
commit 845371e3a0
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3

View file

@ -14,7 +14,10 @@ module IO_eio :
let return x = x
let failwith = failwith
let fail = raise
let catch f handler = try f () with exn -> handler exn
let catch f handler = try f () with exn ->
let bt = Printexc.get_raw_backtrace () in
handler exn bt
let stdin env = Eio.Buf_read.of_flow ~max_size:1_000_000 (Eio.Stdenv.stdin env)
let stdout = Eio.Stdenv.stdout