From 7a8ffbba2af9e16225f757c7915c268125acd1e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9C=80=E8=90=8C=E5=B0=8F=E6=B1=90?= Date: Thu, 13 Jan 2022 18:18:09 +0800 Subject: fix #876 --- script/core/hover/table.lua | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'script/core') diff --git a/script/core/hover/table.lua b/script/core/hover/table.lua index bd2f81ad..1310005f 100644 --- a/script/core/hover/table.lua +++ b/script/core/hover/table.lua @@ -122,12 +122,24 @@ local function getOptionalMap(fields) if field.type == 'doc.field.name' then if field.parent.optional then local key = vm.getKeyName(field) + local tp = vm.getKeyType(field) + if tp == 'number' or tp == 'integer' then + key = tonumber(key) + elseif tp == 'boolean' then + key = key == 'true' + end optionals[key] = true end end if field.type == 'doc.type.field' then if field.optional then local key = vm.getKeyName(field) + local tp = vm.getKeyType(field) + if tp == 'number' or tp == 'integer' then + key = tonumber(key) + elseif tp == 'boolean' then + key = key == 'true' + end optionals[key] = true end end -- cgit debian/1.2.3+git2.25.1-1-2-gaceb0