search

teal-language / tl

The compiler for Teal, a typed dialect of Lua
MIT License
2.11k stars 109 forks source link

Some nested record type check failed #531

Closed virusdefender closed 2 years ago

virusdefender commented 2 years ago 
local record mjConfig
    record assigned
        hostName: string
    end
end

local record project_root
    mjConfig: mjConfig
end

local mj_schema: project_root={
    mjConfig = {
        assigned = {
            hostName=""
        }
    }
}
in record field: assigned: got record (hostName: string ""), expected type record (hostName: string)
virusdefender commented 2 years ago 
local record mjConfig
    record assigned_t
        hostName: string
    end
    assigned: mjConfig.assigned_t
end