The `set` pattern for `single range char` is not working in glob

[tomlau10]

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

I am testing the glob like pattern used in Lua.doc.<scope>Name, and the set pattern seems not working for single character.

• .luarc.jsonc

{
    "doc.privateName": [
        "_[aeiouA-Z]"   // underscore followed by any upper letter, or lower letters a|e|i|o|u
    ]
}

• test.lua

---@class A
local A = {}
A._A = 1
A._Z = 1
A._a = 1
A._e = 1
A._z = 1
A._AA = 1
A._aa = 1

---@type A
local t = {}
print(t._A)     -- warning
print(t._Z)     -- warning
print(t._a)     -- warning
print(t._e)     -- warning
print(t._z)     -- ok
print(t._AA)    -- ok
print(t._aa)    -- ok

Actual Behaviour

---@type A
local t = {}
print(t._A)     -- warning
print(t._Z)     -- warning
print(t._a)     -- ok (false negative)
print(t._e)     -- ok (false negative)
print(t._z)     -- ok
print(t._AA)    -- ok
print(t._aa)    -- ok

• the single range word aeiou is not working as expected

Reproduction steps

Use the provided snippet

Additional Notes

I know that the glob pattern syntax in defined using LPeg: https://github.com/LuaLS/lua-language-server/blob/ddc96bd1ec0be95a985ab82531763578bf7eb793/script/glob/glob.lua#L19-L46 I am not familiar with LPeg, but by adding a print(#range, range[1], range[2]) inside mt:range() here, those single range word seems don't even get parsed. 😕 https://github.com/LuaLS/lua-language-server/blob/ddc96bd1ec0be95a985ab82531763578bf7eb793/script/glob/matcher.lua#L99-L100

With a bit of testing, the RangeUnit definition seems should be changed from:

    ['RangeUnit']   = m.Ct(m.C(m.V'RangeWord') * m.P'-' * m.C(m.V'RangeWord'))
                    + m.V'RangeWord',

to =>

    ['RangeUnit']   = m.Ct(m.C(m.V'RangeWord') * m.P'-' * m.C(m.V'RangeWord'))
                    + m.Ct(m.C(m.V'RangeWord')),

Then the set logic for single range character starts to work 🎉 But I don't know why it works this way 🙈

---

Can anyone comment on my above suggested change? If this is correct, I am going to open a PR. 🙂

Log File

No response

[tomlau10]

More issues found 😕

{
    "doc.privateName": [
        "_*[a-zA-Z0-9]"     // prefix with at least 1 _, followed by anything, then end with a char
    ]
}

• this is expected to match _id / _id_1 / __id but no, it gives false negative

---@class A
local A = {}
A._a = 0
A._a1 = 0
A.__a = 0
A.__a1 = 0

---@type A
local t = {}
print(t._a)     -- warning
print(t._a1)    -- ok (false negative)
print(t.__a)    -- warning
print(t.__a1)   -- ok (false negative)

---

By testing the glob pattern here, all of the above should be matched: https://www.digitalocean.com/community/tools/glob?comments=true&glob=_%2A%5Ba-zA-Z0-9%5D&matches=false&tests=_a&tests=_a1&tests=__a&tests=__a1

[sumneko]

Perhaps I should go and find a third-party library.