François Bobot

I made in the past some experiment for automatic generation of completion function for zsh. That can give ideas or be a base of code: https://gist.github.com/bobot/9989037

For restarting the conversation: > How do we invoke the tool in completion mode ? environment variable ? Since one should take into account the --help command and not do...

My two cents, would be to version this output format. I hesitate if the version should be selected in the code or on the command line. The first version `1`...

Ah I see. If things are static, why do you prefer a structured format instead of an OCaml API? I though the `--cmdliner` argument would be kept for dynamic queries,...

> We might actually need two options, one for denoting the insertion point right after a printable char and one for after whitespace for later trying to complete option arguments...

Could we generate a random sequence of bytes in this case, the probability of non termination would be smaller.

You could open the int scope at the start of the proof. Perhaps we added or removed a scope opening in Coq generation in the last version. Does one of...

On one hand I completely agree it is ad-hoc, on the other hand the current state is very distracting. Since ocamlformat would still be idempotent with this, I think it...

`ocamlformat` doesn't have type information (no?), so how could we use type as predictor?

#703 is a new take on adding OCaml value in argument and result `ocaml_value: string -> 'a typ`. But it is more complicated than this one. However this one seems...