lambda-term

lambda-term copied to clipboard

`git grep -i uucp f6b1940863e94d437a0578e19076a342bc9b5a70` shows the usage of `uucp` in the code, and `uucp` is also listed in the `dune` file. But `uucp` is missing as direct dependency in...

olafhering

Add `LTerm.flush term` when `lTerm_read_line` accepts user inputs (press Enter).

1

I am working on my repl based on [examples/repl.ml](https://github.com/ocaml-community/lambda-term/blob/d68d2fd21554b16b6968b943566a21f62614f072/examples/repl.ml#L22). A common scenario is e.g. `Interpreter.eval` prints something to the stdout. ```ocaml module Interpreter = struct type state = { n...

arbipher

I make an example for `LTerm_read_line.read_keyword` modified from `read_password.ml`.

arbipher

failed to lock file

4

OS Microsoft Windows 10 Familly Version 10.0.17134 Number 17134 Node.js 10.15.3 (x64) and npm esy 0.5.8 Welcome to utop version 2.4.0 (using OCaml version 4.08.0)! step to reporduce: - Open...

Et7f3

Configuration file only read if it has a leading dot (.lambda-term-inputrc)

2

I'm running utop 2.7.0 on ocaml 4.11.1 on MacOS X. I notice that my custom keybindings for lambda-term are not picked up unless I name the file `~/.config/.lambda-term-inputrc`, whereas the...

mvanier

run_modal as an optional argument which allow to load the resource file. This is blocking if the application need to manage the resources by itself. The argument should be an...

Chimrod

In the following example : ```ocaml open Lwt open LTerm_widget let main () = let waiter, wakener = wait () in let selected = ref 1 in let vbox =...

Chimrod

Help message in the completion bar, for auto-discoverable bindings

2

Having #utop_help;; is great, but the best help is a feature that user can discover during their normal interaction with the tool. (utop is already strong on this point thanks...

gasche

Backspace in raw mode

3

Hello, I am playing with lambda-term(thanks) : version: 1.12.0 . I have created a test program, I have a problem with the Backspace keyboard in raw mode: it appears it...

Piervit

For better color management - see https://gist.github.com/XVilka/8346728

XVilka