We need to redefine lwt_input with a Lwt channel and a string_input, but also to incorporate a lwt_base integer and a lwt_eos boolean in string_input, to correctly take into account several cases :
parse_rem_string
correct printing of input history (using lwt_base)
Ideally, the lwt dependencies should be in a separate library (to avoid the generic dependcy on Lwt).
We need to redefine lwt_input with a Lwt channel and a string_input, but also to incorporate a lwt_base integer and a lwt_eos boolean in string_input, to correctly take into account several cases :
Ideally, the lwt dependencies should be in a separate library (to avoid the generic dependcy on Lwt).