1 files changed, 223 insertions, 0 deletions
diff --git a/spec/outputs/unicode/existential.lua b/spec/outputs/unicode/existential.lua
new file mode 100644
index 0000000..7cc6089
--- /dev/null
+++ b/spec/outputs/unicode/existential.lua
@@ -0,0 +1,223 @@
+do
+        local _obj_0 = _u51fd_u65701
+        if _obj_0 ~= nil then
+                _obj_0()
+        end
+end
+do
+        local _obj_0 = _u51fd_u65702
+        if _obj_0 ~= nil then
+                _obj_0("参数0", 123)
+        end
+end
+local _u53d8_u91cfx
+do
+        local _obj_0 = _u8868
+        if _obj_0 ~= nil then
+                _u53d8_u91cfx = _obj_0["值"]
+        end
+end
+_u6253_u5370((function()
+        local _obj_0 = _u5bf9_u8c61abc
+        if _obj_0 ~= nil then
+                local _obj_1 = _obj_0["你好 世界"]
+                if _obj_1 ~= nil then
+                        return _obj_1["字段xyz"]
+                end
+                return nil
+        end
+        return nil
+end)())
+if _u6253_u5370 and (_u53d8_u91cfx ~= nil) then
+        _u6253_u5370(_u53d8_u91cfx)
+end
+do
+        local _obj_0 = self
+        if _obj_0 ~= nil then
+                _obj_0["函数"](_obj_0, 998)
+        end
+end
+do
+        local _with_0
+        do
+                local _obj_0 = _u5bf9_u8c61abc
+                if _obj_0 ~= nil then
+                        do
+                                local _obj_1 = _obj_0()
+                                local _obj_2 = _obj_1["函数"]
+                                if _obj_2 ~= nil then
+                                        _with_0 = _obj_2(_obj_1)
+                                end
+                        end
+                end
+        end
+        if (function()
+                local _obj_0 = _with_0["函数p"]
+                if _obj_0 ~= nil then
+                        return _obj_0(_with_0, "abc")
+                end
+                return nil
+        end)() then
+                return 123
+        end
+end
+do
+        local _des_0
+        do
+                local _obj_0 = _u5bf9_u8c61a
+                if _obj_0 ~= nil then
+                        do
+                                local _obj_1 = _obj_0["如果"]
+                                if _obj_1 ~= nil then
+                                        do
+                                                local _obj_2 = _obj_1["然后"]
+                                                if _obj_2 ~= nil then
+                                                        do
+                                                                local _obj_3 = _obj_2(_obj_1, 123)
+                                                                if _obj_3 ~= nil then
+                                                                        _des_0 = _obj_3((function()
+                                                                                local _obj_4 = self
+                                                                                if _obj_4 ~= nil then
+                                                                                        return _obj_4["方法"](_obj_4, 998)
+                                                                                end
+                                                                                return nil
+                                                                        end)())
+                                                                end
+                                                        end
+                                                end
+                                        end
+                                end
+                        end
+                end
+        end
+        if _des_0 then
+                local x_u5b57_u6bb5 = _des_0["x字段"]
+                _u6253_u5370(x_u5b57_u6bb5)
+        end
+end
+local _u7ed3_u679c = ((function()
+        local _call_0 = _u5bf9_u8c61b["方法"]
+        local _obj_0 = _call_0["执行"](_call_0)
+        local _obj_1 = _obj_0["当"]
+        if _obj_1 ~= nil then
+                local _call_1 = _obj_1(_obj_0, "没问题")
+                local _base_0 = _call_1["如果"](_call_1, "默认", 998)
+                local _fn_0 = _base_0["函数"]
+                return _fn_0 and function(...)
+                        return _fn_0(_base_0, ...)
+                end
+        end
+        return nil
+end)() ~= nil)
+_u6253_u5370(_u7ed3_u679c)
+local _u81ea_u6211_u4e3a_u4e2d_u5fc3
+if (_u601d_u60f3 ~= nil) and not (_u4e16_u754c ~= nil) then
+        _u81ea_u6211_u4e3a_u4e2d_u5fc3 = true
+end
+local _u901f_u5ea6 = 0
+_u901f_u5ea6 = _u901f_u5ea6 or 15
+local _u811a_u5370 = _u91ce_u4eba or "熊"
+local _u4e13_u4e1a = '计算机科学'
+if not (_u4e13_u4e1a ~= nil) then
+        _u9009_u4fee_u8bfe_u7a0b('葡萄酒入门')
+end
+if (_u7a97_u4f53 ~= nil) then
+        local _u73af_u5883 = '浏览器（有可能）'
+end
+local _u90ae_u7f16
+do
+        local _obj_0 = _u62bd_u5956["中奖者"]
+        if _obj_0 ~= nil then
+                do
+                        local _obj_1 = _obj_0()["地址"]
+                        if _obj_1 ~= nil then
+                                _u90ae_u7f16 = _obj_1["邮政编码"]
+                        end
+                end
+        end
+end
+local _u957f_u5ea6 = (function()
+        local _obj_0 = utf8
+        if _obj_0 ~= nil then
+                return _obj_0["长度"]
+        end
+        return nil
+end)() or (function()
+        local _obj_0 = _u5b57_u7b26_u4e32
+        if _obj_0 ~= nil then
+                return _obj_0["长度"]
+        end
+        return nil
+end)() or function(_u5bf9_u8c61)
+        return #_u5bf9_u8c61
+end
+local _u53d8_u91cfa
+do
+        local _obj_0 = _u88681
+        if _obj_0 ~= nil then
+                do
+                        local _obj_1 = _obj_0["结束"]
+                        if _obj_1 ~= nil then
+                                _u53d8_u91cfa = _obj_1(_obj_0, 123 + (function()
+                                        local _obj_2 = _u88682
+                                        if _obj_2 ~= nil then
+                                                return _obj_2["然后"](_obj_2, 456)
+                                        end
+                                        return nil
+                                end)())
+                        end
+                end
+        end
+end
+local _u53d8_u91cfb = ((function()
+        local _obj_0 = _u88681
+        if _obj_0 ~= nil then
+                local _base_0 = _obj_0
+                local _fn_0 = _base_0["结束"]
+                return _fn_0 and function(...)
+                        return _fn_0(_base_0, ...)
+                end
+        end
+        return nil
+end)() ~= nil) or (function()
+        local _obj_0 = _u88682
+        if _obj_0 ~= nil then
+                local _base_0 = _obj_0
+                local _fn_0 = _base_0["然后"]
+                return _fn_0 and function(...)
+                        return _fn_0(_base_0, ...)
+                end
+        end
+        return nil
+end)()
+do
+        local _with_0 = io.open("测试.txt", "w")
+        if _with_0 ~= nil then
+                _with_0:write("你好")
+                _with_0:close()
+        end
+end
+do
+        local _obj_0 = _u8868
+        if _obj_0 ~= nil then
+                do
+                        local _obj_1 = getmetatable(_obj_0).__call
+                        if _obj_1 ~= nil then
+                                _obj_1(123)
+                        end
+                end
+        end
+end
+do
+        local _with_0
+        do
+                local _obj_0 = getmetatable(_u8868)
+                if _obj_0 ~= nil then
+                        _with_0 = getmetatable(_obj_0).__index
+                end
+        end
+        if _with_0 ~= nil then
+                _with_0["字段a"] = 1
+        end
+end
+return nil

diff --git a/spec/outputs/unicode/existential.lua b/spec/outputs/unicode/existential.lua new file mode 100644 index 0000000..7cc6089 --- /dev/null +++ b/spec/outputs/unicode/existential.lua
@@ -0,0 +1,223 @@
	1	do
	2	local _obj_0 = _u51fd_u65701
	3	if _obj_0 ~= nil then
	4	_obj_0()
	5	end
	6	end
	7	do
	8	local _obj_0 = _u51fd_u65702
	9	if _obj_0 ~= nil then
	10	_obj_0("参数0", 123)
	11	end
	12	end
	13	local _u53d8_u91cfx
	14	do
	15	local _obj_0 = _u8868
	16	if _obj_0 ~= nil then
	17	_u53d8_u91cfx = _obj_0["值"]
	18	end
	19	end
	20	_u6253_u5370((function()
	21	local _obj_0 = _u5bf9_u8c61abc
	22	if _obj_0 ~= nil then
	23	local _obj_1 = _obj_0["你好世界"]
	24	if _obj_1 ~= nil then
	25	return _obj_1["字段xyz"]
	26	end
	27	return nil
	28	end
	29	return nil
	30	end)())
	31	if _u6253_u5370 and (_u53d8_u91cfx ~= nil) then
	32	_u6253_u5370(_u53d8_u91cfx)
	33	end
	34	do
	35	local _obj_0 = self
	36	if _obj_0 ~= nil then
	37	_obj_0["函数"](_obj_0, 998)
	38	end
	39	end
	40	do
	41	local _with_0
	42	do
	43	local _obj_0 = _u5bf9_u8c61abc
	44	if _obj_0 ~= nil then
	45	do
	46	local _obj_1 = _obj_0()
	47	local _obj_2 = _obj_1["函数"]
	48	if _obj_2 ~= nil then
	49	_with_0 = _obj_2(_obj_1)
	50	end
	51	end
	52	end
	53	end
	54	if (function()
	55	local _obj_0 = _with_0["函数p"]
	56	if _obj_0 ~= nil then
	57	return _obj_0(_with_0, "abc")
	58	end
	59	return nil
	60	end)() then
	61	return 123
	62	end
	63	end
	64	do
	65	local _des_0
	66	do
	67	local _obj_0 = _u5bf9_u8c61a
	68	if _obj_0 ~= nil then
	69	do
	70	local _obj_1 = _obj_0["如果"]
	71	if _obj_1 ~= nil then
	72	do
	73	local _obj_2 = _obj_1["然后"]
	74	if _obj_2 ~= nil then
	75	do
	76	local _obj_3 = _obj_2(_obj_1, 123)
	77	if _obj_3 ~= nil then
	78	_des_0 = _obj_3((function()
	79	local _obj_4 = self
	80	if _obj_4 ~= nil then
	81	return _obj_4["方法"](_obj_4, 998)
	82	end
	83	return nil
	84	end)())
	85	end
	86	end
	87	end
	88	end
	89	end
	90	end
	91	end
	92	end
	93	if _des_0 then
	94	local x_u5b57_u6bb5 = _des_0["x字段"]
	95	_u6253_u5370(x_u5b57_u6bb5)
	96	end
	97	end
	98	local _u7ed3_u679c = ((function()
	99	local _call_0 = _u5bf9_u8c61b["方法"]
	100	local _obj_0 = _call_0["执行"](_call_0)
	101	local _obj_1 = _obj_0["当"]
	102	if _obj_1 ~= nil then
	103	local _call_1 = _obj_1(_obj_0, "没问题")
	104	local _base_0 = _call_1["如果"](_call_1, "默认", 998)
	105	local _fn_0 = _base_0["函数"]
	106	return _fn_0 and function(...)
	107	return _fn_0(_base_0, ...)
	108	end
	109	end
	110	return nil
	111	end)() ~= nil)
	112	_u6253_u5370(_u7ed3_u679c)
	113	local _u81ea_u6211_u4e3a_u4e2d_u5fc3
	114	if (_u601d_u60f3 ~= nil) and not (_u4e16_u754c ~= nil) then
	115	_u81ea_u6211_u4e3a_u4e2d_u5fc3 = true
	116	end
	117	local _u901f_u5ea6 = 0
	118	_u901f_u5ea6 = _u901f_u5ea6 or 15
	119	local _u811a_u5370 = _u91ce_u4eba or "熊"
	120	local _u4e13_u4e1a = '计算机科学'
	121	if not (_u4e13_u4e1a ~= nil) then
	122	_u9009_u4fee_u8bfe_u7a0b('葡萄酒入门')
	123	end
	124	if (_u7a97_u4f53 ~= nil) then
	125	local _u73af_u5883 = '浏览器（有可能）'
	126	end
	127	local _u90ae_u7f16
	128	do
	129	local _obj_0 = _u62bd_u5956["中奖者"]
	130	if _obj_0 ~= nil then
	131	do
	132	local _obj_1 = _obj_0()["地址"]
	133	if _obj_1 ~= nil then
	134	_u90ae_u7f16 = _obj_1["邮政编码"]
	135	end
	136	end
	137	end
	138	end
	139	local _u957f_u5ea6 = (function()
	140	local _obj_0 = utf8
	141	if _obj_0 ~= nil then
	142	return _obj_0["长度"]
	143	end
	144	return nil
	145	end)() or (function()
	146	local _obj_0 = _u5b57_u7b26_u4e32
	147	if _obj_0 ~= nil then
	148	return _obj_0["长度"]
	149	end
	150	return nil
	151	end)() or function(_u5bf9_u8c61)
	152	return #_u5bf9_u8c61
	153	end
	154	local _u53d8_u91cfa
	155	do
	156	local _obj_0 = _u88681
	157	if _obj_0 ~= nil then
	158	do
	159	local _obj_1 = _obj_0["结束"]
	160	if _obj_1 ~= nil then
	161	_u53d8_u91cfa = _obj_1(_obj_0, 123 + (function()
	162	local _obj_2 = _u88682
	163	if _obj_2 ~= nil then
	164	return _obj_2["然后"](_obj_2, 456)
	165	end
	166	return nil
	167	end)())
	168	end
	169	end
	170	end
	171	end
	172	local _u53d8_u91cfb = ((function()
	173	local _obj_0 = _u88681
	174	if _obj_0 ~= nil then
	175	local _base_0 = _obj_0
	176	local _fn_0 = _base_0["结束"]
	177	return _fn_0 and function(...)
	178	return _fn_0(_base_0, ...)
	179	end
	180	end
	181	return nil
	182	end)() ~= nil) or (function()
	183	local _obj_0 = _u88682
	184	if _obj_0 ~= nil then
	185	local _base_0 = _obj_0
	186	local _fn_0 = _base_0["然后"]
	187	return _fn_0 and function(...)
	188	return _fn_0(_base_0, ...)
	189	end
	190	end
	191	return nil
	192	end)()
	193	do
	194	local _with_0 = io.open("测试.txt", "w")
	195	if _with_0 ~= nil then
	196	_with_0:write("你好")
	197	_with_0:close()
	198	end
	199	end
	200	do
	201	local _obj_0 = _u8868
	202	if _obj_0 ~= nil then
	203	do
	204	local _obj_1 = getmetatable(_obj_0).__call
	205	if _obj_1 ~= nil then
	206	_obj_1(123)
	207	end
	208	end
	209	end
	210	end
	211	do
	212	local _with_0
	213	do
	214	local _obj_0 = getmetatable(_u8868)
	215	if _obj_0 ~= nil then
	216	_with_0 = getmetatable(_obj_0).__index
	217	end
	218	end
	219	if _with_0 ~= nil then
	220	_with_0["字段a"] = 1
	221	end
	222	end
	223	return nil