rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Some LSP integration features #591

Closed Alasdair closed 1 week ago

Alasdair commented 1 week ago

These commits have been on a branch since earlier this year. This PR rebases them, so they can be merged into the main branch and avoid bitrot.

Here we change how Sail loads files. Instead of just reading them from disk whenever needed, files are read into memory and then 'handles' to those files are persistently stored. These handles are marked as either being Compiler owned or Editor owned, and various functions are provided that correspond to the file/edit lifecycle expected by the language server protocol.

github-actions[bot] commented 1 week ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   649 tests ±0    649 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 076 runs  ±0  2 075 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 7c62fbaf. ± Comparison against base commit 5de8f3b8.

:recycle: This comment has been updated with latest results.