诊断先忽略掉内置的类型

1 files changed, 16 insertions, 0 deletions

diff --git a/script-beta/core/diagnostics/undefined-doc-name.lua b/script-beta/core/diagnostics/undefined-doc-name.lua
index ba5e0a69..454d6c65 100644
--- a/script-beta/core/diagnostics/undefined-doc-name.lua
+++ b/script-beta/core/diagnostics/undefined-doc-name.lua
@@ -4,6 +4,19 @@ local lang    = require 'language'
 local define  = require 'proto.define'
 local vm      = require 'vm'
 
+local builtin = {
+    ['any']      = true,
+    ['nil']      = true,
+    ['boolean']  = true,
+    ['number']   = true,
+    ['integer']  = true,
+    ['thread']   = true,
+    ['table']    = true,
+    ['file']     = true,
+    ['string']   = true,
+    ['function'] = true,
+}
+
 return function (uri, callback)
     local state = files.getAst(uri)
     if not state then
@@ -24,6 +37,9 @@ 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)