utop
utop copied to clipboard
utop crashes at terminal resize
Running utop -init <(echo '#use_output "dune ocaml top"')
inside the shell which is basically equivalent to dune utop
works as expected but as soon as I resize the terminal utop crashes with the error:
utop # Fatal error: exception Unix.Unix_error(Unix.EINTR, "select", "")
Tested on foot and alacritty terminal emulators. It seems like a similar issue to #58