Skip to content

Commit 66de37c

Browse files
committed
cleanup
1 parent a988a48 commit 66de37c

File tree

4 files changed

+0
-51
lines changed

4 files changed

+0
-51
lines changed

script/core/completion/completion.lua

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -186,9 +186,6 @@ local function buildFunctionSnip(source, value, oop)
186186
end
187187

188188
local function buildDetail(source)
189-
if source.type == 'dummy' then
190-
return
191-
end
192189
local types = infer.getInfer(source):view()
193190
local literals = infer.getInfer(source):viewLiterals()
194191
if literals then
@@ -228,9 +225,6 @@ end
228225

229226
---@async
230227
local function buildDesc(source)
231-
if source.type == 'dummy' then
232-
return
233-
end
234228
local desc = markdown()
235229
local hover = getHover.get(source)
236230
desc:add('md', hover)

script/parser/guide.lua

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1027,8 +1027,6 @@ function m.getKeyType(obj)
10271027
return type(obj.field[1])
10281028
elseif tp == 'doc.type.field' then
10291029
return type(obj.name[1])
1030-
elseif tp == 'dummy' then
1031-
return 'string'
10321030
end
10331031
if tp == 'doc.field.name' then
10341032
return type(obj[1])

script/vm/local-manager.lua

Lines changed: 0 additions & 40 deletions
This file was deleted.

script/vm/manager.lua

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11

22
local files = require 'files'
33
local globalManager = require 'vm.global-manager'
4-
local localManager = require 'vm.local-manager'
54

65
---@alias vm.object parser.object | vm.global | vm.generic
76

@@ -17,15 +16,13 @@ end
1716
files.watch(function (ev, uri)
1817
if ev == 'update' then
1918
globalManager.dropUri(uri)
20-
localManager.dropUri(uri)
2119
local state = files.getState(uri)
2220
if state then
2321
globalManager.compileAst(state.ast)
2422
end
2523
end
2624
if ev == 'remove' then
2725
globalManager.dropUri(uri)
28-
localManager.dropUri(uri)
2926
end
3027
end)
3128

0 commit comments

Comments
 (0)