Skip to content

[lsp] aliased type names

Loïc Correnson requested to merge feature/lsp/short-type-names into master

Shortens identifier names in hovers and clones description.

Uses a reversed namespace to find the shortest prefix of an identifier's path to avoid any ambiguities. The considered scope is the set of all used theories in a given file.

Merge request reports