Nicolas Berthier

Results 16 issues of Nicolas Berthier

At the moment there does not seem to be a way to pass options to `menhir`. As a use case, here's what I'd need in the `dune` file of a...

In version `4.6-414` the `MenhirLib` module that is bound in most `Merlin_*` modules is the one of `Ocaml_preprocess`. Is this actually intended? This could prevent reusing some parts of `Merlin_*`...

Generated `version.mlt` files now supply `git` with the source path `$DUNE_SOURCEROOT`. The behavior is unchanged if the latter environment variable is not defined.

After several iterations of package manipulations ion a project, one may end up with extraneous/out-dated `opam/*.opam` files. These files are considered by `opam pin .` for instance. It might therefore...

The only other problems concerning world cities are the `>>D` compiler directive and the order of the paragraphs in the environment division (worldcities uses `repository` before `special-names` which is not...

Although quite possible with the current LSP server implementation, colorization of copybooks using semantic tokens is a luxury that we dont really need at the moment. So I think we...

lsp-server
luxury

As GnuCOBOL can handle missing divisions "in general" (for the relaxed syntax checks) I _guess_ that this is the same for the LSP. In this case many copybooks should pass,...

bug
lsp-server

The idea would be to start using the CLI tools mentioned [here](https://code.visualstudio.com/api/working-with-extensions/testing-extension) to test the extension's user-level behavior. > I think testing should be moved to a new issue, as...

enhancement
help wanted
vscode

Performance issues with the Javascript+effects version seem to be too hard to deal with at the moment. Another way towards a "pure" web extension could be to compile the LSP...

enhancement
help wanted

This change avoids creating a `_superbol` folder in each project's root directory. A storage space provided by the client is used instead. For now, the "global" storage space provided by...

enhancement