diff options
Diffstat (limited to 'script')
| -rw-r--r-- | script/vm/type.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/vm/type.lua b/script/vm/type.lua index 7eb1b06f..be411899 100644 --- a/script/vm/type.lua +++ b/script/vm/type.lua @@ -125,6 +125,10 @@ function vm.isSubType(uri, child, parent, mark) return true end + if parentName == 'number' and childName == 'integer' then + return true + end + if parentName == 'integer' and childName == 'number' then if config.get(uri, 'Lua.type.castNumberToInteger') then return true |