the library 'vector' is undefined in the server. its a whole library in roblox yet its not in the server! but other than that the server is beautiful i shall thank you all for your efforts and the language server is amazing and working pretty fine!

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Libraries

Expected Behaviour

vector library

Actual Behaviour

unknown global 'vector'

Reproduction steps

1. Go to '...'
2. Click '...'
3. See error '..

.'

Additional Notes

Log File

No response

在 Linux 上的 Visual Studio Code 扩展中复现未知全局变量 'vector' 的诊断，然后检查语言服务器如何提供库定义。完成的标准是：Roblox 的 vector 库能够被识别且不再出现所报告的诊断，并且该行为由适当的测试覆盖。