blob: 230ddc50c601d1ba8ff2fe12f0cfaac18b07a12c [file] [log] [blame]
Bram Moolenaar971caf52020-09-21 22:21:42 +02001" Test Vim9 assignments
2
3source check.vim
4source vim9.vim
5
6let s:appendToMe = 'xxx'
7let s:addToMe = 111
8let g:existing = 'yes'
9let g:inc_counter = 1
10let $SOME_ENV_VAR = 'some'
11let g:alist = [7]
Bram Moolenaar5b5ae292021-02-20 17:04:02 +010012let g:adict = #{a: 1}
Bram Moolenaar971caf52020-09-21 22:21:42 +020013let g:astring = 'text'
14
15def Test_assignment_bool()
Bram Moolenaar30fd8202020-09-26 15:09:30 +020016 var bool1: bool = true
Bram Moolenaar971caf52020-09-21 22:21:42 +020017 assert_equal(v:true, bool1)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020018 var bool2: bool = false
Bram Moolenaar971caf52020-09-21 22:21:42 +020019 assert_equal(v:false, bool2)
20
Bram Moolenaar30fd8202020-09-26 15:09:30 +020021 var bool3: bool = 0
Bram Moolenaar971caf52020-09-21 22:21:42 +020022 assert_equal(false, bool3)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020023 var bool4: bool = 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020024 assert_equal(true, bool4)
25
Bram Moolenaar2bb26582020-10-03 22:52:39 +020026 var bool5: bool = 1 && true
Bram Moolenaar971caf52020-09-21 22:21:42 +020027 assert_equal(true, bool5)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020028 var bool6: bool = 0 && 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020029 assert_equal(false, bool6)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020030 var bool7: bool = 0 || 1 && true
Bram Moolenaar971caf52020-09-21 22:21:42 +020031 assert_equal(true, bool7)
32
Bram Moolenaar30fd8202020-09-26 15:09:30 +020033 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +020034 vim9script
35 def GetFlag(): bool
Bram Moolenaar30fd8202020-09-26 15:09:30 +020036 var flag: bool = 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020037 return flag
38 enddef
Bram Moolenaar30fd8202020-09-26 15:09:30 +020039 var flag: bool = GetFlag()
Bram Moolenaar971caf52020-09-21 22:21:42 +020040 assert_equal(true, flag)
41 flag = 0
42 assert_equal(false, flag)
43 flag = 1
44 assert_equal(true, flag)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020045 flag = 1 || true
Bram Moolenaar971caf52020-09-21 22:21:42 +020046 assert_equal(true, flag)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020047 flag = 1 && false
Bram Moolenaar971caf52020-09-21 22:21:42 +020048 assert_equal(false, flag)
Bram Moolenaardd1f4262020-12-31 17:41:01 +010049
50 var cp: bool = &cp
51 var fen: bool = &l:fen
Bram Moolenaar971caf52020-09-21 22:21:42 +020052 END
53 CheckScriptSuccess(lines)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020054 CheckDefAndScriptFailure(['var x: bool = 2'], 'E1012:')
55 CheckDefAndScriptFailure(['var x: bool = -1'], 'E1012:')
56 CheckDefAndScriptFailure(['var x: bool = [1]'], 'E1012:')
57 CheckDefAndScriptFailure(['var x: bool = {}'], 'E1012:')
58 CheckDefAndScriptFailure(['var x: bool = "x"'], 'E1012:')
Bram Moolenaar9a562c12021-01-23 13:39:14 +010059
60 CheckDefAndScriptFailure(['var x: bool = "x"', '', 'eval 0'], 'E1012:', 1)
Bram Moolenaar971caf52020-09-21 22:21:42 +020061enddef
62
63def Test_syntax()
Bram Moolenaar98309382020-09-27 21:58:45 +020064 var name = 234
Bram Moolenaar30fd8202020-09-26 15:09:30 +020065 var other: list<string> = ['asdf']
Bram Moolenaar971caf52020-09-21 22:21:42 +020066enddef
67
68def Test_assignment()
Bram Moolenaar30fd8202020-09-26 15:09:30 +020069 CheckDefFailure(['var x:string'], 'E1069:')
70 CheckDefFailure(['var x:string = "x"'], 'E1069:')
71 CheckDefFailure(['var a:string = "x"'], 'E1069:')
Bram Moolenaar2949cfd2020-12-31 21:28:47 +010072 CheckDefFailure(['var lambda = () => "lambda"'], 'E704:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +020073 CheckScriptFailure(['var x = "x"'], 'E1124:')
Bram Moolenaar971caf52020-09-21 22:21:42 +020074
Bram Moolenaar3f327882021-03-17 20:56:38 +010075 # lower case name is OK for a list
76 var lambdaLines =<< trim END
77 var lambdaList: list<func> = [Test_syntax]
78 lambdaList[0] = () => "lambda"
79 END
80 CheckDefAndScriptSuccess(lambdaLines)
81
Bram Moolenaar30fd8202020-09-26 15:09:30 +020082 var nr: number = 1234
83 CheckDefFailure(['var nr: number = "asdf"'], 'E1012:')
Bram Moolenaar971caf52020-09-21 22:21:42 +020084
Bram Moolenaar30fd8202020-09-26 15:09:30 +020085 var a: number = 6 #comment
Bram Moolenaar971caf52020-09-21 22:21:42 +020086 assert_equal(6, a)
87
88 if has('channel')
Bram Moolenaar30fd8202020-09-26 15:09:30 +020089 var chan1: channel
Bram Moolenaar218450a2020-10-17 18:51:52 +020090 assert_equal('fail', ch_status(chan1))
91
Bram Moolenaar30fd8202020-09-26 15:09:30 +020092 var job1: job
Bram Moolenaar218450a2020-10-17 18:51:52 +020093 assert_equal('fail', job_status(job1))
94
Bram Moolenaarfc8aa6d2020-10-12 20:31:26 +020095 # calling job_start() is in test_vim9_fails.vim, it causes leak reports
Bram Moolenaar971caf52020-09-21 22:21:42 +020096 endif
97 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +020098 var float1: float = 3.4
Bram Moolenaar971caf52020-09-21 22:21:42 +020099 endif
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200100 var Funky1: func
101 var Funky2: func = function('len')
102 var Party2: func = funcref('g:Test_syntax')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200103
104 g:newvar = 'new' #comment
105 assert_equal('new', g:newvar)
106
107 assert_equal('yes', g:existing)
108 g:existing = 'no'
109 assert_equal('no', g:existing)
110
111 v:char = 'abc'
112 assert_equal('abc', v:char)
113
114 $ENVVAR = 'foobar'
115 assert_equal('foobar', $ENVVAR)
116 $ENVVAR = ''
117
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200118 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200119 vim9script
120 $ENVVAR = 'barfoo'
121 assert_equal('barfoo', $ENVVAR)
122 $ENVVAR = ''
123 END
124 CheckScriptSuccess(lines)
125
126 s:appendToMe ..= 'yyy'
127 assert_equal('xxxyyy', s:appendToMe)
128 s:addToMe += 222
129 assert_equal(333, s:addToMe)
130 s:newVar = 'new'
131 assert_equal('new', s:newVar)
132
133 set ts=7
Bram Moolenaardd1f4262020-12-31 17:41:01 +0100134 var ts: number = &ts
135 assert_equal(7, ts)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200136 &ts += 1
137 assert_equal(8, &ts)
138 &ts -= 3
139 assert_equal(5, &ts)
140 &ts *= 2
141 assert_equal(10, &ts)
142 &ts /= 3
143 assert_equal(3, &ts)
144 set ts=10
145 &ts %= 4
146 assert_equal(2, &ts)
147
148 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200149 var f100: float = 100.0
Bram Moolenaar971caf52020-09-21 22:21:42 +0200150 f100 /= 5
151 assert_equal(20.0, f100)
152
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200153 var f200: float = 200.0
Bram Moolenaar971caf52020-09-21 22:21:42 +0200154 f200 /= 5.0
155 assert_equal(40.0, f200)
156
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200157 CheckDefFailure(['var nr: number = 200', 'nr /= 5.0'], 'E1012:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200158 endif
159
160 lines =<< trim END
161 &ts = 6
162 &ts += 3
163 assert_equal(9, &ts)
164
165 &l:ts = 6
166 assert_equal(6, &ts)
167 &l:ts += 2
168 assert_equal(8, &ts)
169
170 &g:ts = 6
171 assert_equal(6, &g:ts)
172 &g:ts += 2
173 assert_equal(8, &g:ts)
Bram Moolenaar0ea04402021-01-04 13:37:54 +0100174
175 &number = true
176 assert_equal(true, &number)
177 &number = 0
178 assert_equal(false, &number)
179 &number = 1
180 assert_equal(true, &number)
181 &number = false
182 assert_equal(false, &number)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200183 END
184 CheckDefAndScriptSuccess(lines)
185
186 CheckDefFailure(['&notex += 3'], 'E113:')
187 CheckDefFailure(['&ts ..= "xxx"'], 'E1019:')
188 CheckDefFailure(['&ts = [7]'], 'E1012:')
189 CheckDefExecFailure(['&ts = g:alist'], 'E1012: Type mismatch; expected number but got list<number>')
190 CheckDefFailure(['&ts = "xx"'], 'E1012:')
191 CheckDefExecFailure(['&ts = g:astring'], 'E1012: Type mismatch; expected number but got string')
192 CheckDefFailure(['&path += 3'], 'E1012:')
193 CheckDefExecFailure(['&bs = "asdf"'], 'E474:')
194 # test freeing ISN_STOREOPT
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200195 CheckDefFailure(['&ts = 3', 'var asdf'], 'E1022:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200196 &ts = 8
197
198 lines =<< trim END
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200199 var save_TI = &t_TI
Bram Moolenaar971caf52020-09-21 22:21:42 +0200200 &t_TI = ''
201 assert_equal('', &t_TI)
202 &t_TI = 'xxx'
203 assert_equal('xxx', &t_TI)
204 &t_TI = save_TI
205 END
206 CheckDefAndScriptSuccess(lines)
207
208 CheckDefFailure(['&t_TI = 123'], 'E1012:')
209 CheckScriptFailure(['vim9script', '&t_TI = 123'], 'E928:')
210
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200211 CheckDefFailure(['var s:var = 123'], 'E1101:')
212 CheckDefFailure(['var s:var: number'], 'E1101:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200213
214 lines =<< trim END
215 vim9script
216 def SomeFunc()
217 s:var = 123
218 enddef
219 defcompile
220 END
221 CheckScriptFailure(lines, 'E1089:')
222
223 g:inc_counter += 1
224 assert_equal(2, g:inc_counter)
225
226 $SOME_ENV_VAR ..= 'more'
227 assert_equal('somemore', $SOME_ENV_VAR)
228 CheckDefFailure(['$SOME_ENV_VAR += "more"'], 'E1051:')
229 CheckDefFailure(['$SOME_ENV_VAR += 123'], 'E1012:')
230
Bram Moolenaar971caf52020-09-21 22:21:42 +0200231 v:errmsg = 'none'
232 v:errmsg ..= 'again'
233 assert_equal('noneagain', v:errmsg)
234 CheckDefFailure(['v:errmsg += "more"'], 'E1051:')
235 CheckDefFailure(['v:errmsg += 123'], 'E1012:')
236
Bram Moolenaarfc8aa6d2020-10-12 20:31:26 +0200237 var text =<< trim END
238 some text
239 END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200240enddef
241
Bram Moolenaar13e45d12021-06-26 13:28:35 +0200242def Test_assign_register()
243 var lines =<< trim END
244 @c = 'areg'
245 @c ..= 'add'
246 assert_equal('aregadd', @c)
247
248 @@ = 'some text'
249 assert_equal('some text', getreg('"'))
250 END
251 CheckDefAndScriptSuccess(lines)
252
253 CheckDefFailure(['@a += "more"'], 'E1051:')
254 CheckDefFailure(['@a += 123'], 'E1012:')
255enddef
256
Bram Moolenaard0edaf92021-05-28 21:06:08 +0200257def Test_reserved_name()
258 for name in ['true', 'false', 'null']
259 CheckDefExecAndScriptFailure(['var ' .. name .. ' = 0'], 'E1034:')
260 CheckDefExecAndScriptFailure(['var ' .. name .. ': bool'], 'E1034:')
261 endfor
262enddef
263
Bram Moolenaaraa1959b2021-04-15 22:13:39 +0200264def Test_skipped_assignment()
265 var lines =<< trim END
266 for x in []
267 var i: number = 1
268 while false
269 i += 1
270 endwhile
271 endfor
272 END
273 CheckDefAndScriptSuccess(lines)
274enddef
275
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100276def Test_assign_unpack()
277 var lines =<< trim END
278 var v1: number
279 var v2: number
280 [v1, v2] = [1, 2]
281 assert_equal(1, v1)
282 assert_equal(2, v2)
Bram Moolenaarf93bbd02021-04-10 22:35:43 +0200283
284 [v1, _, v2, _] = [1, 99, 2, 77]
285 assert_equal(1, v1)
286 assert_equal(2, v2)
287
288 [v1, v2; _] = [1, 2, 3, 4, 5]
289 assert_equal(1, v1)
290 assert_equal(2, v2)
Bram Moolenaar035bd1c2021-06-21 19:44:11 +0200291
Bram Moolenaar4d5dfe22021-06-26 13:59:29 +0200292 var reslist = []
293 for text in ['aaa {bbb} ccc', 'ddd {eee} fff']
294 var before: string
295 var middle: string
296 var after: string
297 [_, before, middle, after; _] = text->matchlist('\(.\{-\}\){\(.\{-\}\)}\(.*\)')
298 reslist->add(before)->add(middle)->add(after)
299 endfor
300 assert_equal(['aaa ', 'bbb', ' ccc', 'ddd ', 'eee', ' fff'], reslist)
301
Bram Moolenaar035bd1c2021-06-21 19:44:11 +0200302 var a = 1
303 var b = 3
304 [a, b] += [2, 4]
305 assert_equal(3, a)
306 assert_equal(7, b)
307
308 [a, b] -= [1, 2]
309 assert_equal(2, a)
310 assert_equal(5, b)
311
312 [a, b] *= [3, 2]
313 assert_equal(6, a)
314 assert_equal(10, b)
315
316 [a, b] /= [2, 4]
317 assert_equal(3, a)
318 assert_equal(2, b)
319
320 [a, b] = [17, 15]
321 [a, b] %= [5, 3]
322 assert_equal(2, a)
323 assert_equal(0, b)
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100324 END
325 CheckDefAndScriptSuccess(lines)
326
327 lines =<< trim END
328 var v1: number
329 var v2: number
330 [v1, v2] =
331 END
332 CheckDefFailure(lines, 'E1097:', 5)
333
334 lines =<< trim END
335 var v1: number
336 var v2: number
337 [v1, v2] = xxx
338 END
339 CheckDefFailure(lines, 'E1001:', 3)
340
341 lines =<< trim END
342 var v1: number
343 var v2: number
344 [v1, v2] = popup_clear()
345 END
346 CheckDefFailure(lines, 'E1031:', 3)
347
348 lines =<< trim END
Bram Moolenaar3862ea32021-01-01 21:05:55 +0100349 [v1, v2] = [1, 2]
350 END
351 CheckDefFailure(lines, 'E1089', 1)
352 CheckScriptFailure(['vim9script'] + lines, 'E1089', 2)
353
354 lines =<< trim END
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100355 var v1: number
356 var v2: number
357 [v1, v2] = ''
358 END
359 CheckDefFailure(lines, 'E1012: Type mismatch; expected list<any> but got string', 3)
Bram Moolenaarf785aa12021-02-11 21:19:34 +0100360
361 lines =<< trim END
362 g:values = [false, 0]
363 var x: bool
364 var y: string
365 [x, y] = g:values
366 END
367 CheckDefExecAndScriptFailure(lines, 'E1163: Variable 2: type mismatch, expected string but got number')
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100368enddef
369
Bram Moolenaar7f764942020-12-02 15:11:18 +0100370def Test_assign_linebreak()
371 var nr: number
372 nr =
373 123
374 assert_equal(123, nr)
375
376 var n2: number
377 [nr, n2] =
378 [12, 34]
379 assert_equal(12, nr)
380 assert_equal(34, n2)
381
Bram Moolenaar8ff16e02020-12-07 21:49:52 +0100382 CheckDefFailure(["var x = #"], 'E1097:', 3)
Bram Moolenaar77709b12021-04-03 21:01:01 +0200383
384 var lines =<< trim END
385 var x: list<string> = ['a']
386 var y: list<number> = x
387 ->copy()
388 ->copy()
389 END
390 CheckDefFailure(lines, 'E1012:', 2)
Bram Moolenaar7f764942020-12-02 15:11:18 +0100391enddef
392
Bram Moolenaardc234ca2020-11-28 18:52:33 +0100393def Test_assign_index()
394 # list of list
395 var l1: list<number>
396 l1[0] = 123
397 assert_equal([123], l1)
398
399 var l2: list<list<number>>
400 l2[0] = []
401 l2[0][0] = 123
402 assert_equal([[123]], l2)
403
404 var l3: list<list<list<number>>>
405 l3[0] = []
406 l3[0][0] = []
407 l3[0][0][0] = 123
408 assert_equal([[[123]]], l3)
409
410 var lines =<< trim END
411 var l3: list<list<number>>
412 l3[0] = []
413 l3[0][0] = []
414 END
415 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got list<unknown>', 3)
416
417 # dict of dict
418 var d1: dict<number>
419 d1.one = 1
420 assert_equal({one: 1}, d1)
421
422 var d2: dict<dict<number>>
423 d2.one = {}
424 d2.one.two = 123
425 assert_equal({one: {two: 123}}, d2)
426
427 var d3: dict<dict<dict<number>>>
428 d3.one = {}
429 d3.one.two = {}
430 d3.one.two.three = 123
431 assert_equal({one: {two: {three: 123}}}, d3)
432
433 lines =<< trim END
434 var d3: dict<dict<number>>
435 d3.one = {}
436 d3.one.two = {}
437 END
438 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got dict<unknown>', 3)
439
Bram Moolenaaracbae182020-12-13 18:44:43 +0100440 lines =<< trim END
441 var lines: list<string>
442 lines['a'] = 'asdf'
443 END
Bram Moolenaarf30a14d2021-01-17 21:51:24 +0100444 CheckDefFailure(lines, 'E1012:', 2)
Bram Moolenaaracbae182020-12-13 18:44:43 +0100445
446 lines =<< trim END
447 var lines: string
448 lines[9] = 'asdf'
449 END
450 CheckDefFailure(lines, 'E1141:', 2)
451
Bram Moolenaardc234ca2020-11-28 18:52:33 +0100452 # list of dict
453 var ld: list<dict<number>>
454 ld[0] = {}
455 ld[0].one = 123
456 assert_equal([{one: 123}], ld)
457
458 lines =<< trim END
459 var ld: list<dict<number>>
460 ld[0] = []
461 END
462 CheckDefFailure(lines, 'E1012: Type mismatch; expected dict<number> but got list<unknown>', 2)
463
464 # dict of list
465 var dl: dict<list<number>>
466 dl.one = []
467 dl.one[0] = 123
468 assert_equal({one: [123]}, dl)
469
470 lines =<< trim END
471 var dl: dict<list<number>>
472 dl.one = {}
473 END
474 CheckDefFailure(lines, 'E1012: Type mismatch; expected list<number> but got dict<unknown>', 2)
475enddef
476
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200477def Test_extend_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200478 var lines =<< trim END
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200479 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200480 var l: list<number>
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200481 l += [123]
482 assert_equal([123], l)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100483 END
484 CheckScriptSuccess(lines)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200485
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100486 lines =<< trim END
487 vim9script
488 var list: list<string>
489 extend(list, ['x'])
490 assert_equal(['x'], list)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200491 END
492 CheckScriptSuccess(lines)
Bram Moolenaar1a739232020-10-10 15:37:58 +0200493
494 # appending to NULL list from a function
495 lines =<< trim END
496 vim9script
497 var list: list<string>
498 def Func()
499 list += ['a', 'b']
500 enddef
501 Func()
502 assert_equal(['a', 'b'], list)
503 END
504 CheckScriptSuccess(lines)
Bram Moolenaar3beaf9c2020-12-18 17:23:14 +0100505 lines =<< trim END
506 vim9script
507 var list: list<string>
508 def Func()
509 extend(list, ['x', 'b'])
510 enddef
511 Func()
512 assert_equal(['x', 'b'], list)
513 END
514 CheckScriptSuccess(lines)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100515
516 lines =<< trim END
517 vim9script
518 var l: list<string> = test_null_list()
519 extend(l, ['x'])
520 assert_equal(['x'], l)
521 END
522 CheckScriptSuccess(lines)
523
524 lines =<< trim END
525 vim9script
526 extend(test_null_list(), ['x'])
527 END
528 CheckScriptFailure(lines, 'E1134:', 2)
529enddef
530
531def Test_extend_dict()
532 var lines =<< trim END
533 vim9script
534 var d: dict<number>
Bram Moolenaare0de1712020-12-02 17:36:54 +0100535 extend(d, {a: 1})
536 assert_equal({a: 1}, d)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100537
538 var d2: dict<number>
539 d2['one'] = 1
Bram Moolenaare0de1712020-12-02 17:36:54 +0100540 assert_equal({one: 1}, d2)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100541 END
542 CheckScriptSuccess(lines)
543
544 lines =<< trim END
545 vim9script
546 var d: dict<string> = test_null_dict()
Bram Moolenaare0de1712020-12-02 17:36:54 +0100547 extend(d, {a: 'x'})
548 assert_equal({a: 'x'}, d)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100549 END
550 CheckScriptSuccess(lines)
551
552 lines =<< trim END
553 vim9script
Bram Moolenaare0de1712020-12-02 17:36:54 +0100554 extend(test_null_dict(), {a: 'x'})
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100555 END
556 CheckScriptFailure(lines, 'E1133:', 2)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200557enddef
558
Bram Moolenaar971caf52020-09-21 22:21:42 +0200559def Test_single_letter_vars()
560 # single letter variables
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200561 var a: number = 123
Bram Moolenaar971caf52020-09-21 22:21:42 +0200562 a = 123
563 assert_equal(123, a)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200564 var b: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200565 b = 123
566 assert_equal(123, b)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200567 var g: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200568 g = 123
569 assert_equal(123, g)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200570 var s: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200571 s = 123
572 assert_equal(123, s)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200573 var t: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200574 t = 123
575 assert_equal(123, t)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200576 var v: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200577 v = 123
578 assert_equal(123, v)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200579 var w: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200580 w = 123
581 assert_equal(123, w)
582enddef
583
584def Test_vim9_single_char_vars()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200585 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200586 vim9script
587
588 # single character variable declarations work
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200589 var a: string
590 var b: number
591 var l: list<any>
592 var s: string
593 var t: number
594 var v: number
595 var w: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200596
597 # script-local variables can be used without s: prefix
598 a = 'script-a'
599 b = 111
600 l = [1, 2, 3]
601 s = 'script-s'
602 t = 222
603 v = 333
604 w = 444
605
606 assert_equal('script-a', a)
607 assert_equal(111, b)
608 assert_equal([1, 2, 3], l)
609 assert_equal('script-s', s)
610 assert_equal(222, t)
611 assert_equal(333, v)
612 assert_equal(444, w)
613 END
614 writefile(lines, 'Xsinglechar')
615 source Xsinglechar
616 delete('Xsinglechar')
617enddef
618
619def Test_assignment_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200620 var list1: list<bool> = [false, true, false]
621 var list2: list<number> = [1, 2, 3]
622 var list3: list<string> = ['sdf', 'asdf']
623 var list4: list<any> = ['yes', true, 1234]
624 var list5: list<blob> = [0z01, 0z02]
Bram Moolenaar971caf52020-09-21 22:21:42 +0200625
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200626 var listS: list<string> = []
627 var listN: list<number> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +0200628
629 assert_equal([1, 2, 3], list2)
630 list2[-1] = 99
631 assert_equal([1, 2, 99], list2)
632 list2[-2] = 88
633 assert_equal([1, 88, 99], list2)
634 list2[-3] = 77
635 assert_equal([77, 88, 99], list2)
636 list2 += [100]
637 assert_equal([77, 88, 99, 100], list2)
638
639 list3 += ['end']
640 assert_equal(['sdf', 'asdf', 'end'], list3)
641
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200642 CheckDefExecFailure(['var ll = [1, 2, 3]', 'll[-4] = 6'], 'E684:')
643 CheckDefExecFailure(['var [v1, v2] = [1, 2]'], 'E1092:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200644
645 # type becomes list<any>
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200646 var somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
Bram Moolenaar4f5e3972020-12-21 17:30:50 +0100647
648 var lines =<< trim END
649 var d = {dd: test_null_list()}
650 d.dd[0] = 0
651 END
652 CheckDefExecFailure(lines, 'E1147:', 2)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200653enddef
654
Bram Moolenaarf30a14d2021-01-17 21:51:24 +0100655def Test_assignment_list_any_index()
656 var l: list<number> = [1, 2]
657 for [x, y, _]
658 in [[0, 1, ''], [1, 3, '']]
659 l[x] = l[x] + y
660 endfor
661 assert_equal([2, 5], l)
662enddef
663
Bram Moolenaar971caf52020-09-21 22:21:42 +0200664def Test_assignment_list_vim9script()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200665 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200666 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200667 var v1: number
668 var v2: number
669 var v3: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200670 [v1, v2, v3] = [1, 2, 3]
671 assert_equal([1, 2, 3], [v1, v2, v3])
672 END
673 CheckScriptSuccess(lines)
674enddef
675
676def Test_assignment_dict()
Bram Moolenaare0de1712020-12-02 17:36:54 +0100677 var dict1: dict<bool> = {one: false, two: true}
678 var dict2: dict<number> = {one: 1, two: 2}
679 var dict3: dict<string> = {key: 'value'}
680 var dict4: dict<any> = {one: 1, two: '2'}
681 var dict5: dict<blob> = {one: 0z01, two: 0z02}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200682
683 # overwrite
684 dict3['key'] = 'another'
Bram Moolenaare0de1712020-12-02 17:36:54 +0100685 assert_equal(dict3, {key: 'another'})
Bram Moolenaarfc74d032020-11-16 22:11:49 +0100686 dict3.key = 'yet another'
Bram Moolenaare0de1712020-12-02 17:36:54 +0100687 assert_equal(dict3, {key: 'yet another'})
Bram Moolenaarfc74d032020-11-16 22:11:49 +0100688
Bram Moolenaard24602f2020-12-20 15:20:56 +0100689 # member "any" can also be a dict and assigned to
690 var anydict: dict<any> = {nest: {}, nr: 0}
691 anydict.nest['this'] = 123
692 anydict.nest.that = 456
693 assert_equal({nest: {this: 123, that: 456}, nr: 0}, anydict)
694
Bram Moolenaarfc74d032020-11-16 22:11:49 +0100695 var lines =<< trim END
Bram Moolenaard88dc4d2020-12-20 14:49:42 +0100696 var dd = {}
697 dd.two = 2
698 assert_equal({two: 2}, dd)
699 END
Bram Moolenaar4f5e3972020-12-21 17:30:50 +0100700 CheckDefAndScriptSuccess(lines)
701
702 lines =<< trim END
703 var d = {dd: {}}
704 d.dd[0] = 2
705 d.dd['x'] = 3
706 d.dd.y = 4
707 assert_equal({dd: {0: 2, x: 3, y: 4}}, d)
708 END
709 CheckDefAndScriptSuccess(lines)
Bram Moolenaard88dc4d2020-12-20 14:49:42 +0100710
711 lines =<< trim END
Bram Moolenaare0de1712020-12-02 17:36:54 +0100712 var dd = {one: 1}
Bram Moolenaarfc74d032020-11-16 22:11:49 +0100713 dd.one) = 2
714 END
Bram Moolenaard88dc4d2020-12-20 14:49:42 +0100715 CheckDefFailure(lines, 'E488:', 2)
716
717 lines =<< trim END
718 var dd = {one: 1}
719 var dd.one = 2
720 END
721 CheckDefAndScriptFailure(lines, 'E1017:', 2)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200722
723 # empty key can be used
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200724 var dd = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200725 dd[""] = 6
Bram Moolenaare0de1712020-12-02 17:36:54 +0100726 assert_equal({['']: 6}, dd)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200727
728 # type becomes dict<any>
Bram Moolenaare0de1712020-12-02 17:36:54 +0100729 var somedict = rand() > 0 ? {a: 1, b: 2} : {a: 'a', b: 'b'}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200730
731 # assignment to script-local dict
Bram Moolenaarfc74d032020-11-16 22:11:49 +0100732 lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200733 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200734 var test: dict<any> = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200735 def FillDict(): dict<any>
736 test['a'] = 43
737 return test
738 enddef
Bram Moolenaare0de1712020-12-02 17:36:54 +0100739 assert_equal({a: 43}, FillDict())
Bram Moolenaar971caf52020-09-21 22:21:42 +0200740 END
741 CheckScriptSuccess(lines)
742
743 lines =<< trim END
744 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200745 var test: dict<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200746 def FillDict(): dict<any>
747 test['a'] = 43
748 return test
749 enddef
750 FillDict()
Bram Moolenaar3beaf9c2020-12-18 17:23:14 +0100751 assert_equal({a: 43}, test)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200752 END
Bram Moolenaar3beaf9c2020-12-18 17:23:14 +0100753 CheckScriptSuccess(lines)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200754
755 # assignment to global dict
756 lines =<< trim END
757 vim9script
758 g:test = {}
759 def FillDict(): dict<any>
760 g:test['a'] = 43
761 return g:test
762 enddef
Bram Moolenaare0de1712020-12-02 17:36:54 +0100763 assert_equal({a: 43}, FillDict())
Bram Moolenaar971caf52020-09-21 22:21:42 +0200764 END
765 CheckScriptSuccess(lines)
766
767 # assignment to buffer dict
768 lines =<< trim END
769 vim9script
770 b:test = {}
771 def FillDict(): dict<any>
772 b:test['a'] = 43
773 return b:test
774 enddef
Bram Moolenaare0de1712020-12-02 17:36:54 +0100775 assert_equal({a: 43}, FillDict())
Bram Moolenaar971caf52020-09-21 22:21:42 +0200776 END
777 CheckScriptSuccess(lines)
Bram Moolenaar4f5e3972020-12-21 17:30:50 +0100778
779 lines =<< trim END
780 var d = {dd: test_null_dict()}
781 d.dd[0] = 0
782 END
783 CheckDefExecFailure(lines, 'E1103:', 2)
784
785 lines =<< trim END
786 var d = {dd: 'string'}
787 d.dd[0] = 0
788 END
789 CheckDefExecFailure(lines, 'E1148:', 2)
Bram Moolenaar3a3b10e2021-06-26 15:00:59 +0200790
791 lines =<< trim END
792 var n: any
793 n.key = 5
794 END
795 CheckDefExecAndScriptFailure2(lines, 'E1148:', 'E1203: Dot can only be used on a dictionary: n.key = 5', 2)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200796enddef
797
798def Test_assignment_local()
799 # Test in a separated file in order not to the current buffer/window/tab is
800 # changed.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200801 var script_lines: list<string> =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200802 let b:existing = 'yes'
803 let w:existing = 'yes'
804 let t:existing = 'yes'
805
806 def Test_assignment_local_internal()
807 b:newvar = 'new'
808 assert_equal('new', b:newvar)
809 assert_equal('yes', b:existing)
810 b:existing = 'no'
811 assert_equal('no', b:existing)
812 b:existing ..= 'NO'
813 assert_equal('noNO', b:existing)
814
815 w:newvar = 'new'
816 assert_equal('new', w:newvar)
817 assert_equal('yes', w:existing)
818 w:existing = 'no'
819 assert_equal('no', w:existing)
820 w:existing ..= 'NO'
821 assert_equal('noNO', w:existing)
822
823 t:newvar = 'new'
824 assert_equal('new', t:newvar)
825 assert_equal('yes', t:existing)
826 t:existing = 'no'
827 assert_equal('no', t:existing)
828 t:existing ..= 'NO'
829 assert_equal('noNO', t:existing)
830 enddef
831 call Test_assignment_local_internal()
832 END
833 CheckScriptSuccess(script_lines)
834enddef
835
836def Test_assignment_default()
Bram Moolenaar971caf52020-09-21 22:21:42 +0200837 # Test default values.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200838 var thebool: bool
Bram Moolenaar971caf52020-09-21 22:21:42 +0200839 assert_equal(v:false, thebool)
840
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200841 var thenumber: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200842 assert_equal(0, thenumber)
843
844 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200845 var thefloat: float
Bram Moolenaar971caf52020-09-21 22:21:42 +0200846 assert_equal(0.0, thefloat)
847 endif
848
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200849 var thestring: string
Bram Moolenaar971caf52020-09-21 22:21:42 +0200850 assert_equal('', thestring)
851
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200852 var theblob: blob
Bram Moolenaar971caf52020-09-21 22:21:42 +0200853 assert_equal(0z, theblob)
854
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200855 var Thefunc: func
Bram Moolenaar971caf52020-09-21 22:21:42 +0200856 assert_equal(test_null_function(), Thefunc)
857
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200858 var thelist: list<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200859 assert_equal([], thelist)
860
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200861 var thedict: dict<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200862 assert_equal({}, thedict)
863
864 if has('channel')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200865 var thejob: job
Bram Moolenaar971caf52020-09-21 22:21:42 +0200866 assert_equal(test_null_job(), thejob)
867
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200868 var thechannel: channel
Bram Moolenaar971caf52020-09-21 22:21:42 +0200869 assert_equal(test_null_channel(), thechannel)
870
871 if has('unix') && executable('cat')
872 # check with non-null job and channel, types must match
Bram Moolenaare0de1712020-12-02 17:36:54 +0100873 thejob = job_start("cat ", {})
Bram Moolenaar971caf52020-09-21 22:21:42 +0200874 thechannel = job_getchannel(thejob)
875 job_stop(thejob, 'kill')
876 endif
877 endif
878
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200879 var nr = 1234 | nr = 5678
Bram Moolenaar971caf52020-09-21 22:21:42 +0200880 assert_equal(5678, nr)
881enddef
882
Bram Moolenaar3862ea32021-01-01 21:05:55 +0100883let scriptvar = 'init'
884
Bram Moolenaar971caf52020-09-21 22:21:42 +0200885def Test_assignment_var_list()
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100886 var lines =<< trim END
887 var v1: string
888 var v2: string
889 var vrem: list<string>
890 [v1] = ['aaa']
891 assert_equal('aaa', v1)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200892
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100893 [v1, v2] = ['one', 'two']
894 assert_equal('one', v1)
895 assert_equal('two', v2)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200896
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100897 [v1, v2; vrem] = ['one', 'two']
898 assert_equal('one', v1)
899 assert_equal('two', v2)
900 assert_equal([], vrem)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200901
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100902 [v1, v2; vrem] = ['one', 'two', 'three']
903 assert_equal('one', v1)
904 assert_equal('two', v2)
905 assert_equal(['three'], vrem)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200906
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100907 [&ts, &sw] = [3, 4]
908 assert_equal(3, &ts)
909 assert_equal(4, &sw)
910 set ts=8 sw=4
Bram Moolenaar004d9b02020-11-30 21:40:03 +0100911
912 [@a, @z] = ['aa', 'zz']
913 assert_equal('aa', @a)
914 assert_equal('zz', @z)
915
916 [$SOME_VAR, $OTHER_VAR] = ['some', 'other']
917 assert_equal('some', $SOME_VAR)
918 assert_equal('other', $OTHER_VAR)
919
Bram Moolenaar3862ea32021-01-01 21:05:55 +0100920 [g:globalvar, b:bufvar, w:winvar, t:tabvar, v:errmsg] =
921 ['global', 'buf', 'win', 'tab', 'error']
Bram Moolenaar004d9b02020-11-30 21:40:03 +0100922 assert_equal('global', g:globalvar)
Bram Moolenaar004d9b02020-11-30 21:40:03 +0100923 assert_equal('buf', b:bufvar)
924 assert_equal('win', w:winvar)
925 assert_equal('tab', t:tabvar)
926 assert_equal('error', v:errmsg)
927 unlet g:globalvar
Bram Moolenaarda7c20c2020-11-30 21:12:19 +0100928 END
929 CheckDefAndScriptSuccess(lines)
Bram Moolenaar3862ea32021-01-01 21:05:55 +0100930
931 [g:globalvar, s:scriptvar, b:bufvar] = ['global', 'script', 'buf']
932 assert_equal('global', g:globalvar)
933 assert_equal('script', s:scriptvar)
934 assert_equal('buf', b:bufvar)
935
936 lines =<< trim END
937 vim9script
938 var s:scriptvar = 'init'
939 [g:globalvar, s:scriptvar, w:winvar] = ['global', 'script', 'win']
940 assert_equal('global', g:globalvar)
941 assert_equal('script', s:scriptvar)
942 assert_equal('win', w:winvar)
943 END
944 CheckScriptSuccess(lines)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200945enddef
946
947def Test_assignment_vim9script()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200948 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200949 vim9script
950 def Func(): list<number>
951 return [1, 2]
952 enddef
Bram Moolenaar98309382020-09-27 21:58:45 +0200953 var name1: number
954 var name2: number
955 [name1, name2] =
Bram Moolenaar971caf52020-09-21 22:21:42 +0200956 Func()
Bram Moolenaar98309382020-09-27 21:58:45 +0200957 assert_equal(1, name1)
958 assert_equal(2, name2)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200959 var ll =
Bram Moolenaar971caf52020-09-21 22:21:42 +0200960 Func()
961 assert_equal([1, 2], ll)
962
963 @/ = 'text'
964 assert_equal('text', @/)
965 @0 = 'zero'
966 assert_equal('zero', @0)
967 @1 = 'one'
968 assert_equal('one', @1)
969 @9 = 'nine'
970 assert_equal('nine', @9)
971 @- = 'minus'
972 assert_equal('minus', @-)
973 if has('clipboard_working')
974 @* = 'star'
975 assert_equal('star', @*)
976 @+ = 'plus'
977 assert_equal('plus', @+)
978 endif
979
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200980 var a: number = 123
Bram Moolenaar971caf52020-09-21 22:21:42 +0200981 assert_equal(123, a)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200982 var s: string = 'yes'
Bram Moolenaar971caf52020-09-21 22:21:42 +0200983 assert_equal('yes', s)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200984 var b: number = 42
Bram Moolenaar971caf52020-09-21 22:21:42 +0200985 assert_equal(42, b)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200986 var w: number = 43
Bram Moolenaar971caf52020-09-21 22:21:42 +0200987 assert_equal(43, w)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200988 var t: number = 44
Bram Moolenaar971caf52020-09-21 22:21:42 +0200989 assert_equal(44, t)
Bram Moolenaar7a66a172020-10-16 19:56:12 +0200990
991 var to_var = 0
992 to_var = 3
993 assert_equal(3, to_var)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200994 END
995 CheckScriptSuccess(lines)
Bram Moolenaar06f9c692020-09-27 21:27:40 +0200996
997 lines =<< trim END
998 vim9script
999 var n: number
1000 def Func()
1001 n = 'string'
1002 enddef
1003 defcompile
1004 END
1005 CheckScriptFailure(lines, 'E1012: Type mismatch; expected number but got string')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001006enddef
1007
1008def Mess(): string
1009 v:foldstart = 123
1010 return 'xxx'
1011enddef
1012
1013def Test_assignment_failure()
Bram Moolenaar98309382020-09-27 21:58:45 +02001014 CheckDefFailure(['var name=234'], 'E1004:')
1015 CheckDefFailure(['var name =234'], 'E1004:')
1016 CheckDefFailure(['var name= 234'], 'E1004:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001017
Bram Moolenaar98309382020-09-27 21:58:45 +02001018 CheckScriptFailure(['vim9script', 'var name=234'], 'E1004:')
1019 CheckScriptFailure(['vim9script', 'var name=234'], "before and after '='")
1020 CheckScriptFailure(['vim9script', 'var name =234'], 'E1004:')
1021 CheckScriptFailure(['vim9script', 'var name= 234'], 'E1004:')
1022 CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], 'E1004:')
1023 CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], "before and after '+='")
1024 CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], 'E1004:')
1025 CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], "before and after '..='")
Bram Moolenaar971caf52020-09-21 22:21:42 +02001026
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001027 CheckDefFailure(['var true = 1'], 'E1034:')
1028 CheckDefFailure(['var false = 1'], 'E1034:')
Bram Moolenaar74235772021-06-12 14:53:05 +02001029 CheckDefFailure(['var null = 1'], 'E1034:')
1030 CheckDefFailure(['var this = 1'], 'E1034:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001031
1032 CheckDefFailure(['[a; b; c] = g:list'], 'E452:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001033 CheckDefExecFailure(['var a: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +02001034 '[a] = test_null_list()'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001035 CheckDefExecFailure(['var a: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +02001036 '[a] = []'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001037 CheckDefExecFailure(['var x: number',
1038 'var y: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +02001039 '[x, y] = [1]'], 'E1093:')
Bram Moolenaar352134b2020-10-17 22:04:08 +02001040 CheckDefExecFailure(['var x: string',
1041 'var y: string',
1042 '[x, y] = ["x"]'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001043 CheckDefExecFailure(['var x: number',
1044 'var y: number',
1045 'var z: list<number>',
Bram Moolenaar971caf52020-09-21 22:21:42 +02001046 '[x, y; z] = [1]'], 'E1093:')
1047
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001048 CheckDefFailure(['var somevar'], "E1022:")
1049 CheckDefFailure(['var &tabstop = 4'], 'E1052:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001050 CheckDefFailure(['&g:option = 5'], 'E113:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001051 CheckScriptFailure(['vim9script', 'var &tabstop = 4'], 'E1052:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001052
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001053 CheckDefFailure(['var $VAR = 5'], 'E1016: Cannot declare an environment variable:')
1054 CheckScriptFailure(['vim9script', 'var $ENV = "xxx"'], 'E1016:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001055
1056 if has('dnd')
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001057 CheckDefFailure(['var @~ = 5'], 'E1066:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001058 else
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001059 CheckDefFailure(['var @~ = 5'], 'E354:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001060 CheckDefFailure(['@~ = 5'], 'E354:')
1061 endif
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001062 CheckDefFailure(['var @a = 5'], 'E1066:')
1063 CheckDefFailure(['var @/ = "x"'], 'E1066:')
1064 CheckScriptFailure(['vim9script', 'var @a = "abc"'], 'E1066:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001065
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001066 CheckDefFailure(['var g:var = 5'], 'E1016: Cannot declare a global variable:')
1067 CheckDefFailure(['var w:var = 5'], 'E1016: Cannot declare a window variable:')
1068 CheckDefFailure(['var b:var = 5'], 'E1016: Cannot declare a buffer variable:')
1069 CheckDefFailure(['var t:var = 5'], 'E1016: Cannot declare a tab variable:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001070
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001071 CheckDefFailure(['var anr = 4', 'anr ..= "text"'], 'E1019:')
1072 CheckDefFailure(['var xnr += 4'], 'E1020:', 1)
1073 CheckScriptFailure(['vim9script', 'var xnr += 4'], 'E1020:')
1074 CheckDefFailure(["var xnr = xnr + 1"], 'E1001:', 1)
1075 CheckScriptFailure(['vim9script', 'var xnr = xnr + 4'], 'E121:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001076
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001077 CheckScriptFailure(['vim9script', 'def Func()', 'var dummy = s:notfound', 'enddef', 'defcompile'], 'E1108:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001078
Bram Moolenaar98309382020-09-27 21:58:45 +02001079 CheckDefFailure(['var name: list<string> = [123]'], 'expected list<string> but got list<number>')
1080 CheckDefFailure(['var name: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001081
Bram Moolenaare0de1712020-12-02 17:36:54 +01001082 CheckDefFailure(['var name: dict<string> = {key: 123}'], 'expected dict<string> but got dict<number>')
1083 CheckDefFailure(['var name: dict<number> = {key: "xx"}'], 'expected dict<number> but got dict<string>')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001084
Bram Moolenaar98309382020-09-27 21:58:45 +02001085 CheckDefFailure(['var name = feedkeys("0")'], 'E1031:')
1086 CheckDefFailure(['var name: number = feedkeys("0")'], 'expected number but got void')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001087
Bram Moolenaar98309382020-09-27 21:58:45 +02001088 CheckDefFailure(['var name: dict <number>'], 'E1068:')
1089 CheckDefFailure(['var name: dict<number'], 'E1009:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001090
1091 assert_fails('s/^/\=Mess()/n', 'E794:')
Bram Moolenaar98309382020-09-27 21:58:45 +02001092 CheckDefFailure(['var name: dict<number'], 'E1009:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001093
1094 CheckDefFailure(['w:foo: number = 10'],
1095 'E488: Trailing characters: : number = 1')
1096 CheckDefFailure(['t:foo: bool = true'],
1097 'E488: Trailing characters: : bool = true')
1098 CheckDefFailure(['b:foo: string = "x"'],
1099 'E488: Trailing characters: : string = "x"')
1100 CheckDefFailure(['g:foo: number = 123'],
1101 'E488: Trailing characters: : number = 123')
1102enddef
1103
1104def Test_assign_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001105 var l: list<string> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +02001106 l[0] = 'value'
1107 assert_equal('value', l[0])
1108
1109 l[1] = 'asdf'
1110 assert_equal('value', l[0])
1111 assert_equal('asdf', l[1])
1112 assert_equal('asdf', l[-1])
1113 assert_equal('value', l[-2])
1114
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001115 var nrl: list<number> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +02001116 for i in range(5)
1117 nrl[i] = i
1118 endfor
1119 assert_equal([0, 1, 2, 3, 4], nrl)
Bram Moolenaar334a8b42020-10-19 16:07:42 +02001120
1121 CheckDefFailure(["var l: list<number> = ['', true]"], 'E1012: Type mismatch; expected list<number> but got list<any>', 1)
1122 CheckDefFailure(["var l: list<list<number>> = [['', true]]"], 'E1012: Type mismatch; expected list<list<number>> but got list<list<any>>', 1)
Bram Moolenaar971caf52020-09-21 22:21:42 +02001123enddef
1124
1125def Test_assign_dict()
Bram Moolenaarc3689572021-01-01 19:40:02 +01001126 var lines =<< trim END
1127 var d: dict<string> = {}
1128 d['key'] = 'value'
1129 assert_equal('value', d['key'])
Bram Moolenaar971caf52020-09-21 22:21:42 +02001130
Bram Moolenaarc3689572021-01-01 19:40:02 +01001131 d[123] = 'qwerty'
1132 assert_equal('qwerty', d[123])
1133 assert_equal('qwerty', d['123'])
Bram Moolenaar971caf52020-09-21 22:21:42 +02001134
Bram Moolenaarc3689572021-01-01 19:40:02 +01001135 var nrd: dict<number> = {}
1136 for i in range(3)
1137 nrd[i] = i
1138 endfor
1139 assert_equal({0: 0, 1: 1, 2: 2}, nrd)
1140
1141 d.somekey = 'someval'
1142 assert_equal({key: 'value', '123': 'qwerty', somekey: 'someval'}, d)
1143 # unlet d.somekey
1144 # assert_equal({key: 'value', '123': 'qwerty'}, d)
1145 END
1146 CheckDefAndScriptSuccess(lines)
1147
1148 # TODO: move to above once "unlet d.somekey" in :def is implemented
1149 lines =<< trim END
1150 vim9script
1151 var d: dict<string> = {}
1152 d['key'] = 'value'
1153 d.somekey = 'someval'
1154 assert_equal({key: 'value', somekey: 'someval'}, d)
1155 unlet d.somekey
1156 assert_equal({key: 'value'}, d)
1157 END
1158 CheckScriptSuccess(lines)
Bram Moolenaar334a8b42020-10-19 16:07:42 +02001159
Bram Moolenaare0de1712020-12-02 17:36:54 +01001160 CheckDefFailure(["var d: dict<number> = {a: '', b: true}"], 'E1012: Type mismatch; expected dict<number> but got dict<any>', 1)
1161 CheckDefFailure(["var d: dict<dict<number>> = {x: {a: '', b: true}}"], 'E1012: Type mismatch; expected dict<dict<number>> but got dict<dict<any>>', 1)
Bram Moolenaar971caf52020-09-21 22:21:42 +02001162enddef
1163
Bram Moolenaar04bdd572020-09-23 13:25:32 +02001164def Test_assign_dict_unknown_type()
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001165 var lines =<< trim END
Bram Moolenaar04bdd572020-09-23 13:25:32 +02001166 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001167 var mylist = []
Bram Moolenaare0de1712020-12-02 17:36:54 +01001168 mylist += [{one: 'one'}]
Bram Moolenaar04bdd572020-09-23 13:25:32 +02001169 def Func()
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001170 var dd = mylist[0]
Bram Moolenaar04bdd572020-09-23 13:25:32 +02001171 assert_equal('one', dd.one)
1172 enddef
1173 Func()
1174 END
1175 CheckScriptSuccess(lines)
1176
Bram Moolenaarce2c5442020-11-28 21:21:17 +01001177 lines =<< trim END
1178 vim9script
1179 var mylist = [[]]
Bram Moolenaare0de1712020-12-02 17:36:54 +01001180 mylist[0] += [{one: 'one'}]
Bram Moolenaarce2c5442020-11-28 21:21:17 +01001181 def Func()
1182 var dd = mylist[0][0]
1183 assert_equal('one', dd.one)
1184 enddef
1185 Func()
1186 END
1187 CheckScriptSuccess(lines)
Bram Moolenaar04bdd572020-09-23 13:25:32 +02001188enddef
1189
Bram Moolenaarf76ec1e2021-03-03 17:58:16 +01001190def Test_assign_dict_with_op()
1191 var lines =<< trim END
Bram Moolenaarf76ec1e2021-03-03 17:58:16 +01001192 var ds: dict<string> = {a: 'x'}
1193 ds['a'] ..= 'y'
1194 ds.a ..= 'z'
1195 assert_equal('xyz', ds.a)
1196
1197 var dn: dict<number> = {a: 9}
1198 dn['a'] += 2
1199 assert_equal(11, dn.a)
1200 dn.a += 2
1201 assert_equal(13, dn.a)
1202
1203 dn['a'] -= 3
1204 assert_equal(10, dn.a)
1205 dn.a -= 2
1206 assert_equal(8, dn.a)
1207
1208 dn['a'] *= 2
1209 assert_equal(16, dn.a)
1210 dn.a *= 2
1211 assert_equal(32, dn.a)
1212
1213 dn['a'] /= 3
1214 assert_equal(10, dn.a)
1215 dn.a /= 2
1216 assert_equal(5, dn.a)
1217
1218 dn['a'] %= 3
1219 assert_equal(2, dn.a)
1220 dn.a %= 6
1221 assert_equal(2, dn.a)
Bram Moolenaarb9c0cd82021-04-05 20:51:00 +02001222
1223 var dd: dict<dict<list<any>>>
1224 dd.a = {}
1225 dd.a.b = [0]
1226 dd.a.b += [1]
1227 assert_equal({a: {b: [0, 1]}}, dd)
Bram Moolenaar0d351a02021-04-05 21:05:26 +02001228
1229 var dab = {a: ['b']}
1230 dab.a[0] ..= 'c'
1231 assert_equal({a: ['bc']}, dab)
Bram Moolenaarf76ec1e2021-03-03 17:58:16 +01001232 END
Bram Moolenaare42939a2021-04-05 17:11:17 +02001233 CheckDefAndScriptSuccess(lines)
1234enddef
1235
1236def Test_assign_list_with_op()
1237 var lines =<< trim END
1238 var ls: list<string> = ['x']
1239 ls[0] ..= 'y'
1240 assert_equal('xy', ls[0])
1241
1242 var ln: list<number> = [9]
1243 ln[0] += 2
1244 assert_equal(11, ln[0])
1245
1246 ln[0] -= 3
1247 assert_equal(8, ln[0])
1248
1249 ln[0] *= 2
1250 assert_equal(16, ln[0])
1251
1252 ln[0] /= 3
1253 assert_equal(5, ln[0])
1254
1255 ln[0] %= 3
1256 assert_equal(2, ln[0])
1257 END
1258 CheckDefAndScriptSuccess(lines)
1259enddef
1260
1261def Test_assign_with_op_fails()
1262 var lines =<< trim END
1263 var s = 'abc'
1264 s[1] += 'x'
1265 END
1266 CheckDefAndScriptFailure2(lines, 'E1141:', 'E689:', 2)
1267
1268 lines =<< trim END
1269 var s = 'abc'
1270 s[1] ..= 'x'
1271 END
1272 CheckDefAndScriptFailure2(lines, 'E1141:', 'E689:', 2)
Bram Moolenaarb9c0cd82021-04-05 20:51:00 +02001273
1274 lines =<< trim END
1275 var dd: dict<dict<list<any>>>
1276 dd.a = {}
1277 dd.a.b += [1]
1278 END
1279 CheckDefExecAndScriptFailure(lines, 'E716:', 3)
Bram Moolenaarf76ec1e2021-03-03 17:58:16 +01001280enddef
1281
Bram Moolenaar971caf52020-09-21 22:21:42 +02001282def Test_assign_lambda()
1283 # check if assign a lambda to a variable which type is func or any.
Bram Moolenaar30fd8202020-09-26 15:09:30 +02001284 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +02001285 vim9script
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001286 var FuncRef = () => 123
Bram Moolenaar971caf52020-09-21 22:21:42 +02001287 assert_equal(123, FuncRef())
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001288 var FuncRef_Func: func = () => 123
Bram Moolenaar971caf52020-09-21 22:21:42 +02001289 assert_equal(123, FuncRef_Func())
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001290 var FuncRef_Any: any = () => 123
Bram Moolenaar971caf52020-09-21 22:21:42 +02001291 assert_equal(123, FuncRef_Any())
Bram Moolenaar06409502021-02-17 17:00:27 +01001292 var FuncRef_Number: func(): number = () => 321
1293 assert_equal(321, FuncRef_Number())
Bram Moolenaar971caf52020-09-21 22:21:42 +02001294 END
1295 CheckScriptSuccess(lines)
Bram Moolenaar328eac22021-01-07 19:23:08 +01001296
1297 lines =<< trim END
1298 var Ref: func(number)
1299 Ref = (j) => !j
1300 END
Bram Moolenaar06409502021-02-17 17:00:27 +01001301 CheckDefAndScriptFailure(lines, 'E1012: Type mismatch; expected func(number) but got func(any): bool')
Bram Moolenaarc7dac852021-02-17 18:49:11 +01001302
1303 lines =<< trim END
1304 echo filter([1, 2, 3], (_, v: string) => v + 1)
1305 END
1306 CheckDefAndScriptFailure(lines, 'E1051:')
Bram Moolenaar971caf52020-09-21 22:21:42 +02001307enddef
1308
Bram Moolenaarc0e29012020-09-27 14:22:48 +02001309def Test_heredoc()
1310 var lines =<< trim END # comment
1311 text
1312 END
1313 assert_equal(['text'], lines)
1314
1315 CheckDefFailure(['var lines =<< trim END X', 'END'], 'E488:')
1316 CheckDefFailure(['var lines =<< trim END " comment', 'END'], 'E488:')
Bram Moolenaar2914a202020-09-27 18:24:03 +02001317
1318 lines =<< trim [END]
1319 def Func()
1320 var&lines =<< trim END
1321 x
1322 x
Bram Moolenaarb5b94802020-12-13 17:50:20 +01001323 enddef
1324 defcompile
1325 [END]
1326 CheckScriptFailure(lines, 'E1145: Missing heredoc end marker: END')
1327 delfunc! g:Func
1328
1329 lines =<< trim [END]
1330 def Func()
1331 var lines =<< trim END
1332 x
1333 x
Bram Moolenaar2914a202020-09-27 18:24:03 +02001334 x
1335 x
1336 x
1337 x
1338 x
1339 x
1340 enddef
1341 call Func()
1342 [END]
Bram Moolenaarb5b94802020-12-13 17:50:20 +01001343 CheckScriptFailure(lines, 'E1145: Missing heredoc end marker: END')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001344 delfunc! g:Func
Bram Moolenaarc0e29012020-09-27 14:22:48 +02001345enddef
1346
Bram Moolenaar083966f2020-12-08 11:29:40 +01001347def Test_var_func_call()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001348 var lines =<< trim END
1349 vim9script
1350 func GetValue()
1351 if exists('g:count')
1352 let g:count += 1
1353 else
1354 let g:count = 1
1355 endif
1356 return 'this'
1357 endfunc
1358 var val: string = GetValue()
1359 # env var is always a string
1360 var env = $TERM
1361 END
1362 writefile(lines, 'Xfinished')
1363 source Xfinished
1364 # GetValue() is not called during discovery phase
1365 assert_equal(1, g:count)
1366
1367 unlet g:count
1368 delete('Xfinished')
1369enddef
1370
Bram Moolenaar083966f2020-12-08 11:29:40 +01001371def Test_var_missing_type()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001372 var lines =<< trim END
1373 vim9script
1374 var name = g:unknown
1375 END
1376 CheckScriptFailure(lines, 'E121:')
1377
1378 lines =<< trim END
1379 vim9script
1380 var nr: number = 123
1381 var name = nr
1382 END
1383 CheckScriptSuccess(lines)
1384enddef
1385
Bram Moolenaar083966f2020-12-08 11:29:40 +01001386def Test_var_declaration()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001387 var lines =<< trim END
1388 vim9script
1389 var name: string
1390 g:var_uninit = name
1391 name = 'text'
1392 g:var_test = name
1393 # prefixing s: is optional
1394 s:name = 'prefixed'
1395 g:var_prefixed = s:name
1396
Bram Moolenaar7257af42020-12-08 22:08:51 +01001397 const FOO: number = 123
1398 assert_equal(123, FOO)
Bram Moolenaar89b474d2020-12-22 21:19:39 +01001399 const FOOS = 'foos'
1400 assert_equal('foos', FOOS)
1401 final FLIST = [1]
1402 assert_equal([1], FLIST)
1403 FLIST[0] = 11
1404 assert_equal([11], FLIST)
1405
1406 const g:FOO: number = 321
1407 assert_equal(321, g:FOO)
1408 const g:FOOS = 'gfoos'
1409 assert_equal('gfoos', g:FOOS)
1410 final g:FLIST = [2]
1411 assert_equal([2], g:FLIST)
1412 g:FLIST[0] = 22
1413 assert_equal([22], g:FLIST)
1414
Bram Moolenaard877a572021-04-01 19:42:48 +02001415 def SetGlobalConst()
1416 const g:globConst = 123
1417 enddef
1418 SetGlobalConst()
1419 assert_equal(123, g:globConst)
1420 assert_true(islocked('g:globConst'))
1421
Bram Moolenaar89b474d2020-12-22 21:19:39 +01001422 const w:FOO: number = 46
1423 assert_equal(46, w:FOO)
1424 const w:FOOS = 'wfoos'
1425 assert_equal('wfoos', w:FOOS)
1426 final w:FLIST = [3]
1427 assert_equal([3], w:FLIST)
1428 w:FLIST[0] = 33
1429 assert_equal([33], w:FLIST)
Bram Moolenaar7257af42020-12-08 22:08:51 +01001430
Bram Moolenaar55759b52020-09-30 22:59:42 +02001431 var s:other: number
1432 other = 1234
1433 g:other_var = other
1434
Bram Moolenaarccc25aa2021-03-26 21:27:52 +01001435 var xyz: string # comment
1436
Bram Moolenaar55759b52020-09-30 22:59:42 +02001437 # type is inferred
Bram Moolenaar3862ea32021-01-01 21:05:55 +01001438 var s:dict = {['a']: 222}
Bram Moolenaar55759b52020-09-30 22:59:42 +02001439 def GetDictVal(key: any)
1440 g:dict_val = s:dict[key]
1441 enddef
1442 GetDictVal('a')
Bram Moolenaar08251752021-01-11 21:20:18 +01001443
1444 final adict: dict<string> = {}
1445 def ChangeAdict()
1446 adict.foo = 'foo'
1447 enddef
1448 ChangeAdict()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001449 END
1450 CheckScriptSuccess(lines)
1451 assert_equal('', g:var_uninit)
1452 assert_equal('text', g:var_test)
1453 assert_equal('prefixed', g:var_prefixed)
1454 assert_equal(1234, g:other_var)
1455 assert_equal(222, g:dict_val)
1456
1457 unlet g:var_uninit
1458 unlet g:var_test
1459 unlet g:var_prefixed
1460 unlet g:other_var
Bram Moolenaar6e50ec22021-04-03 19:32:44 +02001461 unlet g:globConst
Bram Moolenaar89b474d2020-12-22 21:19:39 +01001462 unlet g:FOO
1463 unlet g:FOOS
1464 unlet g:FLIST
1465 unlet w:FOO
1466 unlet w:FOOS
1467 unlet w:FLIST
Bram Moolenaar55759b52020-09-30 22:59:42 +02001468enddef
1469
Bram Moolenaar083966f2020-12-08 11:29:40 +01001470def Test_var_declaration_fails()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001471 var lines =<< trim END
1472 vim9script
1473 final var: string
1474 END
1475 CheckScriptFailure(lines, 'E1125:')
1476
1477 lines =<< trim END
1478 vim9script
Bram Moolenaar89b474d2020-12-22 21:19:39 +01001479 const g:constvar = 'string'
1480 g:constvar = 'xx'
1481 END
1482 CheckScriptFailure(lines, 'E741:')
1483 unlet g:constvar
1484
1485 lines =<< trim END
1486 vim9script
Bram Moolenaarf5906aa2021-04-02 14:35:15 +02001487 var name = 'one'
1488 lockvar name
1489 def SetLocked()
1490 name = 'two'
1491 enddef
1492 SetLocked()
1493 END
Bram Moolenaardcf29ac2021-04-02 14:44:02 +02001494 CheckScriptFailure(lines, 'E741: Value is locked: name', 1)
1495
1496 lines =<< trim END
1497 let s:legacy = 'one'
1498 lockvar s:legacy
1499 def SetLocked()
1500 s:legacy = 'two'
1501 enddef
1502 call SetLocked()
1503 END
1504 CheckScriptFailure(lines, 'E741: Value is locked: s:legacy', 1)
Bram Moolenaarf5906aa2021-04-02 14:35:15 +02001505
1506 lines =<< trim END
1507 vim9script
Bram Moolenaard877a572021-04-01 19:42:48 +02001508 def SetGlobalConst()
1509 const g:globConst = 123
1510 enddef
1511 SetGlobalConst()
1512 g:globConst = 234
1513 END
Bram Moolenaar6e50ec22021-04-03 19:32:44 +02001514 CheckScriptFailure(lines, 'E741: Value is locked: g:globConst', 6)
Bram Moolenaard877a572021-04-01 19:42:48 +02001515 unlet g:globConst
1516
1517 lines =<< trim END
1518 vim9script
Bram Moolenaar08251752021-01-11 21:20:18 +01001519 const cdict: dict<string> = {}
1520 def Change()
1521 cdict.foo = 'foo'
1522 enddef
1523 defcompile
1524 END
1525 CheckScriptFailure(lines, 'E46:')
1526
1527 lines =<< trim END
1528 vim9script
Bram Moolenaar89b474d2020-12-22 21:19:39 +01001529 final w:finalvar = [9]
1530 w:finalvar = [8]
1531 END
1532 CheckScriptFailure(lines, 'E1122:')
1533 unlet w:finalvar
1534
1535 lines =<< trim END
1536 vim9script
Bram Moolenaar55759b52020-09-30 22:59:42 +02001537 const var: string
1538 END
1539 CheckScriptFailure(lines, 'E1021:')
1540
1541 lines =<< trim END
1542 vim9script
1543 var 9var: string
1544 END
Bram Moolenaarccc25aa2021-03-26 21:27:52 +01001545 CheckScriptFailure(lines, 'E488:')
Bram Moolenaar7257af42020-12-08 22:08:51 +01001546
1547 CheckDefFailure(['var foo.bar = 2'], 'E1087:')
1548 CheckDefFailure(['var foo[3] = 2'], 'E1087:')
1549 CheckDefFailure(['const foo: number'], 'E1021:')
Bram Moolenaar55759b52020-09-30 22:59:42 +02001550enddef
1551
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001552def Test_script_local_in_legacy()
1553 # OK to define script-local later when prefixed with s:
1554 var lines =<< trim END
1555 def SetLater()
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001556 s:legvar = 'two'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001557 enddef
1558 defcompile
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001559 let s:legvar = 'one'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001560 call SetLater()
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001561 call assert_equal('two', s:legvar)
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001562 END
1563 CheckScriptSuccess(lines)
1564
1565 # OK to leave out s: prefix when script-local already defined
1566 lines =<< trim END
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001567 let s:legvar = 'one'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001568 def SetNoPrefix()
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001569 legvar = 'two'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001570 enddef
1571 call SetNoPrefix()
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001572 call assert_equal('two', s:legvar)
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001573 END
1574 CheckScriptSuccess(lines)
1575
1576 # Not OK to leave out s: prefix when script-local defined later
1577 lines =<< trim END
1578 def SetLaterNoPrefix()
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001579 legvar = 'two'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001580 enddef
1581 defcompile
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02001582 let s:legvar = 'one'
Bram Moolenaar643ce6c2021-04-06 21:17:27 +02001583 END
1584 CheckScriptFailure(lines, 'E476:', 1)
1585enddef
1586
Bram Moolenaar083966f2020-12-08 11:29:40 +01001587def Test_var_type_check()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001588 var lines =<< trim END
1589 vim9script
1590 var name: string
1591 name = 1234
1592 END
1593 CheckScriptFailure(lines, 'E1012:')
1594
1595 lines =<< trim END
1596 vim9script
1597 var name:string
1598 END
1599 CheckScriptFailure(lines, 'E1069:')
1600
1601 lines =<< trim END
1602 vim9script
1603 var name: asdf
1604 END
1605 CheckScriptFailure(lines, 'E1010:')
1606
1607 lines =<< trim END
1608 vim9script
1609 var s:l: list<number>
1610 s:l = []
1611 END
1612 CheckScriptSuccess(lines)
1613
1614 lines =<< trim END
1615 vim9script
1616 var s:d: dict<number>
1617 s:d = {}
1618 END
1619 CheckScriptSuccess(lines)
1620enddef
1621
1622let g:dict_number = #{one: 1, two: 2}
1623
Bram Moolenaar083966f2020-12-08 11:29:40 +01001624def Test_var_list_dict_type()
Bram Moolenaar55759b52020-09-30 22:59:42 +02001625 var ll: list<number>
1626 ll = [1, 2, 2, 3, 3, 3]->uniq()
1627 ll->assert_equal([1, 2, 3])
1628
1629 var dd: dict<number>
1630 dd = g:dict_number
1631 dd->assert_equal(g:dict_number)
1632
1633 var lines =<< trim END
1634 var ll: list<number>
1635 ll = [1, 2, 3]->map('"one"')
1636 END
Bram Moolenaar70250fb2021-01-16 19:01:53 +01001637 CheckDefExecFailure(lines, 'E1012: Type mismatch; expected number but got string')
Bram Moolenaar55759b52020-09-30 22:59:42 +02001638enddef
1639
Bram Moolenaar083966f2020-12-08 11:29:40 +01001640def Test_cannot_use_let()
1641 CheckDefAndScriptFailure(['let a = 34'], 'E1126:', 1)
1642enddef
1643
Bram Moolenaar55759b52020-09-30 22:59:42 +02001644def Test_unlet()
1645 g:somevar = 'yes'
1646 assert_true(exists('g:somevar'))
1647 unlet g:somevar
1648 assert_false(exists('g:somevar'))
1649 unlet! g:somevar
1650
1651 # also works for script-local variable in legacy Vim script
1652 s:somevar = 'legacy'
1653 assert_true(exists('s:somevar'))
1654 unlet s:somevar
1655 assert_false(exists('s:somevar'))
1656 unlet! s:somevar
1657
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001658 CheckDefExecFailure([
1659 'var dd = 111',
1660 'unlet dd',
1661 ], 'E1081:', 2)
1662
Bram Moolenaar752fc692021-01-04 21:57:11 +01001663 # dict unlet
1664 var dd = {a: 1, b: 2, c: 3}
1665 unlet dd['a']
1666 unlet dd.c
1667 assert_equal({b: 2}, dd)
1668
1669 # list unlet
1670 var ll = [1, 2, 3, 4]
1671 unlet ll[1]
1672 unlet ll[-1]
1673 assert_equal([1, 3], ll)
1674
Bram Moolenaar5b5ae292021-02-20 17:04:02 +01001675 ll = [1, 2, 3, 4]
1676 unlet ll[0 : 1]
1677 assert_equal([3, 4], ll)
1678
1679 ll = [1, 2, 3, 4]
1680 unlet ll[2 : 8]
1681 assert_equal([1, 2], ll)
1682
1683 ll = [1, 2, 3, 4]
1684 unlet ll[-2 : -1]
1685 assert_equal([1, 2], ll)
1686
1687 CheckDefFailure([
1688 'var ll = [1, 2]',
1689 'll[1 : 2] = 7',
1690 ], 'E1165:', 2)
1691 CheckDefFailure([
1692 'var dd = {a: 1}',
1693 'unlet dd["a" : "a"]',
1694 ], 'E1166:', 2)
1695 CheckDefExecFailure([
1696 'unlet g:adict[0 : 1]',
1697 ], 'E1148:', 1)
1698 CheckDefFailure([
1699 'var ll = [1, 2]',
1700 'unlet ll[0:1]',
1701 ], 'E1004:', 2)
1702 CheckDefFailure([
1703 'var ll = [1, 2]',
1704 'unlet ll[0 :1]',
1705 ], 'E1004:', 2)
1706 CheckDefFailure([
1707 'var ll = [1, 2]',
1708 'unlet ll[0: 1]',
1709 ], 'E1004:', 2)
1710
1711 CheckDefFailure([
1712 'var ll = [1, 2]',
1713 'unlet ll["x" : 1]',
1714 ], 'E1012:', 2)
1715 CheckDefFailure([
1716 'var ll = [1, 2]',
1717 'unlet ll[0 : "x"]',
1718 ], 'E1012:', 2)
1719
Bram Moolenaar752fc692021-01-04 21:57:11 +01001720 # list of dict unlet
1721 var dl = [{a: 1, b: 2}, {c: 3}]
1722 unlet dl[0]['b']
1723 assert_equal([{a: 1}, {c: 3}], dl)
1724
1725 CheckDefExecFailure([
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001726 'var ll = test_null_list()',
1727 'unlet ll[0]',
1728 ], 'E684:', 2)
Bram Moolenaar752fc692021-01-04 21:57:11 +01001729 CheckDefExecFailure([
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001730 'var ll = [1]',
1731 'unlet ll[2]',
1732 ], 'E684:', 2)
Bram Moolenaar752fc692021-01-04 21:57:11 +01001733 CheckDefExecFailure([
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001734 'var ll = [1]',
1735 'unlet ll[g:astring]',
Bram Moolenaarf30a14d2021-01-17 21:51:24 +01001736 ], 'E1012:', 2)
Bram Moolenaar752fc692021-01-04 21:57:11 +01001737 CheckDefExecFailure([
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001738 'var dd = test_null_dict()',
1739 'unlet dd["a"]',
1740 ], 'E716:', 2)
1741 CheckDefExecFailure([
1742 'var dd = {a: 1}',
1743 'unlet dd["b"]',
1744 ], 'E716:', 2)
1745 CheckDefExecFailure([
1746 'var dd = {a: 1}',
1747 'unlet dd[g:alist]',
1748 ], 'E1105:', 2)
Bram Moolenaar752fc692021-01-04 21:57:11 +01001749
Bram Moolenaar2ef951d2021-01-03 20:55:26 +01001750 # can compile unlet before variable exists
Bram Moolenaar752fc692021-01-04 21:57:11 +01001751 g:someDict = {key: 'val'}
1752 var k = 'key'
1753 unlet g:someDict[k]
1754 assert_equal({}, g:someDict)
1755 unlet g:someDict
1756 assert_false(exists('g:someDict'))
Bram Moolenaar2ef951d2021-01-03 20:55:26 +01001757
Bram Moolenaar55759b52020-09-30 22:59:42 +02001758 CheckScriptFailure([
1759 'vim9script',
1760 'var svar = 123',
1761 'unlet svar',
1762 ], 'E1081:')
1763 CheckScriptFailure([
1764 'vim9script',
1765 'var svar = 123',
1766 'unlet s:svar',
1767 ], 'E1081:')
1768 CheckScriptFailure([
1769 'vim9script',
1770 'var svar = 123',
1771 'def Func()',
1772 ' unlet svar',
1773 'enddef',
1774 'defcompile',
1775 ], 'E1081:')
1776 CheckScriptFailure([
1777 'vim9script',
1778 'var svar = 123',
Bram Moolenaar9aed7292020-12-18 15:38:00 +01001779 'func Func()',
1780 ' unlet s:svar',
1781 'endfunc',
1782 'Func()',
1783 ], 'E1081:')
1784 CheckScriptFailure([
1785 'vim9script',
1786 'var svar = 123',
Bram Moolenaar55759b52020-09-30 22:59:42 +02001787 'def Func()',
1788 ' unlet s:svar',
1789 'enddef',
1790 'defcompile',
1791 ], 'E1081:')
1792
Bram Moolenaar0acbf5a2021-01-05 20:58:25 +01001793 writefile(['vim9script', 'export var svar = 1234'], 'XunletExport.vim')
1794 var lines =<< trim END
1795 vim9script
1796 import svar from './XunletExport.vim'
1797 def UnletSvar()
1798 unlet svar
1799 enddef
1800 defcompile
1801 END
1802 CheckScriptFailure(lines, 'E1081:', 1)
1803 delete('XunletExport.vim')
1804
Bram Moolenaar55759b52020-09-30 22:59:42 +02001805 $ENVVAR = 'foobar'
1806 assert_equal('foobar', $ENVVAR)
1807 unlet $ENVVAR
1808 assert_equal('', $ENVVAR)
1809enddef
1810
Bram Moolenaarc5f59fa2021-01-21 12:34:14 +01001811def Test_expr_error_no_assign()
1812 var lines =<< trim END
1813 vim9script
1814 var x = invalid
1815 echo x
1816 END
1817 CheckScriptFailureList(lines, ['E121:', 'E121:'])
1818
1819 lines =<< trim END
1820 vim9script
1821 var x = 1 / 0
1822 echo x
1823 END
Bram Moolenaar227c58a2021-04-28 20:40:44 +02001824 CheckScriptFailure(lines, 'E1154:')
Bram Moolenaarc5f59fa2021-01-21 12:34:14 +01001825
1826 lines =<< trim END
1827 vim9script
1828 var x = 1 % 0
1829 echo x
1830 END
Bram Moolenaar227c58a2021-04-28 20:40:44 +02001831 CheckScriptFailure(lines, 'E1154:')
Bram Moolenaarccc25aa2021-03-26 21:27:52 +01001832
1833 lines =<< trim END
1834 var x: string 'string'
1835 END
1836 CheckDefAndScriptFailure(lines, 'E488:')
Bram Moolenaarc5f59fa2021-01-21 12:34:14 +01001837enddef
1838
1839
Bram Moolenaar17126b12021-01-07 22:03:02 +01001840def Test_assign_command_modifier()
1841 var lines =<< trim END
Bram Moolenaar9e0f8832021-01-09 12:09:22 +01001842 var verbose = 0
1843 verbose = 1
1844 assert_equal(1, verbose)
1845 silent verbose = 2
1846 assert_equal(2, verbose)
1847 silent verbose += 2
1848 assert_equal(4, verbose)
1849 silent verbose -= 1
1850 assert_equal(3, verbose)
Bram Moolenaar17126b12021-01-07 22:03:02 +01001851
Bram Moolenaar9e0f8832021-01-09 12:09:22 +01001852 var topleft = {one: 1}
1853 sandbox topleft.one = 3
1854 assert_equal({one: 3}, topleft)
1855 leftabove topleft[' '] = 4
1856 assert_equal({one: 3, ' ': 4}, topleft)
1857
1858 var x: number
1859 var y: number
1860 silent [x, y] = [1, 2]
1861 assert_equal(1, x)
1862 assert_equal(2, y)
Bram Moolenaar17126b12021-01-07 22:03:02 +01001863 END
1864 CheckDefAndScriptSuccess(lines)
1865enddef
1866
Bram Moolenaar74f4a962021-06-17 21:03:07 +02001867def Test_assign_alt_buf_register()
1868 var lines =<< trim END
1869 edit 'file_b1'
1870 var b1 = bufnr()
1871 edit 'file_b2'
1872 var b2 = bufnr()
1873 assert_equal(b1, bufnr('#'))
1874 @# = b2
1875 assert_equal(b2, bufnr('#'))
1876 END
1877 CheckDefAndScriptSuccess(lines)
1878enddef
1879
Bram Moolenaar32154662021-03-28 21:14:06 +02001880def Test_script_funcref_case()
1881 var lines =<< trim END
1882 var Len = (s: string): number => len(s) + 1
1883 assert_equal(5, Len('asdf'))
1884 END
1885 CheckDefAndScriptSuccess(lines)
1886
1887 lines =<< trim END
1888 var len = (s: string): number => len(s) + 1
1889 END
1890 CheckDefAndScriptFailure(lines, 'E704:')
1891
1892 lines =<< trim END
1893 vim9script
1894 var s:Len = (s: string): number => len(s) + 2
1895 assert_equal(6, Len('asdf'))
1896 END
1897 CheckScriptSuccess(lines)
1898
1899 lines =<< trim END
1900 vim9script
1901 var s:len = (s: string): number => len(s) + 1
1902 END
1903 CheckScriptFailure(lines, 'E704:')
1904enddef
1905
Bram Moolenaarbdc0f1c2021-04-24 19:08:24 +02001906def Test_inc_dec()
1907 var lines =<< trim END
1908 var nr = 7
1909 ++nr
Bram Moolenaar730bf302021-04-24 20:43:56 +02001910 assert_equal(8, nr)
Bram Moolenaarbdc0f1c2021-04-24 19:08:24 +02001911 --nr
Bram Moolenaar730bf302021-04-24 20:43:56 +02001912 assert_equal(7, nr)
Bram Moolenaarf3d30842021-06-25 19:29:30 +02001913 ++nr | ++nr
1914 assert_equal(9, nr)
1915 ++nr # comment
1916 assert_equal(10, nr)
Bram Moolenaarbdc0f1c2021-04-24 19:08:24 +02001917
1918 var ll = [1, 2]
1919 --ll[0]
1920 ++ll[1]
Bram Moolenaar730bf302021-04-24 20:43:56 +02001921 assert_equal([0, 3], ll)
1922
1923 g:count = 1
1924 ++g:count
1925 --g:count
1926 assert_equal(1, g:count)
1927 unlet g:count
Bram Moolenaarbdc0f1c2021-04-24 19:08:24 +02001928 END
1929 CheckDefAndScriptSuccess(lines)
Bram Moolenaar22480d12021-06-25 21:31:09 +02001930
1931 lines =<< trim END
1932 var nr = 7
1933 ++ nr
1934 END
1935 CheckDefAndScriptFailure(lines, "E1202: No white space allowed after '++': ++ nr")
Bram Moolenaarbdc0f1c2021-04-24 19:08:24 +02001936enddef
1937
Bram Moolenaar55759b52020-09-30 22:59:42 +02001938
Bram Moolenaar971caf52020-09-21 22:21:42 +02001939" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker