diff options
Diffstat (limited to 'script-beta/core/diagnostics/undefined-doc-name.lua')
| -rw-r--r-- | script-beta/core/diagnostics/undefined-doc-name.lua | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/script-beta/core/diagnostics/undefined-doc-name.lua b/script-beta/core/diagnostics/undefined-doc-name.lua index 8e832a2d..ba5e0a69 100644 --- a/script-beta/core/diagnostics/undefined-doc-name.lua +++ b/script-beta/core/diagnostics/undefined-doc-name.lua @@ -4,23 +4,6 @@ local lang = require 'language' local define = require 'proto.define' local vm = require 'vm' --- TODO -local builtin = { - ['any'] = true, - ['nil'] = true, - ['void'] = true, - ['boolean'] = true, - ['number'] = true, - ['integer'] = true, - ['thread'] = true, - ['table'] = true, - ['file'] = true, - ['string'] = true, - ['userdata'] = true, - ['lightuserdata'] = true, - ['function'] = true, -} - return function (uri, callback) local state = files.getAst(uri) if not state then @@ -41,9 +24,6 @@ return function (uri, callback) return end local name = source[1] - if builtin[name] then - return - end if cache[name] == nil then cache[name] = false local docs = vm.getDocTypes(name) |