Re: [Caml-list] ocaml top-level line editing script

[Aaron Bohannon <bohannon@seas.upenn.edu>]

Being able to edit the input in vim is really nice.  Unfortunately,
rlwrap seems to erase the line breaks when it records the input in
it's history (zsh remembers them).

 - Aaron
i
On Wed, Jul 4, 2012 at 9:46 PM, Aaron Bohannon <bohannon@seas.upenn.edu> wrote:
> Ah.  Thanks for the tip.  I figured there must have been a more
> well-engineered way to do what I wanted to do....
>
>  - Aaron
>
> On Wed, Jul 4, 2012 at 1:56 PM, "Markus W. Weißmann"
> <markus.weissmann@in.tum.de> wrote:
>> rlwrap? [1] Its probably already available through your favorite package manger.
>>
>>
>> -Markus
>>
>> [1] http://utopia.knoware.nl/~hlub/uck/rlwrap/
>>
>> On 4 Jul 2012, at 19:06, Aaron Bohannon wrote:
>>
>>> Hi,
>>>
>>> One thing that is missing from the OCaml top level loop is line
>>> editing features.  I used to use a wrapper program called "ledit" that
>>> added readline support, but I never seem to have it installed on my
>>> machine when I need it, and moreover, I have started to get used to
>>> the more flexible line editing of zsh.
>>>
>>> After some poking around, I found that it's fairly straightforward to
>>> wrap any REPL with a zsh script and get zsh line editing capabilities,
>>> which includes multi-line support (e.g., so you can fix a typo you
>>> made three lines back).
>>>
>>> I'm attaching the script I hacked together, in case it is useful to
>>> anyone else.  It works great for me, but it was not written to be
>>> generic and robust, so YMMV.  You must use ctrl-D to exit cleanly -- I
>>> didn't bother adding support for "#quit".  I'm sure someone could make
>>> many improvements to it if they had more patience for zsh scripting
>>> than I do.
>>>
>>> - Aaron
>>>
>>> --
>>> Caml-list mailing list.  Subscription management and archives:
>>> https://sympa-roc.inria.fr/wws/info/caml-list
>>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>>
>>> <zcaml>
>>
>> --
>> Markus Weißmann, M.Sc.
>> Technische Universität München
>> Institut für Informatik
>> Boltzmannstr. 3
>> D-85748 Garching
>> Germany
>> http://wwwknoll.in.tum.de/
>>