summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
author最萌小汐 <sumneko@hotmail.com>2022-04-24 22:22:53 +0800
committer最萌小汐 <sumneko@hotmail.com>2022-04-24 22:22:53 +0800
commit1d7773f05477ca3f637fa8afe05658868bf38a26 (patch)
treef5379edac4f7c4473e5f8b5eb2fec9a725ae3b9e /test
parent01a4bfa62d3583ade899e69a92c290ee57fb9251 (diff)
downloadlua-language-server-1d7773f05477ca3f637fa8afe05658868bf38a26.zip
cleanup
Diffstat (limited to 'test')
-rw-r--r--test/type_inference/init.lua87
1 files changed, 67 insertions, 20 deletions
diff --git a/test/type_inference/init.lua b/test/type_inference/init.lua
index 19f868f4..a6f18f65 100644
--- a/test/type_inference/init.lua
+++ b/test/type_inference/init.lua
@@ -1733,6 +1733,23 @@ if <?x?> then
print(x)
end
]]
+--[[
+context 0 integer?
+
+save copy 'block'
+save copy 'out'
+push 'block'
+get
+push copy
+truthy
+falsy ref 'out'
+get
+save HEAD 'final'
+push 'out'
+
+push copy HEAD
+merge 'final'
+]]
TEST 'integer' [[
---@type integer?
@@ -1742,18 +1759,6 @@ if x then
print(<?x?>)
end
]]
---[[
-#0 integer?
-save 1 #1 integer? --ifblock --block外的状态
-load 2 #2 integer? --ifblock --block中的初始状态
-object get #2 integer? --if x then
-truly 2 #2 integer --ifblock
-falsy 1 #1 ?
-object get #2 integer --print(x)
-save 3 #?(2) integer --block中的最终状态
-load 1 #2 ? --ifblock -- block
-merge 3 #2 --if 最终状态
-]]
TEST 'integer?' [[
---@type integer?
@@ -1786,6 +1791,27 @@ if xxx and x then
end
]]
+TEST 'integer?' [[
+---@type integer?
+local x
+
+if xxx and x then
+end
+
+print(<?x?>)
+]]
+
+TEST 'integer?' [[
+---@type integer?
+local x
+
+if xxx and x then
+ return
+end
+
+print(<?x?>)
+]]
+
TEST 'integer' [[
---@type integer?
local x
@@ -1965,15 +1991,36 @@ TEST 'integer' [[
---@type integer?
local x
-if x and <?x?> then
+if x and <?x?>.y then
+end
+]]
+
+TEST 'integer?' [[
+---@type integer?
+local x
+
+if x and x.y then
+end
+
+print(<?x?>)
+]]
+
+TEST 'integer?' [[
+---@type integer?
+local x
+
+if x and x.y then
+ return
end
+
+print(<?x?>)
]]
TEST 'integer' [[
---@type integer?
local x
-if not x or <?x?> then
+if not x or <?x?>.y then
end
]]
@@ -1981,7 +2028,7 @@ TEST 'integer?' [[
---@type integer?
local x
-if not x or XXX then
+if not x or x.y then
print(<?x?>)
end
]]
@@ -1990,7 +2037,7 @@ TEST 'integer?' [[
---@type integer?
local x
-if x or XXX then
+if x or x.y then
print(<?x?>)
end
]]
@@ -1999,7 +2046,7 @@ TEST 'integer?' [[
---@type integer?
local x
-if XXX or x then
+if x.y or x then
print(<?x?>)
end
]]
@@ -2008,16 +2055,16 @@ TEST 'integer?' [[
---@type integer?
local x
-if XXX or not x then
+if x.y or not x then
print(<?x?>)
end
]]
-TEST 'integer' [[
+TEST 'integer?' [[
---@type integer?
local x
-if not x or XXX then
+if not x or x.y then
return
end