search

jonnyboyC / kos-language-server

A language server for the Kerboscript (kOS) a language for Kerbal Space Program
MIT License
25 stars 6 forks source link

[BUG] Structure not truly any type #120

Closed jonnyboyC closed 4 years ago

jonnyboyC commented 4 years ago

Describe the bug There are currently several exceptions to structure being the base or any type in the current type checker. This leads to a lot of diagnostics that have little do with a program being wrong and more to do with the current type checker limitations.

To Reproduce

function example {
  parameter a.
  a:split(","). // <- warns split is not on structure
}

The user cannot directly construct a structure and is essentially produced by function boundaries, built in functions that can return anything or other bugs in the type checker.