Merge branch 'master' into fix/help

Author: sumneko

changelog.md

@@ -2,7 +2,11 @@
 
 ## Unreleased
 <!-- Add all new changes here. They will be moved under a version at release -->
+* `CHG` when analyzing the literal table, only the first 100 items are analyzed at most
+* `CHG` when checking type matching for union types, only the first 100 items are checked at most
 * `FIX` Update `--help` message.
+* `FIX` --check now respects ignoreDir setting
+* `FIX` incorrect argument skip pattern for `--check_out_path=`, which incorrectly skips the next argument
 
 ## 3.13.7
 `2025-3-10`

script/cli/check_worker.lua

@@ -247,7 +247,7 @@ function export.runCLI()
         local max  = #uris
         table.sort(uris)    -- sort file list to ensure the work distribution order across multiple threads
         for i, uri in ipairs(uris) do
-            if (i % numThreads + 1) == threadId then
+            if (i % numThreads + 1) == threadId and not ws.isIgnored(uri)  then
                 files.open(uri)
                 diag.doDiagnostic(uri, true)
                 -- Print regularly but always print the last entry to ensure

script/vm/compiler.lua

@@ -178,7 +178,10 @@ local searchFieldSwitch = util.switch()
     : case 'table'
     : call(function (_suri, source, key, pushResult)
         local hasFiled = false
-        for _, field in ipairs(source) do
+        for i, field in ipairs(source) do
+            if i > 100 then
+                break
+            end
             if field.type == 'tablefield'
             or field.type == 'tableindex' then
                 local fieldKey = guide.getKeyName(field)

script/vm/type.lua

@@ -373,7 +373,12 @@ function vm.isSubType(uri, child, parent, mark, errs)
     elseif child.type == 'vm.node' then
         if config.get(uri, 'Lua.type.weakUnionCheck') then
             local hasKnownType = 0
+            local i = 0
             for n in child:eachObject() do
+                i = i + 1
+                if i > 100 then
+                    break
+                end
                 if vm.getNodeName(n) then
                     local res = vm.isSubType(uri, n, parent, mark, errs)
                     if res == true then
@@ -397,7 +402,12 @@ function vm.isSubType(uri, child, parent, mark, errs)
         else
             local weakNil = config.get(uri, 'Lua.type.weakNilCheck')
             local skipTable
+            local i = 0
             for n in child:eachObject() do
+                i = i + 1
+                if i > 100 then
+                    break
+                end
                 if skipTable == nil and n.type == "table" and parent.type == "vm.node" then -- skip table type check if child has class
                     ---@cast parent vm.node
                     for _, c in ipairs(child) do
@@ -462,7 +472,12 @@ function vm.isSubType(uri, child, parent, mark, errs)
         parent = global
     elseif parent.type == 'vm.node' then
         local hasKnownType = 0
+        local i = 0
         for n in parent:eachObject() do
+            i = i + 1
+            if i > 100 then
+                break
+            end
             if vm.getNodeName(n) then
                 local res = vm.isSubType(uri, child, n, mark, errs)
                 if res == true then