diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-04-26 16:32:05 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-04-26 16:32:05 +0800 |
| commit | a7a37c564f0b584b993eaec4c3dd164abdbd543f (patch) | |
| tree | f39176779926cfc7d259f17c7c5997fe5ec70aa8 /script/vm/manager.lua | |
| parent | 08135e067336d2767029c4a7b907e5df0a0d942b (diff) | |
| download | lua-language-server-a7a37c564f0b584b993eaec4c3dd164abdbd543f.zip | |
cleanup
Diffstat (limited to 'script/vm/manager.lua')
| -rw-r--r-- | script/vm/manager.lua | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/script/vm/manager.lua b/script/vm/manager.lua deleted file mode 100644 index c75b777f..00000000 --- a/script/vm/manager.lua +++ /dev/null @@ -1,29 +0,0 @@ - -local files = require 'files' -local globalManager = require 'vm.global-manager' - ----@alias vm.object parser.object | vm.global | vm.generic - ----@class vm.state -local m = {} -for uri in files.eachFile() do - local state = files.getState(uri) - if state then - globalManager.compileAst(state.ast) - end -end - -files.watch(function (ev, uri) - if ev == 'update' then - globalManager.dropUri(uri) - local state = files.getState(uri) - if state then - globalManager.compileAst(state.ast) - end - end - if ev == 'remove' then - globalManager.dropUri(uri) - end -end) - -return m |