LuaLS / LuaLS/lua-language-server

Type warning when calling os.time with a table

Offen
#2,475 7 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

feat/type check
Vorherrschende Sprache
Lua
Sterne
4.4k
Forks
442
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

### 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?

Type Checking

### Expected Behaviour

No warning

### Actual Behaviour

The following warning is appearing:

Cannot assign `string|osdate` to parameter `osdateparam?`.
- `string` cannot match `osdateparam?`
- Type `string` cannot match `nil`
- Type `string` cannot match `osdateparam`

### Reproduction steps

1. Enter the following code
```
local tDate = os.date("*t", os.time())
-- tDate is a table, e.g. {year=2024, month=1, day=10, hour=13, min=2, sec=24, yday=10, wday=4, isdst=false}
local newTime = os.time(tDate)
```
2. Linter warning appears in the _problems_ tab

### Additional Notes

_No response_

### Log File

_No response_

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Reproduziere die Warnung in der Visual Studio Code-Erweiterung mit dem Lua-Snippet aus dem Issue und konzentriere dich auf die Aufrufe os.date und os.time. Verfolge die für os.time verwendeten Typinformationen und überprüfe, dass die Übergabe der von os.date("*t", os.time()) zurückgegebenen Tabelle ohne eine Warnung der Typprüfung akzeptiert wird.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
lua
Bereich
devtools
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
45/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.