userdata and symbol are not real types

[tapple]

$ ./luau/luau-analyze typetest.luau 
./typetest.luau(6,11): TypeError: Unknown type 'userdata'
./typetest.luau(7,11): TypeError: Unknown type 'symbol'
$ cat typetest.luau 

local _a: nil
local _b: string
local _c: number
local _d: boolean
local _e: thread
local _f: userdata
local _g: symbol
local _h: vector
local _i: buffer
local _j: unknown
local _k: never
local _l: any

[tapple]

"userdata" is a string that type() can return, but it isn't a type in the typechecker. The typechecker type is what's returned by typeof():

In secondlife luau:

> type(ZERO_ROTATION)
userdata
> typeof(ZERO_ROTATION)
quaternion

In Roblox studio:

  11:21:19.830  > print(type(Enum.Axis.X))  -  Studio
  11:21:19.839  userdata  -  Edit
  11:21:25.663  > print(typeof(Enum.Axis.X))  -  Studio
  11:21:25.672  EnumItem  -  Edit

I've no idea where symbol came from

[JohnnyMorganz]

I've no idea where symbol came from

The original source of these definitions is https://github.com/NightrainsRbx/RobloxLsp/blob/master/syntaxes/lua.tmLanguage.json, Roblox LSP might've had its own symbol type

[JohnnyMorganz]

Thanks