Utop 1.19
See full changelog
- allow to configure the external editor with
UTop.set_external_editor - add
UTop.set_margin_functionto allow users to set the margin for the toplevel outcome. It is 80 by default - better for quoted strings (
{|...|}) - add a
#pwddirective - experimental support for running utop in the middle of a program
with
UTop_main.interact - fix Async integration (automatic waiting of
_ Deferred.tvalue). The new version is more robust against future change in Async - fix use of the non-existing
replace-in-stringfunction in the emacs mode (Syohei Yoshida) - fallback to Latin-1 for invalid UTF-8 sequences in the compiler output