Вы можете подключить выход, используя Sys_js.set_channel_flusher stdout f
, где f
- это функция, которую вы должны определить, которая берет строку для печати и добавляет ее где-то в вашей DOM.
Если вы посмотрите на пример Toplevel, распространяемый с Js_of_ocaml, это то, что они делают. Форматтер подключен к фиктивной /dev/null
, и они устанавливают «очиститель канала», который добавляет текст к «выходному» div, инкапсулированному div, класс которого stdout
, очиститель канала stderr делает то же самое, но с классом stderr
, позволяя печатать stderr красным цветом.