blob: c81468cb36eb17cfead7c5a6b593557746729c37 [file] [log] [blame]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001" Tests for Vim9 script expressions
2
3source check.vim
Bram Moolenaarcfe435d2020-04-25 20:02:55 +02004source vim9.vim
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01005
Bram Moolenaarc7db5772020-07-21 20:55:50 +02006let g:cond = v:false
7def FuncOne(arg: number): string
8 return 'yes'
9enddef
10def FuncTwo(arg: number): number
11 return 123
12enddef
13
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010014" test cond ? expr : expr
Bram Moolenaar92f26c22020-10-03 20:17:30 +020015def Test_expr1_trinary()
Bram Moolenaar659bb222020-11-12 20:16:39 +010016 var lines =<< trim END
17 assert_equal('one', true ? 'one' : 'two')
18 assert_equal('one', 1 ?
19 'one' :
20 'two')
21 if has('float')
22 assert_equal('one', !!0.1 ? 'one' : 'two')
23 endif
24 assert_equal('one', !!'x' ? 'one' : 'two')
25 assert_equal('one', !!'x'
26 ? 'one'
27 : 'two')
28 assert_equal('one', !!0z1234 ? 'one' : 'two')
29 assert_equal('one', !![0] ? 'one' : 'two')
Bram Moolenaare0de1712020-12-02 17:36:54 +010030 assert_equal('one', !!{x: 0} ? 'one' : 'two')
Bram Moolenaar659bb222020-11-12 20:16:39 +010031 var name = 1
32 assert_equal('one', name ? 'one' : 'two')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010033
Bram Moolenaar659bb222020-11-12 20:16:39 +010034 assert_equal('two', false ? 'one' : 'two')
35 assert_equal('two', 0 ? 'one' : 'two')
36 if has('float')
37 assert_equal('two', !!0.0 ? 'one' : 'two')
38 endif
39 assert_equal('two', !!'' ? 'one' : 'two')
40 assert_equal('two', !!0z ? 'one' : 'two')
41 assert_equal('two', !![] ? 'one' : 'two')
42 assert_equal('two', !!{} ? 'one' : 'two')
43 name = 0
44 assert_equal('two', name ? 'one' : 'two')
Bram Moolenaar939b5db2020-04-28 22:49:08 +020045
Bram Moolenaar5afd0812021-01-03 18:33:13 +010046 echo ['a'] + (1 ? ['b'] : ['c']
47 )
48 echo ['a'] + (1 ? ['b'] : ['c'] # comment
49 )
50
Bram Moolenaar659bb222020-11-12 20:16:39 +010051 # with constant condition expression is not evaluated
52 assert_equal('one', 1 ? 'one' : xxx)
Bram Moolenaar749639e2020-08-27 23:08:47 +020053
Bram Moolenaar659bb222020-11-12 20:16:39 +010054 var Some: func = function('len')
55 var Other: func = function('winnr')
56 var Res: func = g:atrue ? Some : Other
57 assert_equal(function('len'), Res)
Bram Moolenaar939b5db2020-04-28 22:49:08 +020058
Bram Moolenaar659bb222020-11-12 20:16:39 +010059 var RetOne: func(string): number = function('len')
60 var RetTwo: func(string): number = function('winnr')
61 var RetThat: func = g:atrue ? RetOne : RetTwo
62 assert_equal(function('len'), RetThat)
Bram Moolenaarc7db5772020-07-21 20:55:50 +020063
Bram Moolenaar659bb222020-11-12 20:16:39 +010064 var X = FuncOne
65 var Y = FuncTwo
66 var Z = g:cond ? FuncOne : FuncTwo
67 assert_equal(123, Z(3))
68 END
69 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010070enddef
71
Bram Moolenaar92f26c22020-10-03 20:17:30 +020072def Test_expr1_trinary_vimscript()
Bram Moolenaarfdac71c2020-08-05 12:44:41 +020073 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +020074 var lines =<< trim END
Bram Moolenaar793648f2020-06-26 21:28:25 +020075 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +020076 var name = 1
Bram Moolenaar793648f2020-06-26 21:28:25 +020077 ? 'yes'
78 : 'no'
Bram Moolenaar98309382020-09-27 21:58:45 +020079 assert_equal('yes', name)
Bram Moolenaar793648f2020-06-26 21:28:25 +020080 END
81 CheckScriptSuccess(lines)
82
83 lines =<< trim END
84 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +020085 var name = v:false
Bram Moolenaar793648f2020-06-26 21:28:25 +020086 ? 'yes'
87 : 'no'
Bram Moolenaar98309382020-09-27 21:58:45 +020088 assert_equal('no', name)
Bram Moolenaar793648f2020-06-26 21:28:25 +020089 END
90 CheckScriptSuccess(lines)
Bram Moolenaar9215f012020-06-27 21:18:00 +020091
92 lines =<< trim END
93 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +020094 var name = v:false ?
Bram Moolenaar9215f012020-06-27 21:18:00 +020095 'yes' :
96 'no'
Bram Moolenaar98309382020-09-27 21:58:45 +020097 assert_equal('no', name)
Bram Moolenaar9215f012020-06-27 21:18:00 +020098 END
99 CheckScriptSuccess(lines)
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200100
Bram Moolenaar93be1642020-10-11 21:34:41 +0200101 lines =<< trim END
102 vim9script
103 var name = v:false ? # comment
104 'yes' :
105 # comment
106 'no' # comment
107 assert_equal('no', name)
108 END
109 CheckScriptSuccess(lines)
110
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200111 # check white space
112 lines =<< trim END
113 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200114 var name = v:true?1:2
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200115 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100116 CheckScriptFailure(lines, 'E1004: White space required before and after ''?'' at "?1:2"', 2)
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200117 lines =<< trim END
118 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200119 var name = v:true? 1 : 2
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200120 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200121 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200122 lines =<< trim END
123 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200124 var name = v:true ?1 : 2
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200125 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200126 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200127 lines =<< trim END
128 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200129 var name = v:true ? 1: 2
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200130 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100131 CheckScriptFailure(lines, 'E1004: White space required before and after '':'' at ": 2"', 2)
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200132 lines =<< trim END
133 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200134 var name = v:true ? 1 :2
Bram Moolenaarfdac71c2020-08-05 12:44:41 +0200135 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200136 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar69e445522020-08-22 22:37:20 +0200137
Bram Moolenaar13106602020-10-04 16:06:05 +0200138 lines =<< trim END
139 vim9script
140 var name = 'x' ? 1 : 2
141 END
Bram Moolenaarea2d4072020-11-12 12:08:51 +0100142 CheckScriptFailure(lines, 'E1135:', 2)
Bram Moolenaar13106602020-10-04 16:06:05 +0200143
144 lines =<< trim END
145 vim9script
146 var name = [] ? 1 : 2
147 END
148 CheckScriptFailure(lines, 'E745:', 2)
149
150 lines =<< trim END
151 vim9script
152 var name = {} ? 1 : 2
153 END
154 CheckScriptFailure(lines, 'E728:', 2)
155
Bram Moolenaar69e445522020-08-22 22:37:20 +0200156 # check after failure eval_flags is reset
157 lines =<< trim END
158 vim9script
159 try
Bram Moolenaard2c61702020-09-06 15:58:36 +0200160 eval('0 ? 1: 2')
Bram Moolenaar69e445522020-08-22 22:37:20 +0200161 catch
162 endtry
163 assert_equal(v:true, eval(string(v:true)))
164 END
165 CheckScriptSuccess(lines)
166
167 lines =<< trim END
168 vim9script
169 try
Bram Moolenaard2c61702020-09-06 15:58:36 +0200170 eval('0 ? 1 :2')
Bram Moolenaar69e445522020-08-22 22:37:20 +0200171 catch
172 endtry
173 assert_equal(v:true, eval(string(v:true)))
174 END
175 CheckScriptSuccess(lines)
Bram Moolenaar793648f2020-06-26 21:28:25 +0200176enddef
177
Bram Moolenaar92f26c22020-10-03 20:17:30 +0200178func Test_expr1_trinary_fails()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200179 call CheckDefFailure(["var x = 1 ? 'one'"], "Missing ':' after '?'", 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100180
Bram Moolenaar77072282020-09-16 17:55:40 +0200181 let msg = "White space required before and after '?'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200182 call CheckDefFailure(["var x = 1? 'one' : 'two'"], msg, 1)
183 call CheckDefFailure(["var x = 1 ?'one' : 'two'"], msg, 1)
184 call CheckDefFailure(["var x = 1?'one' : 'two'"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100185
Bram Moolenaar77072282020-09-16 17:55:40 +0200186 let msg = "White space required before and after ':'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200187 call CheckDefFailure(["var x = 1 ? 'one': 'two'"], msg, 1)
188 call CheckDefFailure(["var x = 1 ? 'one' :'two'"], msg, 1)
189 call CheckDefFailure(["var x = 1 ? 'one':'two'"], msg, 1)
Bram Moolenaarc7db5772020-07-21 20:55:50 +0200190
Bram Moolenaarea2d4072020-11-12 12:08:51 +0100191 call CheckDefFailure(["var x = 'x' ? 'one' : 'two'"], 'E1135:', 1)
Bram Moolenaar13106602020-10-04 16:06:05 +0200192 call CheckDefFailure(["var x = 0z1234 ? 'one' : 'two'"], 'E974:', 1)
193 call CheckDefExecFailure(["var x = [] ? 'one' : 'two'"], 'E745:', 1)
194 call CheckDefExecFailure(["var x = {} ? 'one' : 'two'"], 'E728:', 1)
195
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100196 call CheckDefExecFailure(["var x = false ? "], 'E1097:', 3)
197 call CheckDefExecFailure(["var x = false ? 'one' : "], 'E1097:', 3)
Bram Moolenaar918a4242020-12-06 14:37:08 +0100198
199 call CheckDefExecFailure(["var x = true ? xxx : 'foo'"], 'E1001:', 1)
200 call CheckDefExecFailure(["var x = false ? 'foo' : xxx"], 'E1001:', 1)
201
Bram Moolenaar13106602020-10-04 16:06:05 +0200202 if has('float')
203 call CheckDefFailure(["var x = 0.1 ? 'one' : 'two'"], 'E805:', 1)
204 endif
205
Bram Moolenaarc7db5772020-07-21 20:55:50 +0200206 " missing argument detected even when common type is used
207 call CheckDefFailure([
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200208 \ 'var X = FuncOne',
209 \ 'var Y = FuncTwo',
210 \ 'var Z = g:cond ? FuncOne : FuncTwo',
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200211 \ 'Z()'], 'E119:', 4)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100212endfunc
213
Bram Moolenaar92f26c22020-10-03 20:17:30 +0200214def Test_expr1_falsy()
215 var lines =<< trim END
216 assert_equal(v:true, v:true ?? 456)
217 assert_equal(123, 123 ?? 456)
218 assert_equal('yes', 'yes' ?? 456)
219 assert_equal([1], [1] ?? 456)
Bram Moolenaare0de1712020-12-02 17:36:54 +0100220 assert_equal({one: 1}, {one: 1} ?? 456)
Bram Moolenaar92f26c22020-10-03 20:17:30 +0200221 if has('float')
222 assert_equal(0.1, 0.1 ?? 456)
223 endif
224
225 assert_equal(456, v:false ?? 456)
226 assert_equal(456, 0 ?? 456)
227 assert_equal(456, '' ?? 456)
228 assert_equal(456, [] ?? 456)
229 assert_equal(456, {} ?? 456)
230 if has('float')
231 assert_equal(456, 0.0 ?? 456)
232 endif
233 END
234 CheckDefAndScriptSuccess(lines)
235
236 var msg = "White space required before and after '??'"
237 call CheckDefFailure(["var x = 1?? 'one' : 'two'"], msg, 1)
238 call CheckDefFailure(["var x = 1 ??'one' : 'two'"], msg, 1)
239 call CheckDefFailure(["var x = 1??'one' : 'two'"], msg, 1)
240enddef
241
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100242def Record(val: any): any
243 g:vals->add(val)
244 return val
245enddef
246
247" test ||
248def Test_expr2()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100249 var lines =<< trim END
250 assert_equal(true, 1 || 0)
251 assert_equal(true, 0 ||
252 0 ||
253 1)
254 assert_equal(true, 0 ||
255 0 ||
256 !!7)
257 assert_equal(false, 0 || 0)
258 assert_equal(false, 0
259 || 0)
260 assert_equal(false, 0 || false)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100261
Bram Moolenaar659bb222020-11-12 20:16:39 +0100262 g:vals = []
263 assert_equal(true, Record(1) || Record(3))
264 assert_equal([1], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100265
Bram Moolenaar659bb222020-11-12 20:16:39 +0100266 g:vals = []
267 assert_equal(true, Record(0) || Record(1))
268 assert_equal([0, 1], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100269
Bram Moolenaar659bb222020-11-12 20:16:39 +0100270 g:vals = []
271 assert_equal(true, Record(0) || Record(true))
272 assert_equal([0, true], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100273
Bram Moolenaar659bb222020-11-12 20:16:39 +0100274 g:vals = []
275 assert_equal(true, Record(0)
276 || Record(1)
277 || Record(0))
278 assert_equal([0, 1], g:vals)
279
280 g:vals = []
281 assert_equal(true, Record(0)
282 || Record(true)
283 || Record(0))
284 assert_equal([0, true], g:vals)
285
286 g:vals = []
287 assert_equal(true, Record(true) || Record(false))
288 assert_equal([true], g:vals)
289
290 g:vals = []
291 assert_equal(false, Record(0) || Record(false) || Record(0))
292 assert_equal([0, false, 0], g:vals)
293 END
294 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100295enddef
296
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200297def Test_expr2_vimscript()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200298 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200299 var lines =<< trim END
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200300 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200301 var name = 0
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200302 || 1
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200303 assert_equal(true, name)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200304 END
305 CheckScriptSuccess(lines)
306
307 lines =<< trim END
308 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200309 var name = v:false
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200310 || v:true
311 || v:false
Bram Moolenaar98309382020-09-27 21:58:45 +0200312 assert_equal(v:true, name)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200313 END
314 CheckScriptSuccess(lines)
Bram Moolenaar9215f012020-06-27 21:18:00 +0200315
316 lines =<< trim END
317 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200318 var name = v:false ||
Bram Moolenaar9215f012020-06-27 21:18:00 +0200319 v:true ||
320 v:false
Bram Moolenaar98309382020-09-27 21:58:45 +0200321 assert_equal(v:true, name)
Bram Moolenaar8c34ea52020-07-13 22:29:02 +0200322 END
323 CheckScriptSuccess(lines)
324
Bram Moolenaar93be1642020-10-11 21:34:41 +0200325 lines =<< trim END
326 vim9script
327 var name = v:false || # comment
328 # comment
329 v:true ||
330 # comment
331 v:false # comment
332 assert_equal(v:true, name)
333 END
334 CheckScriptSuccess(lines)
335
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200336 # check white space
337 lines =<< trim END
338 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200339 var name = v:true||v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200340 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100341 CheckScriptFailure(lines, 'E1004: White space required before and after ''||'' at "||v:true"', 2)
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200342 lines =<< trim END
343 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200344 var name = v:true ||v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200345 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200346 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200347 lines =<< trim END
348 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200349 var name = v:true|| v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200350 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200351 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200352enddef
353
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200354def Test_expr2_fails()
355 var msg = "White space required before and after '||'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200356 call CheckDefFailure(["var x = 1||2"], msg, 1)
357 call CheckDefFailure(["var x = 1 ||2"], msg, 1)
358 call CheckDefFailure(["var x = 1|| 2"], msg, 1)
Bram Moolenaara8c17702020-04-01 21:17:24 +0200359
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100360 call CheckDefFailure(["var x = false || "], 'E1097:', 3)
Bram Moolenaar918a4242020-12-06 14:37:08 +0100361
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200362 call CheckDefFailure(["var x = 1 || xxx"], 'E1001:', 1)
Bram Moolenaarea2d4072020-11-12 12:08:51 +0100363 call CheckDefFailure(["var x = [] || false"], 'E1012:', 1)
364 call CheckDefFailure(["if 'yes' || 0", 'echo 0', 'endif'], 'E1012: Type mismatch; expected bool but got string', 1)
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200365
366 # TODO: should fail at compile time
367 call CheckDefExecFailure(["var x = 3 || 7"], 'E1023:', 1)
368 call CheckScriptFailure(["vim9script", "var x = 3 || 7"], 'E1023:', 2)
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200369 call CheckScriptFailure(["vim9script", "var x = [] || false"], 'E745:', 2)
370enddef
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100371
372" test &&
373def Test_expr3()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100374 var lines =<< trim END
375 assert_equal(false, 1 && 0)
376 assert_equal(false, 0 &&
377 0 &&
378 1)
379 assert_equal(true, 1
380 && true
381 && 1)
382 assert_equal(false, 0 && 0)
383 assert_equal(false, 0 && false)
384 assert_equal(true, 1 && true)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100385
Bram Moolenaar659bb222020-11-12 20:16:39 +0100386 g:vals = []
387 assert_equal(true, Record(true) && Record(1))
388 assert_equal([true, 1], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100389
Bram Moolenaar659bb222020-11-12 20:16:39 +0100390 g:vals = []
391 assert_equal(true, Record(1) && Record(true))
392 assert_equal([1, true], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100393
Bram Moolenaar659bb222020-11-12 20:16:39 +0100394 g:vals = []
395 assert_equal(false, Record(0) && Record(1))
396 assert_equal([0], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100397
Bram Moolenaar659bb222020-11-12 20:16:39 +0100398 g:vals = []
399 assert_equal(false, Record(0) && Record(1) && Record(0))
400 assert_equal([0], g:vals)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100401
Bram Moolenaar659bb222020-11-12 20:16:39 +0100402 g:vals = []
403 assert_equal(false, Record(0) && Record(4) && Record(0))
404 assert_equal([0], g:vals)
405
406 g:vals = []
407 assert_equal(false, Record(1) && Record(true) && Record(0))
408 assert_equal([1, true, 0], g:vals)
409 END
410 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100411enddef
412
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200413def Test_expr3_vimscript()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200414 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200415 var lines =<< trim END
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200416 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200417 var name = 0
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200418 && 1
Bram Moolenaar2bb26582020-10-03 22:52:39 +0200419 assert_equal(false, name)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200420 END
421 CheckScriptSuccess(lines)
422
423 lines =<< trim END
424 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200425 var name = v:true
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200426 && v:true
427 && v:true
Bram Moolenaar98309382020-09-27 21:58:45 +0200428 assert_equal(v:true, name)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200429 END
430 CheckScriptSuccess(lines)
Bram Moolenaar9215f012020-06-27 21:18:00 +0200431
432 lines =<< trim END
433 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200434 var name = v:true &&
Bram Moolenaar9215f012020-06-27 21:18:00 +0200435 v:true &&
436 v:true
Bram Moolenaar98309382020-09-27 21:58:45 +0200437 assert_equal(v:true, name)
Bram Moolenaar8c34ea52020-07-13 22:29:02 +0200438 END
439 CheckScriptSuccess(lines)
440
Bram Moolenaar93be1642020-10-11 21:34:41 +0200441 lines =<< trim END
442 vim9script
443 var name = v:true && # comment
444 # comment
445 v:true &&
446 # comment
447 v:true
448 assert_equal(v:true, name)
449 END
450 CheckScriptSuccess(lines)
451
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200452 # check white space
453 lines =<< trim END
454 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200455 var name = v:true&&v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200456 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200457 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200458 lines =<< trim END
459 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200460 var name = v:true &&v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200461 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100462 CheckScriptFailure(lines, 'E1004: White space required before and after ''&&'' at "&&v:true"', 2)
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200463 lines =<< trim END
464 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200465 var name = v:true&& v:true
Bram Moolenaar3c1c9fd2020-08-05 12:32:38 +0200466 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200467 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbe7ee482020-06-26 21:38:51 +0200468enddef
469
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100470func Test_expr3_fails()
Bram Moolenaar77072282020-09-16 17:55:40 +0200471 let msg = "White space required before and after '&&'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200472 call CheckDefFailure(["var x = 1&&2"], msg, 1)
473 call CheckDefFailure(["var x = 1 &&2"], msg, 1)
474 call CheckDefFailure(["var x = 1&& 2"], msg, 1)
Bram Moolenaarea2d4072020-11-12 12:08:51 +0100475
476 call CheckDefFailure(["if 'yes' && 0", 'echo 0', 'endif'], 'E1012: Type mismatch; expected bool but got string', 1)
Bram Moolenaar659bb222020-11-12 20:16:39 +0100477
478 call CheckDefExecFailure(['assert_equal(false, Record(1) && Record(4) && Record(0))'], 'E1023: Using a Number as a Bool: 4', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100479endfunc
480
Bram Moolenaar56acb092020-08-16 14:48:19 +0200481" global variables to use for tests with the "any" type
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100482let atrue = v:true
483let afalse = v:false
484let anone = v:none
485let anull = v:null
486let anint = 10
Bram Moolenaar56acb092020-08-16 14:48:19 +0200487let theone = 1
488let thefour = 4
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100489if has('float')
490 let afloat = 0.1
491endif
492let astring = 'asdf'
493let ablob = 0z01ab
494let alist = [2, 3, 4]
495let adict = #{aaa: 2, bbb: 8}
496
497" test == comperator
498def Test_expr4_equal()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100499 var lines =<< trim END
500 var trueVar = true
501 var falseVar = false
502 assert_equal(true, true == true)
503 assert_equal(false, true ==
504 false)
505 assert_equal(true, true
506 == trueVar)
507 assert_equal(false, true == falseVar)
508 assert_equal(true, true == g:atrue)
509 assert_equal(false, g:atrue == false)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100510
Bram Moolenaar659bb222020-11-12 20:16:39 +0100511 assert_equal(true, v:none == v:none)
512 assert_equal(false, v:none == v:null)
513 assert_equal(true, g:anone == v:none)
Bram Moolenaar67977822021-01-03 21:53:53 +0100514 assert_equal(true, null == v:null)
515 assert_equal(true, null == g:anull)
Bram Moolenaar659bb222020-11-12 20:16:39 +0100516 assert_equal(false, v:none == g:anull)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100517
Bram Moolenaar659bb222020-11-12 20:16:39 +0100518 var nr0 = 0
519 var nr61 = 61
520 assert_equal(false, 2 == 0)
521 assert_equal(false, 2 == nr0)
522 assert_equal(true, 61 == 61)
523 assert_equal(true, 61 == nr61)
524 assert_equal(true, g:anint == 10)
525 assert_equal(false, 61 == g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100526
Bram Moolenaar659bb222020-11-12 20:16:39 +0100527 if has('float')
528 var ff = 0.3
529 assert_equal(true, ff == 0.3)
530 assert_equal(false, 0.4 == ff)
531 assert_equal(true, 0.1 == g:afloat)
532 assert_equal(false, g:afloat == 0.3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100533
Bram Moolenaar659bb222020-11-12 20:16:39 +0100534 ff = 3.0
535 assert_equal(true, ff == 3)
536 assert_equal(true, 3 == ff)
537 ff = 3.1
538 assert_equal(false, ff == 3)
539 assert_equal(false, 3 == ff)
540 endif
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100541
Bram Moolenaar659bb222020-11-12 20:16:39 +0100542 assert_equal(true, 'abc' == 'abc')
543 assert_equal(false, 'xyz' == 'abc')
544 assert_equal(true, g:astring == 'asdf')
545 assert_equal(false, 'xyz' == g:astring)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100546
Bram Moolenaar659bb222020-11-12 20:16:39 +0100547 assert_equal(false, 'abc' == 'aBc')
548 assert_equal(false, 'abc' ==# 'aBc')
549 assert_equal(true, 'abc' ==? 'aBc')
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200550
Bram Moolenaar659bb222020-11-12 20:16:39 +0100551 assert_equal(false, 'abc' == 'ABC')
552 set ignorecase
553 assert_equal(false, 'abc' == 'ABC')
554 assert_equal(false, 'abc' ==# 'ABC')
555 assert_equal(true, 'abc' ==? 'ABC')
556 set noignorecase
557
558 var bb = 0z3f
559 assert_equal(true, 0z3f == bb)
560 assert_equal(false, bb == 0z4f)
561 assert_equal(true, g:ablob == 0z01ab)
562 assert_equal(false, 0z3f == g:ablob)
563
564 assert_equal(true, [1, 2, 3] == [1, 2, 3])
565 assert_equal(false, [1, 2, 3] == [2, 3, 1])
566 assert_equal(true, [2, 3, 4] == g:alist)
567 assert_equal(false, g:alist == [2, 3, 1])
568 assert_equal(false, [1, 2, 3] == [])
569 assert_equal(false, [1, 2, 3] == ['1', '2', '3'])
570
Bram Moolenaare0de1712020-12-02 17:36:54 +0100571 assert_equal(true, {one: 1, two: 2} == {one: 1, two: 2})
572 assert_equal(false, {one: 1, two: 2} == {one: 2, two: 2})
573 assert_equal(false, {one: 1, two: 2} == {two: 2})
574 assert_equal(false, {one: 1, two: 2} == {})
575 assert_equal(true, g:adict == {bbb: 8, aaa: 2})
576 assert_equal(false, {ccc: 9, aaa: 2} == g:adict)
Bram Moolenaar659bb222020-11-12 20:16:39 +0100577
578 assert_equal(true, function('g:Test_expr4_equal') == function('g:Test_expr4_equal'))
579 assert_equal(false, function('g:Test_expr4_equal') == function('g:Test_expr4_is'))
580
581 assert_equal(true, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [123]))
582 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_is', [123]))
583 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [999]))
584
Bram Moolenaara065a142020-11-14 20:57:20 +0100585 # TODO: this unexpectedly sometimes fails on Appveyor
586 if !has('win32')
587 var OneFunc: func
588 var TwoFunc: func
589 OneFunc = function('len')
590 TwoFunc = function('len')
591 assert_equal(true, OneFunc('abc') == TwoFunc('123'))
592 endif
Bram Moolenaar659bb222020-11-12 20:16:39 +0100593 END
594 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100595
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200596 CheckDefFailure(["var x = 'a' == xxx"], 'E1001:', 1)
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100597 CheckDefFailure(["var x = 'a' == "], 'E1097:', 3)
Bram Moolenaar918a4242020-12-06 14:37:08 +0100598
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200599 CheckDefExecFailure(['var items: any', 'eval 1', 'eval 2', 'if items == []', 'endif'], 'E691:', 4)
Bram Moolenaarcff40ff2021-01-09 16:21:37 +0100600
601 CheckDefExecFailure(['var x: any = "a"', 'echo x == true'], 'E1072: Cannot compare string with bool', 2)
602 CheckDefExecFailure(["var x: any = true", 'echo x == ""'], 'E1072: Cannot compare bool with string', 2)
603 CheckDefExecFailure(["var x: any = 99", 'echo x == true'], 'E1138', 2)
604 CheckDefExecFailure(["var x: any = 'a'", 'echo x == 99'], 'E1030:', 2)
605
606 for op in ['>', '>=', '<', '<=', '=~', '!~']
607 CheckDefExecFailure([
608 "var a: any = 'a'",
609 'var b: any = true',
610 'echo a ' .. op .. ' b'], 'E1072:', 3)
611 endfor
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100612enddef
613
614" test != comperator
615def Test_expr4_notequal()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100616 var lines =<< trim END
617 var trueVar = true
618 var falseVar = false
619 assert_equal(false, true != true)
620 assert_equal(true, true !=
621 false)
622 assert_equal(false, true
623 != trueVar)
624 assert_equal(true, true != falseVar)
625 assert_equal(false, true != g:atrue)
626 assert_equal(true, g:atrue != false)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100627
Bram Moolenaar659bb222020-11-12 20:16:39 +0100628 assert_equal(false, v:none != v:none)
629 assert_equal(true, v:none != v:null)
630 assert_equal(false, g:anone != v:none)
631 assert_equal(true, v:none != g:anull)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100632
Bram Moolenaar659bb222020-11-12 20:16:39 +0100633 var nr55 = 55
634 var nr0 = 55
635 assert_equal(true, 2 != 0)
636 assert_equal(true, 2 != nr0)
637 assert_equal(false, 55 != 55)
638 assert_equal(false, 55 != nr55)
639 assert_equal(false, g:anint != 10)
640 assert_equal(true, 61 != g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100641
Bram Moolenaar659bb222020-11-12 20:16:39 +0100642 if has('float')
643 var ff = 0.3
644 assert_equal(false, 0.3 != ff)
645 assert_equal(true, 0.4 != ff)
646 assert_equal(false, 0.1 != g:afloat)
647 assert_equal(true, g:afloat != 0.3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100648
Bram Moolenaar659bb222020-11-12 20:16:39 +0100649 ff = 3.0
650 assert_equal(false, ff != 3)
651 assert_equal(false, 3 != ff)
652 ff = 3.1
653 assert_equal(true, ff != 3)
654 assert_equal(true, 3 != ff)
655 endif
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100656
Bram Moolenaar659bb222020-11-12 20:16:39 +0100657 assert_equal(false, 'abc' != 'abc')
658 assert_equal(true, 'xyz' != 'abc')
659 assert_equal(false, g:astring != 'asdf')
660 assert_equal(true, 'xyz' != g:astring)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100661
Bram Moolenaar659bb222020-11-12 20:16:39 +0100662 assert_equal(true, 'abc' != 'ABC')
663 set ignorecase
664 assert_equal(true, 'abc' != 'ABC')
665 assert_equal(true, 'abc' !=# 'ABC')
666 assert_equal(false, 'abc' !=? 'ABC')
667 set noignorecase
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100668
Bram Moolenaar659bb222020-11-12 20:16:39 +0100669 var bb = 0z3f
670 assert_equal(false, 0z3f != bb)
671 assert_equal(true, bb != 0z4f)
672 assert_equal(false, g:ablob != 0z01ab)
673 assert_equal(true, 0z3f != g:ablob)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100674
Bram Moolenaar659bb222020-11-12 20:16:39 +0100675 assert_equal(false, [1, 2, 3] != [1, 2, 3])
676 assert_equal(true, [1, 2, 3] != [2, 3, 1])
677 assert_equal(false, [2, 3, 4] != g:alist)
678 assert_equal(true, g:alist != [2, 3, 1])
679 assert_equal(true, [1, 2, 3] != [])
680 assert_equal(true, [1, 2, 3] != ['1', '2', '3'])
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100681
Bram Moolenaare0de1712020-12-02 17:36:54 +0100682 assert_equal(false, {one: 1, two: 2} != {one: 1, two: 2})
683 assert_equal(true, {one: 1, two: 2} != {one: 2, two: 2})
684 assert_equal(true, {one: 1, two: 2} != {two: 2})
685 assert_equal(true, {one: 1, two: 2} != {})
686 assert_equal(false, g:adict != {bbb: 8, aaa: 2})
687 assert_equal(true, {ccc: 9, aaa: 2} != g:adict)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100688
Bram Moolenaar659bb222020-11-12 20:16:39 +0100689 assert_equal(false, function('g:Test_expr4_equal') != function('g:Test_expr4_equal'))
690 assert_equal(true, function('g:Test_expr4_equal') != function('g:Test_expr4_is'))
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100691
Bram Moolenaar659bb222020-11-12 20:16:39 +0100692 assert_equal(false, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [123]))
693 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_is', [123]))
694 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [999]))
695 END
696 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100697enddef
698
699" test > comperator
700def Test_expr4_greater()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100701 var lines =<< trim END
702 assert_true(2 > 0)
703 assert_true(2 >
704 1)
705 assert_false(2 > 2)
706 assert_false(2 > 3)
707 var nr2 = 2
708 assert_true(nr2 > 0)
709 assert_true(nr2 >
710 1)
711 assert_false(nr2 > 2)
712 assert_false(nr2
713 > 3)
714 if has('float')
715 var ff = 2.0
716 assert_true(ff > 0.0)
717 assert_true(ff > 1.0)
718 assert_false(ff > 2.0)
719 assert_false(ff > 3.0)
720 endif
721 END
722 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100723enddef
724
725" test >= comperator
726def Test_expr4_greaterequal()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100727 var lines =<< trim END
728 assert_true(2 >= 0)
729 assert_true(2 >=
730 2)
731 assert_false(2 >= 3)
732 var nr2 = 2
733 assert_true(nr2 >= 0)
734 assert_true(nr2 >= 2)
735 assert_false(nr2 >= 3)
736 if has('float')
737 var ff = 2.0
738 assert_true(ff >= 0.0)
739 assert_true(ff >= 2.0)
740 assert_false(ff >= 3.0)
741 endif
742 END
743 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100744enddef
745
746" test < comperator
747def Test_expr4_smaller()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100748 var lines =<< trim END
749 assert_false(2 < 0)
750 assert_false(2 <
751 2)
752 assert_true(2
753 < 3)
754 var nr2 = 2
755 assert_false(nr2 < 0)
756 assert_false(nr2 < 2)
757 assert_true(nr2 < 3)
758 if has('float')
759 var ff = 2.0
760 assert_false(ff < 0.0)
761 assert_false(ff < 2.0)
762 assert_true(ff < 3.0)
763 endif
764 END
765 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100766enddef
767
768" test <= comperator
769def Test_expr4_smallerequal()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100770 var lines =<< trim END
771 assert_false(2 <= 0)
772 assert_false(2 <=
773 1)
774 assert_true(2
775 <= 2)
776 assert_true(2 <= 3)
777 var nr2 = 2
778 assert_false(nr2 <= 0)
779 assert_false(nr2 <= 1)
780 assert_true(nr2 <= 2)
781 assert_true(nr2 <= 3)
782 if has('float')
783 var ff = 2.0
784 assert_false(ff <= 0.0)
785 assert_false(ff <= 1.0)
786 assert_true(ff <= 2.0)
787 assert_true(ff <= 3.0)
788 endif
789 END
790 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100791enddef
792
793" test =~ comperator
794def Test_expr4_match()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100795 var lines =<< trim END
796 assert_equal(false, '2' =~ '0')
797 assert_equal(false, ''
798 =~ '0')
799 assert_equal(true, '2' =~
800 '[0-9]')
801 set ignorecase
802 assert_equal(false, 'abc' =~ 'ABC')
803 assert_equal(false, 'abc' =~# 'ABC')
804 assert_equal(true, 'abc' =~? 'ABC')
805 set noignorecase
806 END
807 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100808enddef
809
810" test !~ comperator
811def Test_expr4_nomatch()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100812 var lines =<< trim END
813 assert_equal(true, '2' !~ '0')
814 assert_equal(true, ''
815 !~ '0')
816 assert_equal(false, '2' !~
817 '[0-9]')
818 END
819 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100820enddef
821
822" test is comperator
823def Test_expr4_is()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100824 var lines =<< trim END
825 var mylist = [2]
826 assert_false(mylist is [2])
827 var other = mylist
828 assert_true(mylist is
829 other)
Bram Moolenaar0062c2d2020-02-20 22:14:31 +0100830
Bram Moolenaar659bb222020-11-12 20:16:39 +0100831 var myblob = 0z1234
832 assert_false(myblob
833 is 0z1234)
834 var otherblob = myblob
835 assert_true(myblob is otherblob)
836 END
837 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100838enddef
839
840" test isnot comperator
841def Test_expr4_isnot()
Bram Moolenaar659bb222020-11-12 20:16:39 +0100842 var lines =<< trim END
843 var mylist = [2]
844 assert_true('2' isnot '0')
845 assert_true(mylist isnot [2])
846 var other = mylist
847 assert_false(mylist isnot
848 other)
Bram Moolenaar0062c2d2020-02-20 22:14:31 +0100849
Bram Moolenaar659bb222020-11-12 20:16:39 +0100850 var myblob = 0z1234
851 assert_true(myblob
852 isnot 0z1234)
853 var otherblob = myblob
854 assert_false(myblob isnot otherblob)
855 END
856 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100857enddef
858
859def RetVoid()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200860 var x = 1
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100861enddef
862
Bram Moolenaar8294d492020-08-10 22:40:56 +0200863def Test_expr4_vim9script()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200864 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200865 var lines =<< trim END
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200866 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200867 var name = 0
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200868 < 1
Bram Moolenaar98309382020-09-27 21:58:45 +0200869 assert_equal(true, name)
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200870 END
871 CheckScriptSuccess(lines)
872
873 lines =<< trim END
874 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200875 var name = 123
Bram Moolenaar93be1642020-10-11 21:34:41 +0200876 # comment
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200877 != 123
Bram Moolenaar98309382020-09-27 21:58:45 +0200878 assert_equal(false, name)
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200879 END
880 CheckScriptSuccess(lines)
881
882 lines =<< trim END
883 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +0200884 var name = 123 ==
Bram Moolenaar9215f012020-06-27 21:18:00 +0200885 123
Bram Moolenaar98309382020-09-27 21:58:45 +0200886 assert_equal(true, name)
Bram Moolenaar9215f012020-06-27 21:18:00 +0200887 END
888 CheckScriptSuccess(lines)
889
890 lines =<< trim END
891 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200892 var list = [1, 2, 3]
893 var name = list
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200894 is list
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200895 assert_equal(true, name)
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200896 END
897 CheckScriptSuccess(lines)
898
899 lines =<< trim END
900 vim9script
Bram Moolenaar93be1642020-10-11 21:34:41 +0200901 var list = [1, 2, 3]
902 var name = list # comment
903 # comment
904 is list
905 assert_equal(true, name)
906 END
907 CheckScriptSuccess(lines)
908
909 lines =<< trim END
910 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200911 var myblob = 0z1234
912 var name = myblob
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200913 isnot 0z11
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200914 assert_equal(true, name)
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200915 END
916 CheckScriptSuccess(lines)
Bram Moolenaar543e6f32020-07-10 22:45:38 +0200917
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200918 # spot check mismatching types
Bram Moolenaar543e6f32020-07-10 22:45:38 +0200919 lines =<< trim END
920 vim9script
921 echo '' == 0
922 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200923 CheckScriptFailure(lines, 'E1072:', 2)
Bram Moolenaar543e6f32020-07-10 22:45:38 +0200924
925 lines =<< trim END
926 vim9script
927 echo v:true > v:false
928 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200929 CheckScriptFailure(lines, 'Cannot compare bool with bool', 2)
Bram Moolenaar543e6f32020-07-10 22:45:38 +0200930
931 lines =<< trim END
932 vim9script
933 echo 123 is 123
934 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200935 CheckScriptFailure(lines, 'Cannot use "is" with number', 2)
Bram Moolenaarc71f36a2020-07-21 21:31:00 +0200936
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200937 # check missing white space
938 lines =<< trim END
939 vim9script
940 echo 2>3
941 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100942 CheckScriptFailure(lines, 'E1004: White space required before and after ''>'' at ">3"', 2)
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200943 lines =<< trim END
944 vim9script
945 echo 2 >3
946 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200947 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200948 lines =<< trim END
949 vim9script
950 echo 2> 3
951 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200952 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200953 lines =<< trim END
954 vim9script
955 echo 2!=3
956 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200957 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200958 lines =<< trim END
959 vim9script
960 echo 2 !=3
961 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +0100962 CheckScriptFailure(lines, 'E1004: White space required before and after ''!'' at "!=3"', 2)
Bram Moolenaarff1cd392020-08-05 11:51:30 +0200963 lines =<< trim END
964 vim9script
965 echo 2!= 3
966 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +0200967 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar8294d492020-08-10 22:40:56 +0200968
969 lines =<< trim END
970 vim9script
971 echo len('xxx') == 3
972 END
973 CheckScriptSuccess(lines)
Bram Moolenaarf9235712020-08-16 18:42:53 +0200974
975 lines =<< trim END
976 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200977 var line = 'abc'
Bram Moolenaarf9235712020-08-16 18:42:53 +0200978 echo line[1] =~ '\w'
979 END
980 CheckScriptSuccess(lines)
Bram Moolenaare6536aa2020-06-26 22:00:38 +0200981enddef
982
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100983func Test_expr4_fails()
Bram Moolenaar77072282020-09-16 17:55:40 +0200984 let msg = "White space required before and after '>'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200985 call CheckDefFailure(["var x = 1>2"], msg, 1)
986 call CheckDefFailure(["var x = 1 >2"], msg, 1)
987 call CheckDefFailure(["var x = 1> 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100988
Bram Moolenaar77072282020-09-16 17:55:40 +0200989 let msg = "White space required before and after '=='"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200990 call CheckDefFailure(["var x = 1==2"], msg, 1)
991 call CheckDefFailure(["var x = 1 ==2"], msg, 1)
992 call CheckDefFailure(["var x = 1== 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100993
Bram Moolenaar77072282020-09-16 17:55:40 +0200994 let msg = "White space required before and after 'is'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +0200995 call CheckDefFailure(["var x = '1'is'2'"], msg, 1)
996 call CheckDefFailure(["var x = '1' is'2'"], msg, 1)
997 call CheckDefFailure(["var x = '1'is '2'"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100998
Bram Moolenaar77072282020-09-16 17:55:40 +0200999 let msg = "White space required before and after 'isnot'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001000 call CheckDefFailure(["var x = '1'isnot'2'"], msg, 1)
1001 call CheckDefFailure(["var x = '1' isnot'2'"], msg, 1)
1002 call CheckDefFailure(["var x = '1'isnot '2'"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001003
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001004 call CheckDefFailure(["var x = 1 is# 2"], 'E15:', 1)
1005 call CheckDefFailure(["var x = 1 is? 2"], 'E15:', 1)
1006 call CheckDefFailure(["var x = 1 isnot# 2"], 'E15:', 1)
1007 call CheckDefFailure(["var x = 1 isnot? 2"], 'E15:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001008
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001009 call CheckDefFailure(["var x = 1 == '2'"], 'Cannot compare number with string', 1)
1010 call CheckDefFailure(["var x = '1' == 2"], 'Cannot compare string with number', 1)
1011 call CheckDefFailure(["var x = 1 == RetVoid()"], 'Cannot compare number with void', 1)
1012 call CheckDefFailure(["var x = RetVoid() == 1"], 'Cannot compare void with number', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001013
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001014 call CheckDefFailure(["var x = true > false"], 'Cannot compare bool with bool', 1)
1015 call CheckDefFailure(["var x = true >= false"], 'Cannot compare bool with bool', 1)
1016 call CheckDefFailure(["var x = true < false"], 'Cannot compare bool with bool', 1)
1017 call CheckDefFailure(["var x = true <= false"], 'Cannot compare bool with bool', 1)
1018 call CheckDefFailure(["var x = true =~ false"], 'Cannot compare bool with bool', 1)
1019 call CheckDefFailure(["var x = true !~ false"], 'Cannot compare bool with bool', 1)
1020 call CheckDefFailure(["var x = true is false"], 'Cannot use "is" with bool', 1)
1021 call CheckDefFailure(["var x = true isnot false"], 'Cannot use "isnot" with bool', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001022
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001023 call CheckDefFailure(["var x = v:none is v:null"], 'Cannot use "is" with special', 1)
1024 call CheckDefFailure(["var x = v:none isnot v:null"], 'Cannot use "isnot" with special', 1)
1025 call CheckDefFailure(["var x = 123 is 123"], 'Cannot use "is" with number', 1)
1026 call CheckDefFailure(["var x = 123 isnot 123"], 'Cannot use "isnot" with number', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001027 if has('float')
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001028 call CheckDefFailure(["var x = 1.3 is 1.3"], 'Cannot use "is" with float', 1)
1029 call CheckDefFailure(["var x = 1.3 isnot 1.3"], 'Cannot use "isnot" with float', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001030 endif
1031
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001032 call CheckDefFailure(["var x = 0za1 > 0z34"], 'Cannot compare blob with blob', 1)
1033 call CheckDefFailure(["var x = 0za1 >= 0z34"], 'Cannot compare blob with blob', 1)
1034 call CheckDefFailure(["var x = 0za1 < 0z34"], 'Cannot compare blob with blob', 1)
1035 call CheckDefFailure(["var x = 0za1 <= 0z34"], 'Cannot compare blob with blob', 1)
1036 call CheckDefFailure(["var x = 0za1 =~ 0z34"], 'Cannot compare blob with blob', 1)
1037 call CheckDefFailure(["var x = 0za1 !~ 0z34"], 'Cannot compare blob with blob', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001038
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001039 call CheckDefFailure(["var x = [13] > [88]"], 'Cannot compare list with list', 1)
1040 call CheckDefFailure(["var x = [13] >= [88]"], 'Cannot compare list with list', 1)
1041 call CheckDefFailure(["var x = [13] < [88]"], 'Cannot compare list with list', 1)
1042 call CheckDefFailure(["var x = [13] <= [88]"], 'Cannot compare list with list', 1)
1043 call CheckDefFailure(["var x = [13] =~ [88]"], 'Cannot compare list with list', 1)
1044 call CheckDefFailure(["var x = [13] !~ [88]"], 'Cannot compare list with list', 1)
Bram Moolenaar5381c7a2020-03-02 22:53:32 +01001045
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001046 call CheckDefFailure(['var j: job', 'var chan: channel', 'var r = j == chan'], 'Cannot compare job with channel', 3)
1047 call CheckDefFailure(['var j: job', 'var x: list<any>', 'var r = j == x'], 'Cannot compare job with list', 3)
1048 call CheckDefFailure(['var j: job', 'var Xx: func', 'var r = j == Xx'], 'Cannot compare job with func', 3)
1049 call CheckDefFailure(['var j: job', 'var Xx: func', 'var r = j == Xx'], 'Cannot compare job with func', 3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001050endfunc
1051
1052" test addition, subtraction, concatenation
1053def Test_expr5()
Bram Moolenaar659bb222020-11-12 20:16:39 +01001054 var lines =<< trim END
1055 assert_equal(66, 60 + 6)
1056 assert_equal(70, 60 +
1057 g:anint)
1058 assert_equal(9, g:thefour
1059 + 5)
1060 assert_equal(14, g:thefour + g:anint)
1061 assert_equal([1, 2, 3, 4], [1] + g:alist)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001062
Bram Moolenaar659bb222020-11-12 20:16:39 +01001063 assert_equal(54, 60 - 6)
1064 assert_equal(50, 60 -
1065 g:anint)
1066 assert_equal(-1, g:thefour
1067 - 5)
1068 assert_equal(-6, g:thefour - g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001069
Bram Moolenaar659bb222020-11-12 20:16:39 +01001070 assert_equal('hello', 'hel' .. 'lo')
1071 assert_equal('hello 123', 'hello ' ..
1072 123)
1073 assert_equal('hello 123', 'hello '
1074 .. 123)
1075 assert_equal('123 hello', 123 .. ' hello')
1076 assert_equal('123456', 123 .. 456)
Bram Moolenaar0062c2d2020-02-20 22:14:31 +01001077
Bram Moolenaara8b8af12021-01-01 15:11:04 +01001078 assert_equal('atrue', 'a' .. true)
1079 assert_equal('afalse', 'a' .. false)
Bram Moolenaar67977822021-01-03 21:53:53 +01001080 assert_equal('anull', 'a' .. v:null)
Bram Moolenaar659bb222020-11-12 20:16:39 +01001081 assert_equal('av:none', 'a' .. v:none)
1082 if has('float')
1083 assert_equal('a0.123', 'a' .. 0.123)
1084 endif
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001085
Bram Moolenaara8b8af12021-01-01 15:11:04 +01001086 set digraph
1087 assert_equal('val: true', 'val: ' .. &digraph)
1088 set nodigraph
1089 assert_equal('val: false', 'val: ' .. &digraph)
1090
Bram Moolenaar659bb222020-11-12 20:16:39 +01001091 assert_equal([1, 2, 3, 4], [1, 2] + [3, 4])
1092 assert_equal(0z11223344, 0z1122 + 0z3344)
1093 assert_equal(0z112201ab, 0z1122
1094 + g:ablob)
1095 assert_equal(0z01ab3344, g:ablob + 0z3344)
1096 assert_equal(0z01ab01ab, g:ablob + g:ablob)
Bram Moolenaar3fc71282020-08-21 20:43:17 +02001097
Bram Moolenaar659bb222020-11-12 20:16:39 +01001098 # concatenate non-constant to constant
1099 var save_path = &path
1100 &path = 'b'
1101 assert_equal('ab', 'a' .. &path)
1102 &path = save_path
Bram Moolenaar3fc71282020-08-21 20:43:17 +02001103
Bram Moolenaar659bb222020-11-12 20:16:39 +01001104 @b = 'b'
1105 assert_equal('ab', 'a' .. @b)
Bram Moolenaar3fc71282020-08-21 20:43:17 +02001106
Bram Moolenaar659bb222020-11-12 20:16:39 +01001107 $ENVVAR = 'env'
1108 assert_equal('aenv', 'a' .. $ENVVAR)
Bram Moolenaard62d87d2021-01-04 17:40:12 +01001109
1110 assert_equal('val', '' .. {key: 'val'}['key'])
Bram Moolenaar659bb222020-11-12 20:16:39 +01001111 END
1112 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001113enddef
1114
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001115def Test_expr5_vim9script()
Bram Moolenaar696ba232020-07-29 21:20:41 +02001116 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001117 var lines =<< trim END
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001118 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001119 var name = 11
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001120 + 77
1121 - 22
Bram Moolenaar98309382020-09-27 21:58:45 +02001122 assert_equal(66, name)
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001123 END
1124 CheckScriptSuccess(lines)
1125
1126 lines =<< trim END
1127 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001128 var name = 11 +
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001129 77 -
1130 22
Bram Moolenaar98309382020-09-27 21:58:45 +02001131 assert_equal(66, name)
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001132 END
1133 CheckScriptSuccess(lines)
1134
1135 lines =<< trim END
1136 vim9script
Bram Moolenaar93be1642020-10-11 21:34:41 +02001137 var name = 11 + # comment
1138 77 -
1139 # comment
1140 22
1141 assert_equal(66, name)
1142 END
1143 CheckScriptSuccess(lines)
1144
1145 lines =<< trim END
1146 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001147 var name = 'one'
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001148 .. 'two'
Bram Moolenaar98309382020-09-27 21:58:45 +02001149 assert_equal('onetwo', name)
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001150 END
1151 CheckScriptSuccess(lines)
Bram Moolenaar696ba232020-07-29 21:20:41 +02001152
1153 lines =<< trim END
1154 vim9script
1155 echo 'abc' is# 'abc'
1156 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001157 CheckScriptFailure(lines, 'E15:', 2)
Bram Moolenaar696ba232020-07-29 21:20:41 +02001158
1159 lines =<< trim END
1160 vim9script
Bram Moolenaarb07a39d2020-10-22 19:00:01 +02001161 echo {} - 22
1162 END
Bram Moolenaar081db1a2020-10-22 20:09:43 +02001163 CheckScriptFailure(lines, 'E728:', 2)
1164
1165 lines =<< trim END
1166 vim9script
1167 echo [] - 33
1168 END
1169 CheckScriptFailure(lines, 'E745:', 2)
1170
1171 lines =<< trim END
1172 vim9script
1173 echo 0z1234 - 44
1174 END
1175 CheckScriptFailure(lines, 'E974:', 2)
Bram Moolenaarb07a39d2020-10-22 19:00:01 +02001176
1177 lines =<< trim END
1178 vim9script
Bram Moolenaar696ba232020-07-29 21:20:41 +02001179 echo 'abc' is? 'abc'
1180 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001181 CheckScriptFailure(lines, 'E15:', 2)
Bram Moolenaar696ba232020-07-29 21:20:41 +02001182
1183 lines =<< trim END
1184 vim9script
1185 echo 'abc' isnot# 'abc'
1186 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001187 CheckScriptFailure(lines, 'E15:', 2)
Bram Moolenaar696ba232020-07-29 21:20:41 +02001188
1189 lines =<< trim END
1190 vim9script
1191 echo 'abc' isnot? 'abc'
1192 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001193 CheckScriptFailure(lines, 'E15:', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001194
1195 # check white space
1196 lines =<< trim END
1197 vim9script
1198 echo 5+6
1199 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001200 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001201 lines =<< trim END
1202 vim9script
1203 echo 5 +6
1204 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001205 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001206 lines =<< trim END
1207 vim9script
1208 echo 5+ 6
1209 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001210 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001211
1212 lines =<< trim END
1213 vim9script
1214 echo 'a'..'b'
1215 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +01001216 CheckScriptFailure(lines, 'E1004: White space required before and after ''..'' at "..''b''"', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001217 lines =<< trim END
1218 vim9script
1219 echo 'a' ..'b'
1220 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001221 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarbb1b5e22020-08-05 10:53:21 +02001222 lines =<< trim END
1223 vim9script
1224 echo 'a'.. 'b'
1225 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001226 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001227
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001228 # check invalid string concatenation
1229 lines =<< trim END
1230 vim9script
1231 echo 'a' .. [1]
1232 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001233 CheckScriptFailure(lines, 'E730:', 2)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001234 lines =<< trim END
1235 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01001236 echo 'a' .. {a: 1}
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001237 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001238 CheckScriptFailure(lines, 'E731:', 2)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001239 lines =<< trim END
1240 vim9script
1241 echo 'a' .. test_void()
1242 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001243 CheckScriptFailure(lines, 'E908:', 2)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001244 lines =<< trim END
1245 vim9script
1246 echo 'a' .. 0z33
1247 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001248 CheckScriptFailure(lines, 'E976:', 2)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001249 lines =<< trim END
1250 vim9script
1251 echo 'a' .. function('len')
1252 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001253 CheckScriptFailure(lines, 'E729:', 2)
Bram Moolenaar79182382020-09-05 20:06:33 +02001254enddef
1255
1256def Test_expr5_vim9script_channel()
1257 if !has('channel')
1258 MissingFeature 'float'
1259 else
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001260 var lines =<< trim END
Bram Moolenaar79182382020-09-05 20:06:33 +02001261 vim9script
1262 echo 'a' .. test_null_job()
1263 END
1264 CheckScriptFailure(lines, 'E908:', 2)
1265 lines =<< trim END
1266 vim9script
1267 echo 'a' .. test_null_channel()
1268 END
1269 CheckScriptFailure(lines, 'E908:', 2)
1270 endif
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001271enddef
1272
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001273def Test_expr5_float()
Bram Moolenaar7f829ca2020-01-31 22:12:41 +01001274 if !has('float')
1275 MissingFeature 'float'
1276 else
Bram Moolenaar659bb222020-11-12 20:16:39 +01001277 var lines =<< trim END
1278 assert_equal(66.0, 60.0 + 6.0)
1279 assert_equal(66.0, 60.0 + 6)
1280 assert_equal(66.0, 60 +
1281 6.0)
1282 assert_equal(5.1, g:afloat
1283 + 5)
1284 assert_equal(8.1, 8 + g:afloat)
1285 assert_equal(10.1, g:anint + g:afloat)
1286 assert_equal(10.1, g:afloat + g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001287
Bram Moolenaar659bb222020-11-12 20:16:39 +01001288 assert_equal(54.0, 60.0 - 6.0)
1289 assert_equal(54.0, 60.0
1290 - 6)
1291 assert_equal(54.0, 60 - 6.0)
1292 assert_equal(-4.9, g:afloat - 5)
1293 assert_equal(7.9, 8 - g:afloat)
1294 assert_equal(9.9, g:anint - g:afloat)
1295 assert_equal(-9.9, g:afloat - g:anint)
1296 END
1297 CheckDefAndScriptSuccess(lines)
Bram Moolenaar7f829ca2020-01-31 22:12:41 +01001298 endif
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001299enddef
1300
1301func Test_expr5_fails()
Bram Moolenaar77072282020-09-16 17:55:40 +02001302 let msg = "White space required before and after '+'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001303 call CheckDefFailure(["var x = 1+2"], msg, 1)
1304 call CheckDefFailure(["var x = 1 +2"], msg, 1)
1305 call CheckDefFailure(["var x = 1+ 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001306
Bram Moolenaar77072282020-09-16 17:55:40 +02001307 let msg = "White space required before and after '-'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001308 call CheckDefFailure(["var x = 1-2"], msg, 1)
1309 call CheckDefFailure(["var x = 1 -2"], msg, 1)
1310 call CheckDefFailure(["var x = 1- 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001311
Bram Moolenaar77072282020-09-16 17:55:40 +02001312 let msg = "White space required before and after '..'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001313 call CheckDefFailure(["var x = '1'..'2'"], msg, 1)
1314 call CheckDefFailure(["var x = '1' ..'2'"], msg, 1)
1315 call CheckDefFailure(["var x = '1'.. '2'"], msg, 1)
Bram Moolenaar0062c2d2020-02-20 22:14:31 +01001316
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001317 call CheckDefFailure(["var x = 0z1122 + 33"], 'E1051:', 1)
1318 call CheckDefFailure(["var x = 0z1122 + [3]"], 'E1051:', 1)
1319 call CheckDefFailure(["var x = 0z1122 + 'asd'"], 'E1051:', 1)
1320 call CheckDefFailure(["var x = 33 + 0z1122"], 'E1051:', 1)
1321 call CheckDefFailure(["var x = [3] + 0z1122"], 'E1051:', 1)
1322 call CheckDefFailure(["var x = 'asdf' + 0z1122"], 'E1051:', 1)
1323 call CheckDefFailure(["var x = 6 + xxx"], 'E1001:', 1)
Bram Moolenaar418f1df2020-08-12 21:34:49 +02001324
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001325 call CheckDefFailure(["var x = 'a' .. [1]"], 'E1105:', 1)
Bram Moolenaare0de1712020-12-02 17:36:54 +01001326 call CheckDefFailure(["var x = 'a' .. {a: 1}"], 'E1105:', 1)
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001327 call CheckDefFailure(["var x = 'a' .. test_void()"], 'E1105:', 1)
1328 call CheckDefFailure(["var x = 'a' .. 0z32"], 'E1105:', 1)
1329 call CheckDefFailure(["var x = 'a' .. function('len')"], 'E1105:', 1)
1330 call CheckDefFailure(["var x = 'a' .. function('len', ['a'])"], 'E1105:', 1)
Bram Moolenaard92cc132020-11-18 17:17:15 +01001331
1332 call CheckScriptFailure(['vim9script', 'var x = 1 + v:none'], 'E611:', 2)
1333 call CheckScriptFailure(['vim9script', 'var x = 1 + v:null'], 'E611:', 2)
1334 call CheckScriptFailure(['vim9script', 'var x = 1 + v:true'], 'E1138:', 2)
1335 call CheckScriptFailure(['vim9script', 'var x = 1 + v:false'], 'E1138:', 2)
1336 call CheckScriptFailure(['vim9script', 'var x = 1 + true'], 'E1138:', 2)
1337 call CheckScriptFailure(['vim9script', 'var x = 1 + false'], 'E1138:', 2)
Bram Moolenaar79182382020-09-05 20:06:33 +02001338endfunc
1339
1340func Test_expr5_fails_channel()
1341 CheckFeature channel
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001342 call CheckDefFailure(["var x = 'a' .. test_null_job()"], 'E1105:', 1)
1343 call CheckDefFailure(["var x = 'a' .. test_null_channel()"], 'E1105:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001344endfunc
1345
Bram Moolenaar399ea812020-12-15 21:28:57 +01001346def Test_expr5_list_add()
1347 # concatenating two lists with same member types is OK
1348 var d = {}
1349 for i in ['a'] + ['b']
1350 d = {[i]: 0}
1351 endfor
1352
1353 # concatenating two lists with different member types results in "any"
1354 var lines =<< trim END
1355 var d = {}
1356 for i in ['a'] + [0]
1357 d = {[i]: 0}
1358 endfor
1359 END
1360 CheckDefExecFailure(lines, 'E1012:')
1361enddef
1362
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001363" test multiply, divide, modulo
1364def Test_expr6()
Bram Moolenaar659bb222020-11-12 20:16:39 +01001365 var lines =<< trim END
1366 assert_equal(36, 6 * 6)
1367 assert_equal(24, 6 *
1368 g:thefour)
1369 assert_equal(24, g:thefour
1370 * 6)
1371 assert_equal(40, g:anint * g:thefour)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001372
Bram Moolenaar659bb222020-11-12 20:16:39 +01001373 assert_equal(10, 60 / 6)
1374 assert_equal(6, 60 /
1375 g:anint)
1376 assert_equal(1, g:anint / 6)
1377 assert_equal(2, g:anint
1378 / g:thefour)
Bram Moolenaare64f83c2021-01-19 22:16:41 +01001379 assert_true(1 / 0 > 99999)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001380
Bram Moolenaar659bb222020-11-12 20:16:39 +01001381 assert_equal(5, 11 % 6)
1382 assert_equal(4, g:anint % 6)
1383 assert_equal(3, 13 %
1384 g:anint)
1385 assert_equal(2, g:anint
1386 % g:thefour)
Bram Moolenaare64f83c2021-01-19 22:16:41 +01001387 assert_equal(0, 1 % 0)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001388
Bram Moolenaar659bb222020-11-12 20:16:39 +01001389 assert_equal(4, 6 * 4 / 6)
Bram Moolenaarb13af502020-02-17 21:12:08 +01001390
Bram Moolenaar659bb222020-11-12 20:16:39 +01001391 var x = [2]
1392 var y = [3]
1393 assert_equal(5, x[0] + y[0])
1394 assert_equal(6, x[0] * y[0])
1395 if has('float')
1396 var xf = [2.0]
1397 var yf = [3.0]
1398 assert_equal(5.0, xf[0]
1399 + yf[0])
1400 assert_equal(6.0, xf[0]
1401 * yf[0])
1402 endif
1403 END
1404 CheckDefAndScriptSuccess(lines)
Bram Moolenaar92dba362020-03-30 21:22:56 +02001405
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001406 CheckDefFailure(["var x = 6 * xxx"], 'E1001:', 1)
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01001407 CheckDefFailure(["var d = 6 * "], 'E1097:', 3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001408enddef
1409
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001410def Test_expr6_vim9script()
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001411 # check line continuation
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001412 var lines =<< trim END
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001413 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001414 var name = 11
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001415 * 22
1416 / 3
Bram Moolenaar98309382020-09-27 21:58:45 +02001417 assert_equal(80, name)
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001418 END
1419 CheckScriptSuccess(lines)
1420
1421 lines =<< trim END
1422 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001423 var name = 25
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001424 % 10
Bram Moolenaar98309382020-09-27 21:58:45 +02001425 assert_equal(5, name)
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001426 END
1427 CheckScriptSuccess(lines)
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001428
1429 lines =<< trim END
1430 vim9script
Bram Moolenaar93be1642020-10-11 21:34:41 +02001431 var name = 25
1432 # comment
1433
1434 # comment
1435 % 10
1436 assert_equal(5, name)
1437 END
1438 CheckScriptSuccess(lines)
1439
1440 lines =<< trim END
1441 vim9script
Bram Moolenaar98309382020-09-27 21:58:45 +02001442 var name = 11 *
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001443 22 /
1444 3
Bram Moolenaar98309382020-09-27 21:58:45 +02001445 assert_equal(80, name)
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001446 END
1447 CheckScriptSuccess(lines)
1448
1449 # check white space
1450 lines =<< trim END
1451 vim9script
1452 echo 5*6
1453 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001454 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001455 lines =<< trim END
1456 vim9script
1457 echo 5 *6
1458 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001459 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaarb4caa162020-08-05 11:36:52 +02001460 lines =<< trim END
1461 vim9script
1462 echo 5* 6
1463 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001464 CheckScriptFailure(lines, 'E1004:', 2)
Bram Moolenaar5409f5d2020-06-24 18:37:35 +02001465enddef
1466
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001467def Test_expr6_float()
Bram Moolenaar7f829ca2020-01-31 22:12:41 +01001468 if !has('float')
1469 MissingFeature 'float'
1470 else
Bram Moolenaar659bb222020-11-12 20:16:39 +01001471 var lines =<< trim END
1472 assert_equal(36.0, 6.0 * 6)
1473 assert_equal(36.0, 6 *
1474 6.0)
1475 assert_equal(36.0, 6.0 * 6.0)
1476 assert_equal(1.0, g:afloat * g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001477
Bram Moolenaar659bb222020-11-12 20:16:39 +01001478 assert_equal(10.0, 60 / 6.0)
1479 assert_equal(10.0, 60.0 /
1480 6)
1481 assert_equal(10.0, 60.0 / 6.0)
1482 assert_equal(0.01, g:afloat / g:anint)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001483
Bram Moolenaar659bb222020-11-12 20:16:39 +01001484 assert_equal(4.0, 6.0 * 4 / 6)
1485 assert_equal(4.0, 6 *
1486 4.0 /
1487 6)
1488 assert_equal(4.0, 6 * 4 / 6.0)
1489 assert_equal(4.0, 6.0 * 4.0 / 6)
1490 assert_equal(4.0, 6 * 4.0 / 6.0)
1491 assert_equal(4.0, 6.0 * 4 / 6.0)
1492 assert_equal(4.0, 6.0 * 4.0 / 6.0)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001493
Bram Moolenaar659bb222020-11-12 20:16:39 +01001494 assert_equal(4.0, 6.0 * 4.0 / 6.0)
1495 END
1496 CheckDefAndScriptSuccess(lines)
Bram Moolenaar7f829ca2020-01-31 22:12:41 +01001497 endif
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001498enddef
1499
1500func Test_expr6_fails()
Bram Moolenaar77072282020-09-16 17:55:40 +02001501 let msg = "White space required before and after '*'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001502 call CheckDefFailure(["var x = 1*2"], msg, 1)
1503 call CheckDefFailure(["var x = 1 *2"], msg, 1)
1504 call CheckDefFailure(["var x = 1* 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001505
Bram Moolenaar77072282020-09-16 17:55:40 +02001506 let msg = "White space required before and after '/'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001507 call CheckDefFailure(["var x = 1/2"], msg, 1)
1508 call CheckDefFailure(["var x = 1 /2"], msg, 1)
1509 call CheckDefFailure(["var x = 1/ 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001510
Bram Moolenaar77072282020-09-16 17:55:40 +02001511 let msg = "White space required before and after '%'"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001512 call CheckDefFailure(["var x = 1%2"], msg, 1)
1513 call CheckDefFailure(["var x = 1 %2"], msg, 1)
1514 call CheckDefFailure(["var x = 1% 2"], msg, 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001515
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001516 call CheckDefFailure(["var x = '1' * '2'"], 'E1036:', 1)
1517 call CheckDefFailure(["var x = '1' / '2'"], 'E1036:', 1)
1518 call CheckDefFailure(["var x = '1' % '2'"], 'E1035:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001519
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001520 call CheckDefFailure(["var x = 0z01 * 0z12"], 'E1036:', 1)
1521 call CheckDefFailure(["var x = 0z01 / 0z12"], 'E1036:', 1)
1522 call CheckDefFailure(["var x = 0z01 % 0z12"], 'E1035:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001523
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001524 call CheckDefFailure(["var x = [1] * [2]"], 'E1036:', 1)
1525 call CheckDefFailure(["var x = [1] / [2]"], 'E1036:', 1)
1526 call CheckDefFailure(["var x = [1] % [2]"], 'E1035:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001527
Bram Moolenaare0de1712020-12-02 17:36:54 +01001528 call CheckDefFailure(["var x = {one: 1} * {two: 2}"], 'E1036:', 1)
1529 call CheckDefFailure(["var x = {one: 1} / {two: 2}"], 'E1036:', 1)
1530 call CheckDefFailure(["var x = {one: 1} % {two: 2}"], 'E1035:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001531
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001532 call CheckDefFailure(["var x = 0xff[1]"], 'E1107:', 1)
Bram Moolenaarb13af502020-02-17 21:12:08 +01001533 if has('float')
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001534 call CheckDefFailure(["var x = 0.7[1]"], 'E1107:', 1)
Bram Moolenaarb13af502020-02-17 21:12:08 +01001535 endif
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001536endfunc
1537
1538func Test_expr6_float_fails()
1539 CheckFeature float
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001540 call CheckDefFailure(["var x = 1.0 % 2"], 'E1035:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001541endfunc
1542
1543" define here to use old style parsing
1544if has('float')
1545 let g:float_zero = 0.0
1546 let g:float_neg = -9.8
1547 let g:float_big = 9.9e99
1548endif
1549let g:blob_empty = 0z
1550let g:blob_one = 0z01
1551let g:blob_long = 0z0102.0304
1552
1553let g:string_empty = ''
1554let g:string_short = 'x'
1555let g:string_long = 'abcdefghijklm'
1556let g:string_special = "ab\ncd\ref\ekk"
1557
1558let g:special_true = v:true
1559let g:special_false = v:false
1560let g:special_null = v:null
1561let g:special_none = v:none
1562
1563let g:list_empty = []
1564let g:list_mixed = [1, 'b', v:false]
1565
1566let g:dict_empty = {}
1567let g:dict_one = #{one: 1}
1568
1569let $TESTVAR = 'testvar'
1570
Bram Moolenaar64d662d2020-08-09 19:02:50 +02001571" type casts
1572def Test_expr7t()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001573 var ls: list<string> = ['a', <string>g:string_empty]
1574 var ln: list<number> = [<number>g:anint, <number>g:thefour]
1575 var nr = <number>234
Bram Moolenaard1103582020-08-14 22:44:25 +02001576 assert_equal(234, nr)
1577
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001578 CheckDefFailure(["var x = <nr>123"], 'E1010:', 1)
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01001579 CheckDefFailure(["var x = <number>"], 'E1097:', 3)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001580 CheckDefFailure(["var x = <number >123"], 'E1068:', 1)
1581 CheckDefFailure(["var x = <number 123"], 'E1104:', 1)
Bram Moolenaar64d662d2020-08-09 19:02:50 +02001582enddef
1583
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001584" test low level expression
1585def Test_expr7_number()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001586 # number constant
Bram Moolenaar659bb222020-11-12 20:16:39 +01001587 var lines =<< trim END
1588 assert_equal(0, 0)
1589 assert_equal(654, 0654)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001590
Bram Moolenaar659bb222020-11-12 20:16:39 +01001591 assert_equal(6, 0x6)
1592 assert_equal(15, 0xf)
1593 assert_equal(255, 0xff)
1594 END
1595 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001596enddef
1597
1598def Test_expr7_float()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001599 # float constant
Bram Moolenaar7f829ca2020-01-31 22:12:41 +01001600 if !has('float')
1601 MissingFeature 'float'
1602 else
Bram Moolenaar659bb222020-11-12 20:16:39 +01001603 var lines =<< trim END
1604 assert_equal(g:float_zero, .0)
1605 assert_equal(g:float_zero, 0.0)
1606 assert_equal(g:float_neg, -9.8)
1607 assert_equal(g:float_big, 9.9e99)
1608 END
1609 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001610 endif
1611enddef
1612
1613def Test_expr7_blob()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001614 # blob constant
Bram Moolenaar659bb222020-11-12 20:16:39 +01001615 var lines =<< trim END
1616 assert_equal(g:blob_empty, 0z)
1617 assert_equal(g:blob_one, 0z01)
1618 assert_equal(g:blob_long, 0z0102.0304)
1619 END
1620 CheckDefAndScriptSuccess(lines)
Bram Moolenaar92dba362020-03-30 21:22:56 +02001621
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001622 CheckDefFailure(["var x = 0z123"], 'E973:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001623enddef
1624
1625def Test_expr7_string()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001626 # string constant
Bram Moolenaar659bb222020-11-12 20:16:39 +01001627 var lines =<< trim END
1628 assert_equal(g:string_empty, '')
1629 assert_equal(g:string_empty, "")
1630 assert_equal(g:string_short, 'x')
1631 assert_equal(g:string_short, "x")
1632 assert_equal(g:string_long, 'abcdefghijklm')
1633 assert_equal(g:string_long, "abcdefghijklm")
1634 assert_equal(g:string_special, "ab\ncd\ref\ekk")
1635 END
1636 CheckDefAndScriptSuccess(lines)
Bram Moolenaar92dba362020-03-30 21:22:56 +02001637
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001638 CheckDefFailure(['var x = "abc'], 'E114:', 1)
1639 CheckDefFailure(["var x = 'abc"], 'E115:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001640enddef
1641
Bram Moolenaar5da356e2020-04-09 19:34:43 +02001642def Test_expr7_vimvar()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001643 var old: list<string> = v:oldfiles
1644 var compl: dict<any> = v:completed_item
Bram Moolenaar5da356e2020-04-09 19:34:43 +02001645
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001646 CheckDefFailure(["var old: list<number> = v:oldfiles"], 'E1012: Type mismatch; expected list<number> but got list<string>', 1)
Bram Moolenaar5e654232020-09-16 15:22:00 +02001647 new
1648 exec "normal! afoo fo\<C-N>\<Esc>"
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001649 CheckDefExecFailure(["var old: dict<number> = v:completed_item"], 'E1012: Type mismatch; expected dict<number> but got dict<string>', 1)
Bram Moolenaar5e654232020-09-16 15:22:00 +02001650 bwipe!
Bram Moolenaar5da356e2020-04-09 19:34:43 +02001651enddef
1652
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001653def Test_expr7_special()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001654 # special constant
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001655 var lines =<< trim END
Bram Moolenaar659bb222020-11-12 20:16:39 +01001656 assert_equal(g:special_true, true)
1657 assert_equal(g:special_false, false)
1658 assert_equal(g:special_true, v:true)
1659 assert_equal(g:special_false, v:false)
Bram Moolenaar5d2eb0f2020-07-13 21:59:33 +02001660 assert_equal(v:true, true)
Bram Moolenaar5d2eb0f2020-07-13 21:59:33 +02001661 assert_equal(v:false, false)
Bram Moolenaar659bb222020-11-12 20:16:39 +01001662
Bram Moolenaar6e4cfff2020-08-09 22:17:55 +02001663 assert_equal(true, !false)
1664 assert_equal(false, !true)
1665 assert_equal(true, !0)
1666 assert_equal(false, !1)
1667 assert_equal(false, !!false)
1668 assert_equal(true, !!true)
1669 assert_equal(false, !!0)
1670 assert_equal(true, !!1)
Bram Moolenaar659bb222020-11-12 20:16:39 +01001671
1672 var t = true
1673 var f = false
1674 assert_equal(true, t)
1675 assert_equal(false, f)
1676
1677 assert_equal(g:special_null, v:null)
Bram Moolenaar67977822021-01-03 21:53:53 +01001678 assert_equal(g:special_null, null)
Bram Moolenaar659bb222020-11-12 20:16:39 +01001679 assert_equal(g:special_none, v:none)
Bram Moolenaar5d2eb0f2020-07-13 21:59:33 +02001680 END
Bram Moolenaar659bb222020-11-12 20:16:39 +01001681 CheckDefAndScriptSuccess(lines)
1682
1683 CheckDefFailure(['v:true = true'], 'E46:', 1)
1684 CheckDefFailure(['v:true = false'], 'E46:', 1)
1685 CheckDefFailure(['v:false = true'], 'E46:', 1)
1686 CheckDefFailure(['v:null = 11'], 'E46:', 1)
1687 CheckDefFailure(['v:none = 22'], 'E46:', 1)
Bram Moolenaar5d2eb0f2020-07-13 21:59:33 +02001688enddef
1689
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001690def Test_expr7_list()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001691 # list
Bram Moolenaar659bb222020-11-12 20:16:39 +01001692 var lines =<< trim END
1693 assert_equal(g:list_empty, [])
1694 assert_equal(g:list_empty, [ ])
Bram Moolenaar127542b2020-08-09 17:22:04 +02001695
Bram Moolenaar659bb222020-11-12 20:16:39 +01001696 var numbers: list<number> = [1, 2, 3]
1697 numbers = [1]
1698 numbers = []
Bram Moolenaar127542b2020-08-09 17:22:04 +02001699
Bram Moolenaar659bb222020-11-12 20:16:39 +01001700 var strings: list<string> = ['a', 'b', 'c']
1701 strings = ['x']
1702 strings = []
Bram Moolenaar127542b2020-08-09 17:22:04 +02001703
Bram Moolenaar659bb222020-11-12 20:16:39 +01001704 var mixed: list<any> = [1, 'b', false,]
1705 assert_equal(g:list_mixed, mixed)
1706 assert_equal('b', mixed[1])
Bram Moolenaar0062c2d2020-02-20 22:14:31 +01001707
Bram Moolenaar659bb222020-11-12 20:16:39 +01001708 echo [1,
1709 2] [3,
1710 4]
Bram Moolenaarbadd8482020-07-31 22:38:17 +02001711
Bram Moolenaar659bb222020-11-12 20:16:39 +01001712 var llstring: list<list<string>> = [['text'], []]
1713 llstring = [[], ['text']]
1714 llstring = [[], []]
1715 END
1716 CheckDefAndScriptSuccess(lines)
Bram Moolenaar77b20972020-09-19 14:12:34 +02001717
Bram Moolenaar5597ba02020-09-27 17:45:03 +02001718 var rangelist: list<number> = range(3)
1719 g:rangelist = range(3)
1720 CheckDefExecFailure(["var x: list<string> = g:rangelist"], 'E1012: Type mismatch; expected list<string> but got list<number>', 1)
1721
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001722 CheckDefFailure(["var x = 1234[3]"], 'E1107:', 1)
1723 CheckDefExecFailure(["var x = g:anint[3]"], 'E1062:', 1)
Bram Moolenaar56acb092020-08-16 14:48:19 +02001724
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001725 CheckDefFailure(["var x = g:list_mixed[xxx]"], 'E1001:', 1)
Bram Moolenaardb199212020-08-12 18:01:53 +02001726
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001727 CheckDefFailure(["var x = [1,2,3]"], 'E1069:', 1)
1728 CheckDefFailure(["var x = [1 ,2, 3]"], 'E1068:', 1)
Bram Moolenaardb199212020-08-12 18:01:53 +02001729
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001730 CheckDefExecFailure(["echo 1", "var x = [][0]", "echo 3"], 'E684:', 2)
Bram Moolenaar1d634542020-08-18 13:41:50 +02001731
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001732 CheckDefExecFailure(["var x = g:list_mixed['xx']"], 'E1012:', 1)
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01001733 CheckDefFailure(["var x = g:list_mixed["], 'E1097:', 3)
1734 CheckDefFailure(["var x = g:list_mixed[0"], 'E1097:', 3)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001735 CheckDefExecFailure(["var x = g:list_empty[3]"], 'E684:', 1)
1736 CheckDefExecFailure(["var l: list<number> = [234, 'x']"], 'E1012:', 1)
1737 CheckDefExecFailure(["var l: list<number> = ['x', 234]"], 'E1012:', 1)
1738 CheckDefExecFailure(["var l: list<string> = [234, 'x']"], 'E1012:', 1)
1739 CheckDefExecFailure(["var l: list<string> = ['x', 123]"], 'E1012:', 1)
Bram Moolenaarc1f00662020-10-03 13:41:53 +02001740
Bram Moolenaar659bb222020-11-12 20:16:39 +01001741 lines =<< trim END
Bram Moolenaarc1f00662020-10-03 13:41:53 +02001742 vim9script
1743 var datalist: list<string>
1744 def Main()
1745 datalist += ['x'.
1746 enddef
1747 Main()
1748 END
1749 CheckScriptFailure(lines, 'E1127:')
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01001750
1751 lines =<< trim END
1752 var numbers = [1, 2, 3, 4]
1753 var a = 1
1754 var b = 2
1755 END
Bram Moolenaare7a73e02021-01-01 19:17:55 +01001756 CheckDefAndScriptFailure(lines + ['echo numbers[1:b]'],
1757 'E1004: White space required before and after '':'' at ":b]"', 4)
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01001758 CheckDefAndScriptFailure(lines + ['echo numbers[1: b]'], 'E1004:', 4)
1759 CheckDefAndScriptFailure(lines + ['echo numbers[a :b]'], 'E1004:', 4)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001760enddef
1761
Bram Moolenaar71478202020-06-26 22:46:27 +02001762def Test_expr7_list_vim9script()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001763 var lines =<< trim END
Bram Moolenaar71478202020-06-26 22:46:27 +02001764 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001765 var l = [
Bram Moolenaar71478202020-06-26 22:46:27 +02001766 11,
1767 22,
1768 ]
1769 assert_equal([11, 22], l)
Bram Moolenaarbadd8482020-07-31 22:38:17 +02001770
1771 echo [1,
1772 2] [3,
1773 4]
Bram Moolenaar93be1642020-10-11 21:34:41 +02001774
1775 echo [1, # comment
1776 # comment
1777 2] [3,
1778 # comment
1779 4]
Bram Moolenaar71478202020-06-26 22:46:27 +02001780 END
1781 CheckScriptSuccess(lines)
1782
1783 lines =<< trim END
1784 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001785 var l = [11,
Bram Moolenaar71478202020-06-26 22:46:27 +02001786 22]
1787 assert_equal([11, 22], l)
1788 END
1789 CheckScriptSuccess(lines)
Bram Moolenaar8ea93902020-06-27 14:11:53 +02001790
1791 lines =<< trim END
1792 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001793 var l = [11,22]
Bram Moolenaar8ea93902020-06-27 14:11:53 +02001794 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001795 CheckScriptFailure(lines, 'E1069:', 2)
Bram Moolenaardb199212020-08-12 18:01:53 +02001796
1797 lines =<< trim END
1798 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001799 var l = [11 , 22]
Bram Moolenaardb199212020-08-12 18:01:53 +02001800 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001801 CheckScriptFailure(lines, 'E1068:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001802
1803 lines =<< trim END
1804 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001805 var l: list<number> = [234, 'x']
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001806 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001807 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001808 lines =<< trim END
1809 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001810 var l: list<number> = ['x', 234]
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001811 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001812 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001813 lines =<< trim END
1814 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001815 var l: list<string> = ['x', 234]
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001816 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001817 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001818 lines =<< trim END
1819 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02001820 var l: list<string> = [234, 'x']
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02001821 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001822 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar9c13f762020-11-04 12:00:53 +01001823
1824 lines =<< trim END
1825 vim9script
1826 def Failing()
1827 job_stop()
1828 enddef
1829 var list = [Failing]
1830 END
Bram Moolenaar46f479c2020-11-07 13:09:18 +01001831 if has('channel')
1832 CheckScriptFailure(lines, 'E119:', 1)
1833 else
1834 CheckScriptFailure(lines, 'E117:', 1)
1835 endif
Bram Moolenaar71478202020-06-26 22:46:27 +02001836enddef
1837
Bram Moolenaarba60cc42020-08-12 19:15:33 +02001838def LambdaWithComments(): func
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001839 return (x) =>
Bram Moolenaarba60cc42020-08-12 19:15:33 +02001840 # some comment
1841 x == 1
1842 # some comment
1843 ||
1844 x == 2
Bram Moolenaarba60cc42020-08-12 19:15:33 +02001845enddef
1846
Bram Moolenaarfd777482020-08-12 19:42:01 +02001847def LambdaUsingArg(x: number): func
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001848 return () =>
Bram Moolenaarfd777482020-08-12 19:42:01 +02001849 # some comment
1850 x == 1
1851 # some comment
1852 ||
1853 x == 2
Bram Moolenaarfd777482020-08-12 19:42:01 +02001854enddef
1855
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001856def Test_expr7_lambda()
Bram Moolenaar659bb222020-11-12 20:16:39 +01001857 var lines =<< trim END
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001858 var La = () => 'result'
Bram Moolenaar659bb222020-11-12 20:16:39 +01001859 assert_equal('result', La())
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001860 assert_equal([1, 3, 5], [1, 2, 3]->map((key, val) => key + val))
Bram Moolenaar914e7ea2020-07-11 15:20:48 +02001861
Bram Moolenaar659bb222020-11-12 20:16:39 +01001862 # line continuation inside lambda with "cond ? expr : expr" works
1863 var ll = range(3)
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01001864 var dll = mapnew(ll, (k, v) => v % 2 ? {
Bram Moolenaare0de1712020-12-02 17:36:54 +01001865 ['111']: 111 } : {}
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001866 )
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01001867 assert_equal([{}, {111: 111}, {}], dll)
Bram Moolenaar8af81d62020-07-12 16:32:19 +02001868
Bram Moolenaar659bb222020-11-12 20:16:39 +01001869 ll = range(3)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001870 map(ll, (k, v) => v == 8 || v
Bram Moolenaar659bb222020-11-12 20:16:39 +01001871 == 9
1872 || v % 2 ? 111 : 222
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001873 )
Bram Moolenaar659bb222020-11-12 20:16:39 +01001874 assert_equal([222, 111, 222], ll)
Bram Moolenaar8af81d62020-07-12 16:32:19 +02001875
Bram Moolenaar659bb222020-11-12 20:16:39 +01001876 ll = range(3)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001877 map(ll, (k, v) => v != 8 && v
Bram Moolenaar659bb222020-11-12 20:16:39 +01001878 != 9
1879 && v % 2 == 0 ? 111 : 222
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001880 )
Bram Moolenaar659bb222020-11-12 20:16:39 +01001881 assert_equal([111, 222, 111], ll)
Bram Moolenaar8af81d62020-07-12 16:32:19 +02001882
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001883 var dl = [{key: 0}, {key: 22}]->filter(( _, v) => v['key'] )
Bram Moolenaare0de1712020-12-02 17:36:54 +01001884 assert_equal([{key: 22}], dl)
Bram Moolenaar6802cce2020-07-19 15:49:49 +02001885
Bram Moolenaare0de1712020-12-02 17:36:54 +01001886 dl = [{key: 12}, {['foo']: 34}]
1887 assert_equal([{key: 12}], filter(dl,
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001888 (_, v) => has_key(v, 'key') ? v['key'] == 12 : 0))
Bram Moolenaar7892b952020-07-20 22:09:34 +02001889
Bram Moolenaar659bb222020-11-12 20:16:39 +01001890 assert_equal(false, LambdaWithComments()(0))
1891 assert_equal(true, LambdaWithComments()(1))
1892 assert_equal(true, LambdaWithComments()(2))
1893 assert_equal(false, LambdaWithComments()(3))
Bram Moolenaarba60cc42020-08-12 19:15:33 +02001894
Bram Moolenaar659bb222020-11-12 20:16:39 +01001895 assert_equal(false, LambdaUsingArg(0)())
1896 assert_equal(true, LambdaUsingArg(1)())
Bram Moolenaarc2ca9352020-11-25 21:30:11 +01001897
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001898 var res = map([1, 2, 3], (i: number, v: number) => i + v)
Bram Moolenaarc2ca9352020-11-25 21:30:11 +01001899 assert_equal([1, 3, 5], res)
Bram Moolenaar659bb222020-11-12 20:16:39 +01001900 END
1901 CheckDefAndScriptSuccess(lines)
Bram Moolenaarfd777482020-08-12 19:42:01 +02001902
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001903 CheckDefFailure(["var Ref = (a)=>a + 1"], 'E1004:')
Bram Moolenaare7a73e02021-01-01 19:17:55 +01001904 CheckDefFailure(["var Ref = (a)=> a + 1"], 'E1004: White space required before and after ''=>'' at "=> a + 1"')
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001905 CheckDefFailure(["var Ref = (a) =>a + 1"], 'E1004:')
Bram Moolenaar27bf7af2020-12-23 20:27:31 +01001906
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001907 CheckDefFailure(["filter([1, 2], (k,v) => 1)"], 'E1069:', 1)
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02001908 # error is in first line of the lambda
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001909 CheckDefFailure(["var L = (a) => a + b"], 'E1001:', 0)
Bram Moolenaar79e8db92020-08-14 22:16:33 +02001910
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001911 assert_equal('xxxyyy', 'xxx'->((a, b) => a .. b)('yyy'))
Bram Moolenaar79e8db92020-08-14 22:16:33 +02001912
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001913 CheckDefExecFailure(["var s = 'asdf'->((a) => a)('x')"], 'E118:')
1914 CheckDefExecFailure(["var s = 'asdf'->((a) => a)('x', 'y')"], 'E118:')
1915 CheckDefFailure(["echo 'asdf'->((a) => a)(x)"], 'E1001:', 1)
Bram Moolenaara2c026d2020-10-18 18:03:17 +02001916
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001917 CheckDefSuccess(['var Fx = (a) => ({k1: 0,', ' k2: 1})'])
1918 CheckDefFailure(['var Fx = (a) => ({k1: 0', ' k2: 1})'], 'E722:', 2)
1919 CheckDefFailure(['var Fx = (a) => ({k1: 0,', ' k2 1})'], 'E720:', 2)
Bram Moolenaara2c026d2020-10-18 18:03:17 +02001920
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001921 CheckDefSuccess(['var Fx = (a) => [0,', ' 1]'])
1922 CheckDefFailure(['var Fx = (a) => [0', ' 1]'], 'E696:', 2)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001923enddef
1924
Bram Moolenaar65c44152020-12-24 15:14:01 +01001925def NewLambdaWithComments(): func
1926 return (x) =>
1927 # some comment
1928 x == 1
1929 # some comment
1930 ||
1931 x == 2
1932enddef
1933
1934def NewLambdaUsingArg(x: number): func
1935 return () =>
1936 # some comment
1937 x == 1
1938 # some comment
1939 ||
1940 x == 2
1941enddef
1942
1943def Test_expr7_new_lambda()
1944 var lines =<< trim END
1945 var La = () => 'result'
1946 assert_equal('result', La())
1947 assert_equal([1, 3, 5], [1, 2, 3]->map((key, val) => key + val))
1948
1949 # line continuation inside lambda with "cond ? expr : expr" works
1950 var ll = range(3)
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01001951 var dll = mapnew(ll, (k, v) => v % 2 ? {
Bram Moolenaar65c44152020-12-24 15:14:01 +01001952 ['111']: 111 } : {}
1953 )
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01001954 assert_equal([{}, {111: 111}, {}], dll)
Bram Moolenaar65c44152020-12-24 15:14:01 +01001955
1956 ll = range(3)
1957 map(ll, (k, v) => v == 8 || v
1958 == 9
1959 || v % 2 ? 111 : 222
1960 )
1961 assert_equal([222, 111, 222], ll)
1962
1963 ll = range(3)
1964 map(ll, (k, v) => v != 8 && v
1965 != 9
1966 && v % 2 == 0 ? 111 : 222
1967 )
1968 assert_equal([111, 222, 111], ll)
1969
1970 var dl = [{key: 0}, {key: 22}]->filter(( _, v) => v['key'] )
1971 assert_equal([{key: 22}], dl)
1972
1973 dl = [{key: 12}, {['foo']: 34}]
1974 assert_equal([{key: 12}], filter(dl,
1975 (_, v) => has_key(v, 'key') ? v['key'] == 12 : 0))
1976
1977 assert_equal(false, NewLambdaWithComments()(0))
1978 assert_equal(true, NewLambdaWithComments()(1))
1979 assert_equal(true, NewLambdaWithComments()(2))
1980 assert_equal(false, NewLambdaWithComments()(3))
1981
1982 assert_equal(false, NewLambdaUsingArg(0)())
1983 assert_equal(true, NewLambdaUsingArg(1)())
1984
1985 var res = map([1, 2, 3], (i: number, v: number) => i + v)
1986 assert_equal([1, 3, 5], res)
1987
1988 # Lambda returning a dict
Bram Moolenaar9e68c322020-12-25 12:38:04 +01001989 var Lmb = () => ({key: 42})
Bram Moolenaar65c44152020-12-24 15:14:01 +01001990 assert_equal({key: 42}, Lmb())
Bram Moolenaarc754b4c2020-12-25 15:24:23 +01001991
1992 var RefOne: func(number): string = (a: number): string => 'x'
1993 var RefTwo: func(number): any = (a: number): any => 'x'
1994
1995 var Fx = (a) => ({k1: 0,
1996 k2: 1})
1997 var Fy = (a) => [0,
1998 1]
Bram Moolenaar65c44152020-12-24 15:14:01 +01001999 END
Bram Moolenaarc754b4c2020-12-25 15:24:23 +01002000 CheckDefAndScriptSuccess(lines)
Bram Moolenaar65c44152020-12-24 15:14:01 +01002001
Bram Moolenaare462f522020-12-27 14:43:30 +01002002 CheckDefAndScriptFailure(["var Ref = (a)=>a + 1"], 'E1004:')
2003 CheckDefAndScriptFailure(["var Ref = (a)=> a + 1"], 'E1004:')
Bram Moolenaare7a73e02021-01-01 19:17:55 +01002004 CheckDefAndScriptFailure(["var Ref = (a) =>a + 1"],
2005 'E1004: White space required before and after ''=>'' at " =>a + 1"')
Bram Moolenaarc754b4c2020-12-25 15:24:23 +01002006
Bram Moolenaar9e68c322020-12-25 12:38:04 +01002007 CheckDefFailure(["var Ref: func(number): number = (a: number): string => 'x'"], 'E1012:')
2008 CheckDefFailure(["var Ref: func(number): string = (a: number): string => 99"], 'E1012:')
2009
Bram Moolenaar65c44152020-12-24 15:14:01 +01002010 CheckDefFailure(["filter([1, 2], (k,v) => 1)"], 'E1069:', 1)
2011 # error is in first line of the lambda
2012 CheckDefFailure(["var L = (a) -> a + b"], 'E1001:', 1)
2013
Bram Moolenaar9e68c322020-12-25 12:38:04 +01002014# TODO: ->(lambda)() doesn't work yet
Bram Moolenaar65c44152020-12-24 15:14:01 +01002015# assert_equal('xxxyyy', 'xxx'->((a, b) => a .. b)('yyy'))
2016
2017# CheckDefExecFailure(["var s = 'asdf'->{a -> a}('x')"],
2018# 'E1106: One argument too many')
2019# CheckDefExecFailure(["var s = 'asdf'->{a -> a}('x', 'y')"],
2020# 'E1106: 2 arguments too many')
2021# CheckDefFailure(["echo 'asdf'->{a -> a}(x)"], 'E1001:', 1)
2022
Bram Moolenaar9e68c322020-12-25 12:38:04 +01002023 CheckDefFailure(['var Fx = (a) => ({k1: 0', ' k2: 1})'], 'E722:', 2)
2024 CheckDefFailure(['var Fx = (a) => ({k1: 0,', ' k2 1})'], 'E720:', 2)
Bram Moolenaar65c44152020-12-24 15:14:01 +01002025
Bram Moolenaar65c44152020-12-24 15:14:01 +01002026 CheckDefFailure(['var Fx = (a) => [0', ' 1]'], 'E696:', 2)
2027enddef
2028
Bram Moolenaare40fbc22020-06-27 18:06:45 +02002029def Test_expr7_lambda_vim9script()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002030 var lines =<< trim END
Bram Moolenaare40fbc22020-06-27 18:06:45 +02002031 vim9script
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002032 var v = 10->((a) =>
Bram Moolenaare40fbc22020-06-27 18:06:45 +02002033 a
2034 + 2
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002035 )()
Bram Moolenaare40fbc22020-06-27 18:06:45 +02002036 assert_equal(12, v)
2037 END
2038 CheckScriptSuccess(lines)
Bram Moolenaaraeb2bdd2020-08-18 22:32:03 +02002039
2040 # nested lambda with line breaks
2041 lines =<< trim END
2042 vim9script
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002043 search('"', 'cW', 0, 0, () =>
Bram Moolenaaraeb2bdd2020-08-18 22:32:03 +02002044 synstack('.', col('.'))
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002045 ->map((_, v) => synIDattr(v, 'name'))->len())
Bram Moolenaaraeb2bdd2020-08-18 22:32:03 +02002046 END
2047 CheckScriptSuccess(lines)
Bram Moolenaare40fbc22020-06-27 18:06:45 +02002048enddef
2049
Bram Moolenaar601e76a2020-08-27 21:33:10 +02002050def Test_epxr7_funcref()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002051 var lines =<< trim END
Bram Moolenaar659bb222020-11-12 20:16:39 +01002052 def RetNumber(): number
2053 return 123
2054 enddef
2055 var FuncRef = RetNumber
2056 assert_equal(123, FuncRef())
Bram Moolenaar601e76a2020-08-27 21:33:10 +02002057 END
2058 CheckDefAndScriptSuccess(lines)
2059enddef
2060
Bram Moolenaar2bede172020-11-19 18:53:18 +01002061let g:test_space_dict = {'': 'empty', ' ': 'space'}
2062let g:test_hash_dict = #{one: 1, two: 2}
2063
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002064def Test_expr7_dict()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002065 # dictionary
Bram Moolenaar659bb222020-11-12 20:16:39 +01002066 var lines =<< trim END
2067 assert_equal(g:dict_empty, {})
2068 assert_equal(g:dict_empty, { })
Bram Moolenaare0de1712020-12-02 17:36:54 +01002069 assert_equal(g:dict_one, {['one']: 1})
Bram Moolenaar659bb222020-11-12 20:16:39 +01002070 var key = 'one'
2071 var val = 1
Bram Moolenaar2bede172020-11-19 18:53:18 +01002072 assert_equal(g:dict_one, {[key]: val})
Bram Moolenaar0062c2d2020-02-20 22:14:31 +01002073
Bram Moolenaar2bede172020-11-19 18:53:18 +01002074 var numbers: dict<number> = {a: 1, b: 2, c: 3}
Bram Moolenaare0de1712020-12-02 17:36:54 +01002075 numbers = {a: 1}
2076 numbers = {}
Bram Moolenaar127542b2020-08-09 17:22:04 +02002077
Bram Moolenaar2bede172020-11-19 18:53:18 +01002078 var strings: dict<string> = {a: 'a', b: 'b', c: 'c'}
Bram Moolenaare0de1712020-12-02 17:36:54 +01002079 strings = {a: 'x'}
2080 strings = {}
2081
2082 var dash = {xx-x: 8}
2083 assert_equal({['xx-x']: 8}, dash)
2084
2085 var dnr = {8: 8}
2086 assert_equal({['8']: 8}, dnr)
Bram Moolenaar127542b2020-08-09 17:22:04 +02002087
Bram Moolenaar2bede172020-11-19 18:53:18 +01002088 var mixed: dict<any> = {a: 'a', b: 42}
Bram Moolenaare0de1712020-12-02 17:36:54 +01002089 mixed = {a: 'x'}
2090 mixed = {a: 234}
2091 mixed = {}
Bram Moolenaar127542b2020-08-09 17:22:04 +02002092
Bram Moolenaare0de1712020-12-02 17:36:54 +01002093 var dictlist: dict<list<string>> = {absent: [], present: ['hi']}
2094 dictlist = {absent: ['hi'], present: []}
2095 dictlist = {absent: [], present: []}
Bram Moolenaar77b20972020-09-19 14:12:34 +02002096
Bram Moolenaare0de1712020-12-02 17:36:54 +01002097 var dictdict: dict<dict<string>> = {one: {a: 'text'}, two: {}}
2098 dictdict = {one: {}, two: {a: 'text'}}
2099 dictdict = {one: {}, two: {}}
Bram Moolenaarc7f7f6d2020-11-04 13:38:28 +01002100
Bram Moolenaare0de1712020-12-02 17:36:54 +01002101 assert_equal({['']: 0}, {[matchstr('string', 'wont match')]: 0})
Bram Moolenaar2bede172020-11-19 18:53:18 +01002102
2103 assert_equal(g:test_space_dict, {['']: 'empty', [' ']: 'space'})
2104 assert_equal(g:test_hash_dict, {one: 1, two: 2})
Bram Moolenaarc5e6a712020-12-04 19:12:14 +01002105
2106 assert_equal({['a a']: 1, ['b/c']: 2}, {'a a': 1, "b/c": 2})
Bram Moolenaar6b553772020-12-31 13:31:23 +01002107
2108 var d = {a: () => 3, b: () => 7}
2109 assert_equal(3, d.a())
2110 assert_equal(7, d.b())
Bram Moolenaar5afd0812021-01-03 18:33:13 +01002111
2112 var cd = { # comment
2113 key: 'val' # comment
2114 }
Bram Moolenaar659bb222020-11-12 20:16:39 +01002115 END
2116 CheckDefAndScriptSuccess(lines)
Bram Moolenaar77b20972020-09-19 14:12:34 +02002117
Bram Moolenaare0de1712020-12-02 17:36:54 +01002118 # legacy syntax doesn't work
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01002119 CheckDefFailure(["var x = #{key: 8}"], 'E1097:', 3)
2120 CheckDefFailure(["var x = 'a' .. #{a: 1}"], 'E1097:', 3)
Bram Moolenaar17a836c2020-08-12 17:35:58 +02002121
Bram Moolenaare0de1712020-12-02 17:36:54 +01002122 CheckDefFailure(["var x = {a:8}"], 'E1069:', 1)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002123 CheckDefFailure(["var x = {a : 8}"], 'E1068:', 1)
2124 CheckDefFailure(["var x = {a :8}"], 'E1068:', 1)
Bram Moolenaare0de1712020-12-02 17:36:54 +01002125 CheckDefFailure(["var x = {a: 8 , b: 9}"], 'E1068:', 1)
2126 CheckDefFailure(["var x = {a: 1,b: 2}"], 'E1069:', 1)
2127
2128 CheckDefFailure(["var x = {xxx}"], 'E720:', 1)
2129 CheckDefFailure(["var x = {xxx: 1", "var y = 2"], 'E722:', 2)
2130 CheckDefFailure(["var x = {xxx: 1,"], 'E723:', 2)
2131 CheckDefFailure(["var x = {['a']: xxx}"], 'E1001:', 1)
2132 CheckDefFailure(["var x = {a: 1, a: 2}"], 'E721:', 1)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002133 CheckDefExecFailure(["var x = g:anint.member"], 'E715:', 1)
2134 CheckDefExecFailure(["var x = g:dict_empty.member"], 'E716:', 1)
Bram Moolenaar127542b2020-08-09 17:22:04 +02002135
Bram Moolenaare0de1712020-12-02 17:36:54 +01002136 CheckDefExecFailure(['var x: dict<number> = {a: 234, b: "1"}'], 'E1012:', 1)
2137 CheckDefExecFailure(['var x: dict<number> = {a: "x", b: 134}'], 'E1012:', 1)
2138 CheckDefExecFailure(['var x: dict<string> = {a: 234, b: "1"}'], 'E1012:', 1)
2139 CheckDefExecFailure(['var x: dict<string> = {a: "x", b: 134}'], 'E1012:', 1)
Bram Moolenaar44aefff2020-10-05 19:23:59 +02002140
2141 CheckDefFailure(['var x = ({'], 'E723:', 2)
Bram Moolenaar7bb4e742020-12-09 12:41:50 +01002142 CheckDefExecFailure(['{}[getftype("file")]'], 'E716: Key not present in Dictionary: ""', 1)
Bram Moolenaar9987fb02020-12-15 21:41:56 +01002143
2144 # no automatic conversion from number to string
2145 lines =<< trim END
2146 var n = 123
2147 var d = {[n]: 1}
2148 END
2149 CheckDefFailure(lines, 'E1012:', 2)
2150 CheckScriptFailure(['vim9script'] + lines, 'E928:', 3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002151enddef
2152
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002153def Test_expr7_dict_vim9script()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002154 var lines =<< trim END
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002155 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002156 var d = {
Bram Moolenaare0de1712020-12-02 17:36:54 +01002157 ['one']:
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002158 1,
Bram Moolenaare0de1712020-12-02 17:36:54 +01002159 ['two']: 2,
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002160 }
Bram Moolenaare0de1712020-12-02 17:36:54 +01002161 assert_equal({one: 1, two: 2}, d)
Bram Moolenaar93be1642020-10-11 21:34:41 +02002162
2163 d = { # comment
Bram Moolenaare0de1712020-12-02 17:36:54 +01002164 ['one']:
Bram Moolenaar93be1642020-10-11 21:34:41 +02002165 # comment
2166
2167 1,
2168 # comment
2169 # comment
Bram Moolenaare0de1712020-12-02 17:36:54 +01002170 ['two']: 2,
Bram Moolenaar93be1642020-10-11 21:34:41 +02002171 }
Bram Moolenaare0de1712020-12-02 17:36:54 +01002172 assert_equal({one: 1, two: 2}, d)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002173
2174 var dd = {k: 123->len()}
2175 assert_equal(3, dd.k)
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002176 END
2177 CheckScriptSuccess(lines)
2178
2179 lines =<< trim END
2180 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002181 var d = { ["one"]: "one", ["two"]: "two", }
2182 assert_equal({one: 'one', two: 'two'}, d)
Bram Moolenaare6b53242020-07-01 17:28:33 +02002183 END
2184 CheckScriptSuccess(lines)
2185
2186 lines =<< trim END
2187 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002188 var d = {one: 1,
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002189 two: 2,
2190 }
Bram Moolenaare0de1712020-12-02 17:36:54 +01002191 assert_equal({one: 1, two: 2}, d)
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002192 END
2193 CheckScriptSuccess(lines)
2194
2195 lines =<< trim END
2196 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002197 var d = {one:1, two: 2}
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002198 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002199 CheckScriptFailure(lines, 'E1069:', 2)
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002200
2201 lines =<< trim END
2202 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002203 var d = {one: 1,two: 2}
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002204 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002205 CheckScriptFailure(lines, 'E1069:', 2)
Bram Moolenaardb199212020-08-12 18:01:53 +02002206
2207 lines =<< trim END
2208 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002209 var d = {one : 1}
Bram Moolenaardb199212020-08-12 18:01:53 +02002210 END
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002211 CheckScriptFailure(lines, 'E1068:', 2)
Bram Moolenaardb199212020-08-12 18:01:53 +02002212
2213 lines =<< trim END
2214 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002215 var d = {one:1}
Bram Moolenaardb199212020-08-12 18:01:53 +02002216 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002217 CheckScriptFailure(lines, 'E1069:', 2)
Bram Moolenaarc3d6e8a2020-08-12 18:34:28 +02002218
2219 lines =<< trim END
2220 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002221 var d = {one: 1 , two: 2}
Bram Moolenaarc3d6e8a2020-08-12 18:34:28 +02002222 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002223 CheckScriptFailure(lines, 'E1068:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002224
2225 lines =<< trim END
2226 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002227 var l: dict<number> = {a: 234, b: 'x'}
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002228 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002229 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002230 lines =<< trim END
2231 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002232 var l: dict<number> = {a: 'x', b: 234}
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002233 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002234 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002235 lines =<< trim END
2236 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002237 var l: dict<string> = {a: 'x', b: 234}
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002238 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002239 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002240 lines =<< trim END
2241 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002242 var l: dict<string> = {a: 234, b: 'x'}
Bram Moolenaar41fab3e2020-08-14 21:27:37 +02002243 END
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002244 CheckScriptFailure(lines, 'E1012:', 2)
Bram Moolenaar9c13f762020-11-04 12:00:53 +01002245
2246 lines =<< trim END
Bram Moolenaar918a4242020-12-06 14:37:08 +01002247 vim9script
2248 var d = {['a']: 234, ['b': 'x'}
2249 END
2250 CheckScriptFailure(lines, 'E1139:', 2)
2251 lines =<< trim END
2252 vim9script
2253 def Func()
2254 var d = {['a']: 234, ['b': 'x'}
2255 enddef
2256 defcompile
2257 END
2258 CheckScriptFailure(lines, 'E1139:', 1)
2259 lines =<< trim END
2260 vim9script
2261 var d = {'a':
2262 END
2263 CheckScriptFailure(lines, 'E15:', 2)
2264 lines =<< trim END
2265 vim9script
2266 def Func()
2267 var d = {'a':
2268 enddef
2269 defcompile
2270 END
2271 CheckScriptFailure(lines, 'E723:', 1)
2272
2273 lines =<< trim END
Bram Moolenaar9c13f762020-11-04 12:00:53 +01002274 vim9script
2275 def Failing()
2276 job_stop()
2277 enddef
Bram Moolenaare0de1712020-12-02 17:36:54 +01002278 var dict = {name: Failing}
Bram Moolenaar9c13f762020-11-04 12:00:53 +01002279 END
Bram Moolenaar46f479c2020-11-07 13:09:18 +01002280 if has('channel')
2281 CheckScriptFailure(lines, 'E119:', 1)
2282 else
2283 CheckScriptFailure(lines, 'E117:', 1)
2284 endif
Bram Moolenaar8ea93902020-06-27 14:11:53 +02002285enddef
2286
Bram Moolenaar50788ef2020-07-05 16:51:26 +02002287let g:oneString = 'one'
2288
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002289def Test_expr_member()
2290 assert_equal(1, g:dict_one.one)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002291 var d: dict<number> = g:dict_one
Bram Moolenaar4dac32c2020-05-15 21:44:19 +02002292 assert_equal(1, d['one'])
Bram Moolenaara7eedf32020-07-10 21:50:41 +02002293 assert_equal(1, d[
2294 'one'
2295 ])
2296 assert_equal(1, d
2297 .one)
Bram Moolenaare0de1712020-12-02 17:36:54 +01002298 d = {1: 1, _: 2}
Bram Moolenaarb13ab992020-07-27 21:43:28 +02002299 assert_equal(1, d
2300 .1)
2301 assert_equal(2, d
2302 ._)
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002303
Bram Moolenaarfb9d5c52020-07-04 19:19:43 +02002304 # getting the one member should clear the dict after getting the item
Bram Moolenaare0de1712020-12-02 17:36:54 +01002305 assert_equal('one', {one: 'one'}.one)
2306 assert_equal('one', {one: 'one'}[g:oneString])
Bram Moolenaarfb9d5c52020-07-04 19:19:43 +02002307
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002308 CheckDefFailure(["var x = g:dict_one.#$!"], 'E1002:', 1)
2309 CheckDefExecFailure(["var d: dict<any>", "echo d['a']"], 'E716:', 2)
2310 CheckDefExecFailure(["var d: dict<number>", "d = g:list_empty"], 'E1012: Type mismatch; expected dict<number> but got list<unknown>', 2)
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002311enddef
2312
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002313def Test_expr7_any_index_slice()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002314 var lines =<< trim END
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002315 # getting the one member should clear the list only after getting the item
2316 assert_equal('bbb', ['aaa', 'bbb', 'ccc'][1])
2317
2318 # string is permissive, index out of range accepted
2319 g:teststring = 'abcdef'
2320 assert_equal('b', g:teststring[1])
Bram Moolenaare7525c52021-01-09 13:20:37 +01002321 assert_equal('f', g:teststring[-1])
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002322 assert_equal('', g:teststring[99])
2323
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002324 assert_equal('b', g:teststring[1 : 1])
2325 assert_equal('bcdef', g:teststring[1 :])
2326 assert_equal('abcd', g:teststring[: 3])
2327 assert_equal('cdef', g:teststring[-4 :])
2328 assert_equal('abcdef', g:teststring[-9 :])
2329 assert_equal('abcd', g:teststring[: -3])
2330 assert_equal('', g:teststring[: -9])
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002331
2332 # blob index cannot be out of range
2333 g:testblob = 0z01ab
2334 assert_equal(0x01, g:testblob[0])
2335 assert_equal(0xab, g:testblob[1])
2336 assert_equal(0xab, g:testblob[-1])
2337 assert_equal(0x01, g:testblob[-2])
2338
2339 # blob slice accepts out of range
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002340 assert_equal(0z01ab, g:testblob[0 : 1])
2341 assert_equal(0z01, g:testblob[0 : 0])
2342 assert_equal(0z01, g:testblob[-2 : -2])
2343 assert_equal(0zab, g:testblob[1 : 1])
2344 assert_equal(0zab, g:testblob[-1 : -1])
2345 assert_equal(0z, g:testblob[2 : 2])
2346 assert_equal(0z, g:testblob[0 : -3])
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002347
2348 # list index cannot be out of range
2349 g:testlist = [0, 1, 2, 3]
2350 assert_equal(0, g:testlist[0])
2351 assert_equal(1, g:testlist[1])
2352 assert_equal(3, g:testlist[3])
2353 assert_equal(3, g:testlist[-1])
2354 assert_equal(0, g:testlist[-4])
2355 assert_equal(1, g:testlist[g:theone])
2356
2357 # list slice accepts out of range
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002358 assert_equal([0], g:testlist[0 : 0])
2359 assert_equal([3], g:testlist[3 : 3])
2360 assert_equal([0, 1], g:testlist[0 : 1])
2361 assert_equal([0, 1, 2, 3], g:testlist[0 : 3])
2362 assert_equal([0, 1, 2, 3], g:testlist[0 : 9])
2363 assert_equal([], g:testlist[-1 : 1])
2364 assert_equal([1], g:testlist[-3 : 1])
2365 assert_equal([0, 1], g:testlist[-4 : 1])
2366 assert_equal([0, 1], g:testlist[-9 : 1])
2367 assert_equal([1, 2, 3], g:testlist[1 : -1])
2368 assert_equal([1], g:testlist[1 : -3])
2369 assert_equal([], g:testlist[1 : -4])
2370 assert_equal([], g:testlist[1 : -9])
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002371
Bram Moolenaare0de1712020-12-02 17:36:54 +01002372 g:testdict = {a: 1, b: 2}
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002373 assert_equal(1, g:testdict['a'])
2374 assert_equal(2, g:testdict['b'])
2375 END
2376
2377 CheckDefSuccess(lines)
2378 CheckScriptSuccess(['vim9script'] + lines)
2379
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002380 CheckDefExecFailure(['echo g:testblob[2]'], 'E979:', 1)
2381 CheckScriptFailure(['vim9script', 'echo g:testblob[2]'], 'E979:', 2)
2382 CheckDefExecFailure(['echo g:testblob[-3]'], 'E979:', 1)
2383 CheckScriptFailure(['vim9script', 'echo g:testblob[-3]'], 'E979:', 2)
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002384
Bram Moolenaare7525c52021-01-09 13:20:37 +01002385 CheckDefExecFailure(['echo g:testlist[4]'], 'E684: list index out of range: 4', 1)
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002386 CheckScriptFailure(['vim9script', 'echo g:testlist[4]'], 'E684:', 2)
2387 CheckDefExecFailure(['echo g:testlist[-5]'], 'E684:', 1)
Bram Moolenaare7525c52021-01-09 13:20:37 +01002388 CheckScriptFailure(['vim9script', 'echo g:testlist[-5]'], 'E684: list index out of range: -5', 2)
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002389
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002390 CheckDefExecFailure(['echo g:testdict["a" : "b"]'], 'E719:', 1)
2391 CheckScriptFailure(['vim9script', 'echo g:testdict["a" : "b"]'], 'E719:', 2)
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002392 CheckDefExecFailure(['echo g:testdict[1]'], 'E716:', 1)
2393 CheckScriptFailure(['vim9script', 'echo g:testdict[1]'], 'E716:', 2)
Bram Moolenaarcc673e72020-08-16 17:33:35 +02002394
2395 unlet g:teststring
2396 unlet g:testblob
2397 unlet g:testlist
Bram Moolenaar435d8972020-07-05 16:42:13 +02002398enddef
2399
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002400def Test_expr_member_vim9script()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002401 var lines =<< trim END
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002402 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002403 var d = {one:
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002404 'one',
Bram Moolenaarb13ab992020-07-27 21:43:28 +02002405 two: 'two',
2406 1: 1,
2407 _: 2}
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002408 assert_equal('one', d.one)
2409 assert_equal('one', d
2410 .one)
Bram Moolenaarb13ab992020-07-27 21:43:28 +02002411 assert_equal(1, d
2412 .1)
2413 assert_equal(2, d
2414 ._)
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002415 assert_equal('one', d[
2416 'one'
2417 ])
2418 END
2419 CheckScriptSuccess(lines)
2420
2421 lines =<< trim END
2422 vim9script
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002423 var l = [1,
Bram Moolenaar442af2f2020-07-03 21:09:52 +02002424 2,
2425 3, 4
2426 ]
2427 assert_equal(2, l[
2428 1
2429 ])
2430 assert_equal([2, 3], l[1 : 2])
2431 assert_equal([1, 2, 3], l[
2432 :
2433 2
2434 ])
2435 assert_equal([3, 4], l[
2436 2
2437 :
2438 ])
2439 END
2440 CheckScriptSuccess(lines)
2441enddef
2442
Bram Moolenaara79925a2021-01-05 17:50:28 +01002443def SetSomeVar()
2444 b:someVar = &fdm
2445enddef
2446
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002447def Test_expr7_option()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002448 # option
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002449 set ts=11
2450 assert_equal(11, &ts)
Bram Moolenaar401d9ff2020-02-19 18:14:44 +01002451 &ts = 9
2452 assert_equal(9, &ts)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002453 set ts=8
2454 set grepprg=some\ text
2455 assert_equal('some text', &grepprg)
Bram Moolenaar97a2af32020-01-28 22:52:48 +01002456 &grepprg = test_null_string()
2457 assert_equal('', &grepprg)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002458 set grepprg&
Bram Moolenaard5ea8f02021-01-01 14:49:15 +01002459
2460 # check matching type
2461 var bval: bool = &tgc
2462 var nval: number = &ts
2463 var sval: string = &path
Bram Moolenaara79925a2021-01-05 17:50:28 +01002464
2465 # check v_lock is cleared (requires using valgrind, doesn't always show)
2466 SetSomeVar()
2467 b:someVar = 0
2468 unlet b:someVar
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002469enddef
2470
2471def Test_expr7_environment()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002472 # environment variable
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002473 assert_equal('testvar', $TESTVAR)
2474 assert_equal('', $ASDF_ASD_XXX)
Bram Moolenaarc58164c2020-03-29 18:40:30 +02002475
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002476 CheckDefFailure(["var x = $$$"], 'E1002:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002477enddef
2478
2479def Test_expr7_register()
Bram Moolenaar401d9ff2020-02-19 18:14:44 +01002480 @a = 'register a'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002481 assert_equal('register a', @a)
Bram Moolenaar7226e5b2020-08-02 17:33:26 +02002482
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002483 var fname = expand('%')
Bram Moolenaar7226e5b2020-08-02 17:33:26 +02002484 assert_equal(fname, @%)
2485
2486 feedkeys(":echo 'some'\<CR>", "xt")
2487 assert_equal("echo 'some'", @:)
2488
2489 normal axyz
2490 assert_equal("xyz", @.)
Bram Moolenaard2c61702020-09-06 15:58:36 +02002491 CheckDefFailure(["@. = 'yes'"], 'E354:', 1)
Bram Moolenaar65821722020-08-02 18:58:54 +02002492
2493 @/ = 'slash'
2494 assert_equal('slash', @/)
2495
2496 @= = 'equal'
2497 assert_equal('equal', @=)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002498enddef
2499
Bram Moolenaar2f8ce0a2020-07-19 19:47:35 +02002500def Test_expr7_namespace()
2501 g:some_var = 'some'
2502 assert_equal('some', get(g:, 'some_var'))
2503 assert_equal('some', get(g:, 'some_var', 'xxx'))
2504 assert_equal('xxx', get(g:, 'no_var', 'xxx'))
2505 unlet g:some_var
2506
2507 b:some_var = 'some'
2508 assert_equal('some', get(b:, 'some_var'))
2509 assert_equal('some', get(b:, 'some_var', 'xxx'))
2510 assert_equal('xxx', get(b:, 'no_var', 'xxx'))
2511 unlet b:some_var
2512
2513 w:some_var = 'some'
2514 assert_equal('some', get(w:, 'some_var'))
2515 assert_equal('some', get(w:, 'some_var', 'xxx'))
2516 assert_equal('xxx', get(w:, 'no_var', 'xxx'))
2517 unlet w:some_var
2518
2519 t:some_var = 'some'
2520 assert_equal('some', get(t:, 'some_var'))
2521 assert_equal('some', get(t:, 'some_var', 'xxx'))
2522 assert_equal('xxx', get(t:, 'no_var', 'xxx'))
2523 unlet t:some_var
2524enddef
2525
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002526def Test_expr7_parens()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002527 # (expr)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002528 var lines =<< trim END
Bram Moolenaar24156692021-01-14 20:35:49 +01002529 assert_equal(4, (6 * 4) / 6)
2530 assert_equal(0, 6 * ( 4 / 6 ))
2531
2532 assert_equal(6, +6)
2533 assert_equal(-6, -6)
2534 assert_equal(false, !-3)
2535 assert_equal(true, !+0)
2536
2537 assert_equal(7, 5 + (
2538 2))
2539 assert_equal(7, 5 + (
2540 2
2541 ))
2542 assert_equal(7, 5 + ( # comment
2543 2))
2544 assert_equal(7, 5 + ( # comment
2545 # comment
2546 2))
2547
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002548 var s = (
Bram Moolenaar7a4981b2020-06-27 20:46:29 +02002549 'one'
2550 ..
2551 'two'
2552 )
2553 assert_equal('onetwo', s)
2554 END
Bram Moolenaar24156692021-01-14 20:35:49 +01002555 CheckDefAndScriptSuccess(lines)
Bram Moolenaar7a4981b2020-06-27 20:46:29 +02002556enddef
2557
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002558def Test_expr7_negate_add()
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002559 assert_equal(-99, -99)
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002560 assert_equal(-99, - 99)
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002561 assert_equal(99, +99)
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002562
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002563 var nr = 88
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002564 assert_equal(-88, -nr)
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002565 assert_equal(-88, - nr)
Bram Moolenaar79cdf802020-11-18 17:39:05 +01002566 assert_equal(88, + nr)
Bram Moolenaarb23279d2021-01-05 22:08:20 +01002567
2568 var lines =<< trim END
2569 var n = 12
2570 echo ++n
2571 END
2572 CheckDefAndScriptFailure(lines, 'E15:')
2573 lines =<< trim END
2574 var n = 12
2575 echo --n
2576 END
2577 CheckDefAndScriptFailure(lines, 'E15:')
2578 lines =<< trim END
2579 var n = 12
2580 echo +-n
2581 END
2582 CheckDefAndScriptFailure(lines, 'E15:')
2583 lines =<< trim END
2584 var n = 12
2585 echo -+n
2586 END
2587 CheckDefAndScriptFailure(lines, 'E15:')
2588 lines =<< trim END
2589 var n = 12
2590 echo - -n
2591 END
2592 CheckDefAndScriptFailure(lines, 'E15:')
2593 lines =<< trim END
2594 var n = 12
2595 echo + +n
2596 END
2597 CheckDefAndScriptFailure(lines, 'E15:')
2598
2599 lines =<< trim END
2600 var n = 12
2601 :1
2602 ++n
2603 END
2604 CheckDefAndScriptFailure(lines, 'E1050:')
2605 lines =<< trim END
2606 var n = 12
2607 :1
2608 --n
2609 END
2610 CheckDefAndScriptFailure(lines, 'E1050:')
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002611enddef
2612
Bram Moolenaar6e949782020-04-13 17:21:00 +02002613def Echo(arg: any): string
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002614 return arg
2615enddef
2616
Bram Moolenaarc5da1fb2020-08-05 15:43:44 +02002617def s:Echo4Arg(arg: any): string
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002618 return arg
2619enddef
2620
2621def Test_expr7_call()
Bram Moolenaar659bb222020-11-12 20:16:39 +01002622 var lines =<< trim END
2623 assert_equal('yes', 'yes'->Echo())
2624 assert_equal(true, !range(5)->empty())
Bram Moolenaarb23279d2021-01-05 22:08:20 +01002625 assert_equal([0, 1, 2], 3->range())
Bram Moolenaar659bb222020-11-12 20:16:39 +01002626 END
2627 CheckDefAndScriptSuccess(lines)
2628
Bram Moolenaardd1a9af2020-07-23 15:38:03 +02002629 assert_equal('yes', 'yes'
Bram Moolenaar659bb222020-11-12 20:16:39 +01002630 ->s:Echo4Arg())
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002631
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002632 CheckDefFailure(["var x = 'yes'->Echo"], 'E107:', 1)
Bram Moolenaard2c61702020-09-06 15:58:36 +02002633 CheckScriptFailure([
2634 "vim9script",
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002635 "var x = substitute ('x', 'x', 'x', 'x')"
Bram Moolenaard2c61702020-09-06 15:58:36 +02002636 ], 'E121:', 2)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002637 CheckDefFailure(["var Ref = function('len' [1, 2])"], 'E1123:', 1)
Bram Moolenaara1773442020-08-12 15:21:22 +02002638
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002639 var auto_lines =<< trim END
Bram Moolenaara1773442020-08-12 15:21:22 +02002640 def g:some#func(): string
2641 return 'found'
2642 enddef
2643 END
2644 mkdir('Xruntime/autoload', 'p')
2645 writefile(auto_lines, 'Xruntime/autoload/some.vim')
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002646 var save_rtp = &rtp
Bram Moolenaara1773442020-08-12 15:21:22 +02002647 &rtp = getcwd() .. '/Xruntime,' .. &rtp
2648 assert_equal('found', g:some#func())
2649 assert_equal('found', some#func())
2650
2651 &rtp = save_rtp
2652 delete('Xruntime', 'rf')
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002653enddef
2654
Bram Moolenaar7e368202020-12-25 21:56:57 +01002655def Test_expr7_method_call()
2656 new
2657 setline(1, ['first', 'last'])
2658 'second'->append(1)
2659 "third"->append(2)
2660 assert_equal(['first', 'second', 'third', 'last'], getline(1, '$'))
2661 bwipe!
2662
2663 var bufnr = bufnr()
2664 var loclist = [{bufnr: bufnr, lnum: 42, col: 17, text: 'wrong'}]
2665 loclist->setloclist(0)
2666 assert_equal([{bufnr: bufnr,
2667 lnum: 42,
2668 col: 17,
2669 text: 'wrong',
2670 pattern: '',
2671 valid: 1,
2672 vcol: 0,
2673 nr: 0,
2674 type: '',
2675 module: ''}
2676 ], getloclist(0))
2677
2678 var result: bool = get({n: 0}, 'n', 0)
2679 assert_equal(false, result)
2680
2681 assert_equal('+string+', 'string'->((s) => '+' .. s .. '+')())
2682 assert_equal('-text-', 'text'->((s, c) => c .. s .. c)('-'))
2683
2684 var Join = (l) => join(l, 'x')
2685 assert_equal('axb', ['a', 'b']->(Join)())
2686enddef
2687
Bram Moolenaar0b37a2f2020-03-29 21:38:15 +02002688
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002689def Test_expr7_not()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002690 var lines =<< trim END
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002691 assert_equal(true, !'')
2692 assert_equal(true, ![])
2693 assert_equal(false, !'asdf')
2694 assert_equal(false, ![2])
2695 assert_equal(true, !!'asdf')
2696 assert_equal(true, !![2])
Bram Moolenaar8ed04582020-02-22 19:07:28 +01002697
Bram Moolenaar27491cd2020-10-15 21:54:56 +02002698 assert_equal(true, ! false)
2699 assert_equal(true, !! true)
2700 assert_equal(true, ! ! true)
2701 assert_equal(true, !!! false)
2702 assert_equal(true, ! ! ! false)
2703
2704 g:true = true
2705 g:false = false
2706 assert_equal(true, ! g:false)
2707 assert_equal(true, !! g:true)
2708 assert_equal(true, ! ! g:true)
2709 assert_equal(true, !!! g:false)
2710 assert_equal(true, ! ! ! g:false)
2711 unlet g:true
2712 unlet g:false
2713
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002714 assert_equal(true, !test_null_partial())
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002715 assert_equal(false, !() => 'yes')
Bram Moolenaar8ed04582020-02-22 19:07:28 +01002716
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002717 assert_equal(true, !test_null_dict())
2718 assert_equal(true, !{})
Bram Moolenaare0de1712020-12-02 17:36:54 +01002719 assert_equal(false, !{yes: 'no'})
Bram Moolenaar8ed04582020-02-22 19:07:28 +01002720
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002721 if has('channel')
2722 assert_equal(true, !test_null_job())
2723 assert_equal(true, !test_null_channel())
2724 endif
Bram Moolenaar8ed04582020-02-22 19:07:28 +01002725
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002726 assert_equal(true, !test_null_blob())
2727 assert_equal(true, !0z)
2728 assert_equal(false, !0z01)
Bram Moolenaar8ed04582020-02-22 19:07:28 +01002729
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002730 assert_equal(true, !test_void())
2731 assert_equal(true, !test_unknown())
Bram Moolenaar59eccb92020-08-10 23:09:37 +02002732
2733 assert_equal(false, ![1, 2, 3]->reverse())
2734 assert_equal(true, ![]->reverse())
Bram Moolenaar3e06a1e2020-08-10 21:57:54 +02002735 END
Bram Moolenaar27491cd2020-10-15 21:54:56 +02002736 CheckDefAndScriptSuccess(lines)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002737enddef
2738
2739func Test_expr7_fails()
Bram Moolenaar5afd0812021-01-03 18:33:13 +01002740 call CheckDefFailure(["var x = (12"], "E1097:", 3)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002741
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002742 call CheckDefFailure(["var x = -'xx'"], "E1030:", 1)
2743 call CheckDefFailure(["var x = +'xx'"], "E1030:", 1)
2744 call CheckDefFailure(["var x = -0z12"], "E974:", 1)
2745 call CheckDefExecFailure(["var x = -[8]"], "E39:", 1)
Bram Moolenaare0de1712020-12-02 17:36:54 +01002746 call CheckDefExecFailure(["var x = -{a: 1}"], "E39:", 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002747
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002748 call CheckDefFailure(["var x = @"], "E1002:", 1)
2749 call CheckDefFailure(["var x = @<"], "E354:", 1)
Bram Moolenaar58ceca52020-01-28 22:46:22 +01002750
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002751 call CheckDefFailure(["var x = [1, 2"], "E697:", 2)
2752 call CheckDefFailure(["var x = [notfound]"], "E1001:", 1)
Bram Moolenaaree619e52020-03-28 21:38:06 +01002753
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002754 call CheckDefFailure(["var X = () => 123)"], "E488:", 1)
2755 call CheckDefFailure(["var x = 123->((x) => x + 5)"], "E107:", 1)
Bram Moolenaaree619e52020-03-28 21:38:06 +01002756
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002757 call CheckDefFailure(["var x = &notexist"], 'E113:', 1)
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002758 call CheckDefFailure(["&grepprg = [343]"], 'E1012:', 1)
Bram Moolenaarfd1823e2020-02-19 20:23:11 +01002759
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002760 call CheckDefExecFailure(["echo s:doesnt_exist"], 'E121:', 1)
2761 call CheckDefExecFailure(["echo g:doesnt_exist"], 'E121:', 1)
Bram Moolenaar09f28f42020-02-20 23:08:34 +01002762
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002763 call CheckDefFailure(["echo a:somevar"], 'E1075:', 1)
2764 call CheckDefFailure(["echo l:somevar"], 'E1075:', 1)
2765 call CheckDefFailure(["echo x:somevar"], 'E1075:', 1)
Bram Moolenaar33fa29c2020-03-28 19:41:33 +01002766
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002767 call CheckDefExecFailure(["var x = +g:astring"], 'E1030:', 1)
2768 call CheckDefExecFailure(["var x = +g:ablob"], 'E974:', 1)
2769 call CheckDefExecFailure(["var x = +g:alist"], 'E745:', 1)
2770 call CheckDefExecFailure(["var x = +g:adict"], 'E728:', 1)
Bram Moolenaar42a480b2020-02-29 23:23:47 +01002771
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002772 call CheckDefFailure(["var x = ''", "var y = x.memb"], 'E715:', 2)
Bram Moolenaar33fa29c2020-03-28 19:41:33 +01002773
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002774 call CheckDefFailure(["'yes'->", "Echo()"], 'E488: Trailing characters: ->', 1)
Bram Moolenaardd1a9af2020-07-23 15:38:03 +02002775
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002776 call CheckDefExecFailure(["[1, 2->len()"], 'E697:', 2)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002777 call CheckDefExecFailure(["{a: 1->len()"], 'E723:', 2)
Bram Moolenaare0de1712020-12-02 17:36:54 +01002778 call CheckDefExecFailure(["{['a']: 1->len()"], 'E723:', 2)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002779endfunc
2780
2781let g:Funcrefs = [function('add')]
2782
2783func CallMe(arg)
2784 return a:arg
2785endfunc
2786
Bram Moolenaar38a5f512020-02-19 12:40:39 +01002787func CallMe2(one, two)
2788 return a:one .. a:two
2789endfunc
2790
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002791def Test_expr7_trailing()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002792 # user function call
Bram Moolenaar4c17ad92020-04-27 22:47:51 +02002793 assert_equal(123, g:CallMe(123))
2794 assert_equal(123, g:CallMe( 123))
2795 assert_equal(123, g:CallMe(123 ))
2796 assert_equal('yesno', g:CallMe2('yes', 'no'))
2797 assert_equal('yesno', g:CallMe2( 'yes', 'no' ))
2798 assert_equal('nothing', g:CallMe('nothing'))
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002799
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002800 # partial call
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002801 var Part = function('g:CallMe')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002802 assert_equal('yes', Part('yes'))
2803
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002804 # funcref call, using list index
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002805 var l = []
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002806 g:Funcrefs[0](l, 2)
2807 assert_equal([2], l)
2808
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002809 # method call
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002810 l = [2, 5, 6]
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002811 l->map((k, v) => k + v)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002812 assert_equal([2, 6, 8], l)
2813
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002814 # lambda method call
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002815 l = [2, 5]
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002816 l->((l) => add(l, 8))()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002817 assert_equal([2, 5, 8], l)
2818
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02002819 # dict member
Bram Moolenaare0de1712020-12-02 17:36:54 +01002820 var d = {key: 123}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01002821 assert_equal(123, d.key)
2822enddef
2823
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002824def Test_expr7_string_subscript()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002825 var lines =<< trim END
2826 var text = 'abcdef'
Bram Moolenaare7525c52021-01-09 13:20:37 +01002827 assert_equal('f', text[-1])
Bram Moolenaare3c37d82020-08-15 18:39:05 +02002828 assert_equal('a', text[0])
2829 assert_equal('e', text[4])
2830 assert_equal('f', text[5])
2831 assert_equal('', text[6])
2832
Bram Moolenaare7525c52021-01-09 13:20:37 +01002833 text = 'ábçdë'
2834 assert_equal('ë', text[-1])
2835 assert_equal('d', text[-2])
2836 assert_equal('ç', text[-3])
2837 assert_equal('b', text[-4])
2838 assert_equal('á', text[-5])
2839 assert_equal('', text[-6])
2840
Bram Moolenaare3c37d82020-08-15 18:39:05 +02002841 text = 'ábçdëf'
2842 assert_equal('', text[-999])
Bram Moolenaare7525c52021-01-09 13:20:37 +01002843 assert_equal('f', text[-1])
Bram Moolenaare3c37d82020-08-15 18:39:05 +02002844 assert_equal('á', text[0])
2845 assert_equal('b', text[1])
2846 assert_equal('ç', text[2])
2847 assert_equal('d', text[3])
2848 assert_equal('ë', text[4])
2849 assert_equal('f', text[5])
2850 assert_equal('', text[6])
2851 assert_equal('', text[999])
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002852
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002853 assert_equal('ábçdëf', text[0 : -1])
2854 assert_equal('ábçdëf', text[0 : -1])
2855 assert_equal('ábçdëf', text[0 : -1])
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002856 assert_equal('ábçdëf', text[0 : -1])
2857 assert_equal('ábçdëf', text[0
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002858 : -1])
2859 assert_equal('ábçdëf', text[0 :
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002860 -1])
2861 assert_equal('ábçdëf', text[0 : -1
2862 ])
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002863 assert_equal('bçdëf', text[1 : -1])
2864 assert_equal('çdëf', text[2 : -1])
2865 assert_equal('dëf', text[3 : -1])
2866 assert_equal('ëf', text[4 : -1])
2867 assert_equal('f', text[5 : -1])
2868 assert_equal('', text[6 : -1])
2869 assert_equal('', text[999 : -1])
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002870
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002871 assert_equal('ábçd', text[: 3])
2872 assert_equal('bçdëf', text[1 :])
Bram Moolenaar11107ba2020-08-15 21:10:16 +02002873 assert_equal('ábçdëf', text[:])
Bram Moolenaare3c37d82020-08-15 18:39:05 +02002874 END
2875 CheckDefSuccess(lines)
2876 CheckScriptSuccess(['vim9script'] + lines)
Bram Moolenaar918a4242020-12-06 14:37:08 +01002877
2878 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002879 var d = 'asdf'[1 :
Bram Moolenaar918a4242020-12-06 14:37:08 +01002880 END
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01002881 CheckDefFailure(lines, 'E1097:', 3)
Bram Moolenaar918a4242020-12-06 14:37:08 +01002882 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002883 var d = 'asdf'[1 : xxx]
Bram Moolenaar918a4242020-12-06 14:37:08 +01002884 END
2885 CheckDefFailure(lines, 'E1001:', 1)
2886 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002887 var d = 'asdf'[1 : 2
Bram Moolenaar918a4242020-12-06 14:37:08 +01002888 END
Bram Moolenaar8ff16e02020-12-07 21:49:52 +01002889 CheckDefFailure(lines, 'E1097:', 3)
Bram Moolenaar918a4242020-12-06 14:37:08 +01002890 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002891 var d = 'asdf'[1 : 2
Bram Moolenaar918a4242020-12-06 14:37:08 +01002892 echo d
2893 END
2894 CheckDefFailure(lines, 'E111:', 2)
2895 lines =<< trim END
2896 var d = 'asdf'['1']
2897 echo d
2898 END
2899 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1)
2900 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002901 var d = 'asdf'['1' : 2]
Bram Moolenaar918a4242020-12-06 14:37:08 +01002902 echo d
2903 END
2904 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1)
2905 lines =<< trim END
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002906 var d = 'asdf'[1 : '2']
Bram Moolenaar918a4242020-12-06 14:37:08 +01002907 echo d
2908 END
2909 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1)
Bram Moolenaarbf9d8c32020-07-19 17:55:44 +02002910enddef
2911
Bram Moolenaared591872020-08-15 22:14:53 +02002912def Test_expr7_list_subscript()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002913 var lines =<< trim END
2914 var list = [0, 1, 2, 3, 4]
Bram Moolenaared591872020-08-15 22:14:53 +02002915 assert_equal(0, list[0])
2916 assert_equal(4, list[4])
2917 assert_equal(4, list[-1])
2918 assert_equal(0, list[-5])
2919
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002920 assert_equal([0, 1, 2, 3, 4], list[0 : 4])
Bram Moolenaared591872020-08-15 22:14:53 +02002921 assert_equal([0, 1, 2, 3, 4], list[:])
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002922 assert_equal([1, 2, 3, 4], list[1 :])
2923 assert_equal([2, 3, 4], list[2 : -1])
2924 assert_equal([4], list[4 : -1])
2925 assert_equal([], list[5 : -1])
2926 assert_equal([], list[999 : -1])
2927 assert_equal([1, 2, 3, 4], list[g:theone : g:thefour])
Bram Moolenaared591872020-08-15 22:14:53 +02002928
Bram Moolenaarde4f95b2020-12-30 20:39:21 +01002929 assert_equal([0, 1, 2, 3], list[0 : 3])
2930 assert_equal([0], list[0 : 0])
2931 assert_equal([0, 1, 2, 3, 4], list[0 : -1])
2932 assert_equal([0, 1, 2], list[0 : -3])
2933 assert_equal([0], list[0 : -5])
2934 assert_equal([], list[0 : -6])
2935 assert_equal([], list[0 : -99])
Bram Moolenaared591872020-08-15 22:14:53 +02002936 END
Bram Moolenaare7525c52021-01-09 13:20:37 +01002937 CheckDefAndScriptSuccess(lines)
Bram Moolenaar56acb092020-08-16 14:48:19 +02002938
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002939 lines = ['var l = [0, 1, 2]', 'echo l[g:astring : g:theone]']
Bram Moolenaar5e654232020-09-16 15:22:00 +02002940 CheckDefExecFailure(lines, 'E1012:')
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02002941 CheckScriptFailure(['vim9script'] + lines, 'E1030:', 3)
Bram Moolenaar31a11b92021-01-10 19:23:27 +01002942
2943 lines =<< trim END
2944 vim9script
2945 var ld = []
2946 def Func()
2947 eval ld[0].key
2948 enddef
2949 defcompile
2950 END
2951 CheckScriptSuccess(lines)
Bram Moolenaared591872020-08-15 22:14:53 +02002952enddef
2953
Bram Moolenaarc6e57b72020-09-12 21:27:03 +02002954def Test_expr7_dict_subscript()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002955 var lines =<< trim END
Bram Moolenaarc6e57b72020-09-12 21:27:03 +02002956 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +01002957 var l = [{lnum: 2}, {lnum: 1}]
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002958 var res = l[0].lnum > l[1].lnum
Bram Moolenaarc6e57b72020-09-12 21:27:03 +02002959 assert_true(res)
Bram Moolenaar31a11b92021-01-10 19:23:27 +01002960
2961 var dd = {}
2962 def Func1()
2963 eval dd.key1.key2
2964 enddef
2965 def Func2()
2966 eval dd['key1'].key2
2967 enddef
2968 defcompile
Bram Moolenaarc6e57b72020-09-12 21:27:03 +02002969 END
2970 CheckScriptSuccess(lines)
2971enddef
2972
Bram Moolenaara3b7fdc2020-06-21 14:12:17 +02002973def Test_expr7_subscript_linebreak()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002974 var range = range(
Bram Moolenaara3b7fdc2020-06-21 14:12:17 +02002975 3)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02002976 var l = range
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002977 ->mapnew('string(v:key)')
Bram Moolenaara3b7fdc2020-06-21 14:12:17 +02002978 assert_equal(['0', '1', '2'], l)
2979
Bram Moolenaar23c55272020-06-21 16:58:13 +02002980 l = range
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002981 ->mapnew('string(v:key)')
Bram Moolenaar23c55272020-06-21 16:58:13 +02002982 assert_equal(['0', '1', '2'], l)
2983
2984 l = range # comment
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002985 ->mapnew('string(v:key)')
Bram Moolenaar23c55272020-06-21 16:58:13 +02002986 assert_equal(['0', '1', '2'], l)
2987
2988 l = range
2989
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002990 ->mapnew('string(v:key)')
Bram Moolenaar23c55272020-06-21 16:58:13 +02002991 assert_equal(['0', '1', '2'], l)
2992
2993 l = range
2994 # comment
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002995 ->mapnew('string(v:key)')
Bram Moolenaar23c55272020-06-21 16:58:13 +02002996 assert_equal(['0', '1', '2'], l)
2997
Bram Moolenaara3b7fdc2020-06-21 14:12:17 +02002998 assert_equal('1', l[
2999 1])
3000
Bram Moolenaare0de1712020-12-02 17:36:54 +01003001 var d = {one: 33}
Bram Moolenaara3b7fdc2020-06-21 14:12:17 +02003002 assert_equal(33, d.
3003 one)
3004enddef
3005
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01003006func Test_expr7_trailing_fails()
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01003007 call CheckDefFailure(['var l = [2]', 'l->((l) => add(l, 8))'], 'E107:', 2)
3008 call CheckDefFailure(['var l = [2]', 'l->((l) => add(l, 8)) ()'], 'E274:', 2)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01003009endfunc
3010
3011func Test_expr_fails()
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02003012 call CheckDefFailure(["var x = '1'is2"], 'E488:', 1)
3013 call CheckDefFailure(["var x = '1'isnot2"], 'E488:', 1)
Bram Moolenaar38a5f512020-02-19 12:40:39 +01003014
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02003015 call CheckDefFailure(["CallMe ('yes')"], 'E476:', 1)
Bram Moolenaar7cb6fc22020-08-21 22:36:47 +02003016 call CheckScriptFailure(["CallMe ('yes')"], 'E492:', 1)
Bram Moolenaarba7c0d72020-09-09 18:54:42 +02003017 call CheckDefAndScriptFailure(["CallMe2('yes','no')"], 'E1069:', 1)
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02003018 call CheckDefFailure(["CallMe2('yes' , 'no')"], 'E1068:', 1)
Bram Moolenaar0c2ca582020-02-25 22:58:29 +01003019
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02003020 call CheckDefFailure(["v:nosuch += 3"], 'E1001:', 1)
Bram Moolenaar37ce6d32020-09-27 17:57:43 +02003021 call CheckDefFailure(["var v:statusmsg = ''"], 'E1016: Cannot declare a v: variable:', 1)
3022 call CheckDefFailure(["var asdf = v:nosuch"], 'E1001:', 1)
Bram Moolenaar33fa29c2020-03-28 19:41:33 +01003023
Bram Moolenaar3affe7a2020-08-18 20:34:13 +02003024 call CheckDefFailure(["echo len('asdf'"], 'E110:', 2)
3025 call CheckDefFailure(["echo Func0123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789()"], 'E1011:', 1)
3026 call CheckDefFailure(["echo doesnotexist()"], 'E117:', 1)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01003027endfunc
Bram Moolenaar6d91bcb2020-08-12 18:50:36 +02003028
3029" vim: shiftwidth=2 sts=2 expandtab