Add compiler monad and custom index symbol representation - Githubissues

fwcd / curry-language-server

IDE support for the functional logic language Curry

BSD 3-Clause "New" or "Revised" License

27 stars 2 forks source link

Add compiler monad and custom index symbol representation #35

Closed fwcd closed 3 years ago

fwcd commented 3 years ago

This branch replaces the previously stored compiler environments with memory-efficient, Data.Text-based symbols. This drastically decreases memory usage (3 GB -> 1 GB in large-ish codebases like KiCS2) and allows for more consistent and flexible features, including

Completions for unimported symbols
Better definition lookup
...

Additionally, some new features are added, including

Parse-only compilations when one of the semantic checks errors
Snippet completions for functions and type constructors