utop icon indicating copy to clipboard operation
utop copied to clipboard

automatic margin on lines after prompt?

Open ducaale opened this issue 5 years ago • 1 comments

Is it possible for utop to insert spaces or a character in lines after the prompt? something like this:

> let add a b =
-
-
-  a + b
val add : int -> int -> int = <fun>

ducaale avatar Aug 09 '20 14:08 ducaale

there's a UTop.prompt_continue but it seems to be a stub(?)

hyphenrf avatar Sep 26 '20 20:09 hyphenrf