Move initialization into doInitialize and report progress
#63
Annotations
2 warnings
|
src/Curry/LanguageServer/Index/Store.hs#L277
The record update def
|
|
src/Curry/LanguageServer/Handlers/Initialize.hs#L20
Defined but not used: `updater'
|
This job succeeded
Loading