Frédéric Blanqui comments

Results 259 comments of


                                            Frédéric Blanqui

Loading corrupted ".lpo"

[f.lp.txt](https://github.com/Deducteam/lambdapi/files/6514865/f.lp.txt) [fr.lp.txt](https://github.com/Deducteam/lambdapi/files/6514866/fr.lp.txt) [lambdapi.pkg.txt](https://github.com/Deducteam/lambdapi/files/6514867/lambdapi.pkg.txt)

Loading corrupted ".lpo"

Right, this is perhaps better to do a fatal like in sign.ml, line 272 in read.

Loading corrupted ".lpo"

The error is now `Uncaught exception: Not_found` on line 2.

[lsp server] column offsets don't follow LSP specification mandated UTF-16, creating problems in emacs client

It works well for me: emacs 26.1 eglot 1.6 ocaml 4.07.1

[lsp server] column offsets don't follow LSP specification mandated UTF-16, creating problems in emacs client

@gabrielhdt will the new parser (https://github.com/Deducteam/lambdapi/pull/441) able to handle utf16 characters?

The LSP server does not handle file names with non ASCII characters

@gabrielhdt do you think that this is related to the Emacs mode?

The LSP server does not handle file names with non ASCII characters

Thanks Gabriel. @ejgallego would it be difficult to fix this?

The LSP server does not handle file names with non ASCII characters

Yes, please. Thank you @rlepigre !

The LSP server does not handle file names with non ASCII characters

This problem seems to be solved now. Perhaps thanks to one of @firewall2142 's contributions.

Prefix priority which can supersede regular application

Thanks @yannl35133 to provide a use case.