1" 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]
12let g:adict = #{a: 1}
13let g:astring = 'text'
14
15def Test_assignment_bool()
16  var bool1: bool = true
17  assert_equal(v:true, bool1)
18  var bool2: bool = false
19  assert_equal(v:false, bool2)
20
21  var bool3: bool = 0
22  assert_equal(false, bool3)
23  var bool4: bool = 1
24  assert_equal(true, bool4)
25
26  var bool5: bool = 1 && true
27  assert_equal(true, bool5)
28  var bool6: bool = 0 && 1
29  assert_equal(false, bool6)
30  var bool7: bool = 0 || 1 && true
31  assert_equal(true, bool7)
32
33  var lines =<< trim END
34    vim9script
35    def GetFlag(): bool
36      var flag: bool = 1
37      return flag
38    enddef
39    var flag: bool = GetFlag()
40    assert_equal(true, flag)
41    flag = 0
42    assert_equal(false, flag)
43    flag = 1
44    assert_equal(true, flag)
45    flag = 1 || true
46    assert_equal(true, flag)
47    flag = 1 && false
48    assert_equal(false, flag)
49
50    var cp: bool = &cp
51    var fen: bool = &l:fen
52  END
53  CheckScriptSuccess(lines)
54  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:')
59
60  CheckDefAndScriptFailure(['var x: bool = "x"', '', 'eval 0'], 'E1012:', 1)
61enddef
62
63def Test_syntax()
64  var name = 234
65  var other: list<string> = ['asdf']
66enddef
67
68def Test_assignment()
69  CheckDefFailure(['var x:string'], 'E1069:')
70  CheckDefFailure(['var x:string = "x"'], 'E1069:')
71  CheckDefFailure(['var a:string = "x"'], 'E1069:')
72  CheckDefFailure(['var lambda = () => "lambda"'], 'E704:')
73  CheckScriptFailure(['var x = "x"'], 'E1124:')
74
75  # 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
82  var nr: number = 1234
83  CheckDefFailure(['var nr: number = "asdf"'], 'E1012:')
84
85  var a: number = 6 #comment
86  assert_equal(6, a)
87
88  if has('channel')
89    var chan1: channel
90    assert_equal('fail', ch_status(chan1))
91
92    var job1: job
93    assert_equal('fail', job_status(job1))
94
95    # calling job_start() is in test_vim9_fails.vim, it causes leak reports
96  endif
97  if has('float')
98    var float1: float = 3.4
99  endif
100  var Funky1: func
101  var Funky2: func = function('len')
102  var Party2: func = funcref('g:Test_syntax')
103
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
118  var lines =<< trim END
119    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
134  var ts: number = &ts
135  assert_equal(7, ts)
136  &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')
149    var f100: float = 100.0
150    f100 /= 5
151    assert_equal(20.0, f100)
152
153    var f200: float = 200.0
154    f200 /= 5.0
155    assert_equal(40.0, f200)
156
157    CheckDefFailure(['var nr: number = 200', 'nr /= 5.0'], 'E1012:')
158  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)
174
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)
183  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
195  CheckDefFailure(['&ts = 3', 'var asdf'], 'E1022:')
196  &ts = 8
197
198  lines =<< trim END
199    var save_TI = &t_TI
200    &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
211  CheckDefFailure(['var s:var = 123'], 'E1101:')
212  CheckDefFailure(['var s:var: number'], 'E1101:')
213
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
231  lines =<< trim END
232    @c = 'areg'
233    @c ..= 'add'
234    assert_equal('aregadd', @c)
235  END
236  CheckDefAndScriptSuccess(lines)
237
238  CheckDefFailure(['@a += "more"'], 'E1051:')
239  CheckDefFailure(['@a += 123'], 'E1012:')
240
241  v:errmsg = 'none'
242  v:errmsg ..= 'again'
243  assert_equal('noneagain', v:errmsg)
244  CheckDefFailure(['v:errmsg += "more"'], 'E1051:')
245  CheckDefFailure(['v:errmsg += 123'], 'E1012:')
246
247  var text =<< trim END
248    some text
249  END
250enddef
251
252def Test_reserved_name()
253  for name in ['true', 'false', 'null']
254    CheckDefExecAndScriptFailure(['var ' .. name .. ' =  0'], 'E1034:')
255    CheckDefExecAndScriptFailure(['var ' .. name .. ': bool'], 'E1034:')
256  endfor
257enddef
258
259def Test_skipped_assignment()
260  var lines =<< trim END
261      for x in []
262        var i: number = 1
263        while false
264          i += 1
265        endwhile
266      endfor
267  END
268  CheckDefAndScriptSuccess(lines)
269enddef
270
271def Test_assign_unpack()
272  var lines =<< trim END
273    var v1: number
274    var v2: number
275    [v1, v2] = [1, 2]
276    assert_equal(1, v1)
277    assert_equal(2, v2)
278
279    [v1, _, v2, _] = [1, 99, 2, 77]
280    assert_equal(1, v1)
281    assert_equal(2, v2)
282
283    [v1, v2; _] = [1, 2, 3, 4, 5]
284    assert_equal(1, v1)
285    assert_equal(2, v2)
286  END
287  CheckDefAndScriptSuccess(lines)
288
289  lines =<< trim END
290      var v1: number
291      var v2: number
292      [v1, v2] =
293  END
294  CheckDefFailure(lines, 'E1097:', 5)
295
296  lines =<< trim END
297      var v1: number
298      var v2: number
299      [v1, v2] = xxx
300  END
301  CheckDefFailure(lines, 'E1001:', 3)
302
303  lines =<< trim END
304      var v1: number
305      var v2: number
306      [v1, v2] = popup_clear()
307  END
308  CheckDefFailure(lines, 'E1031:', 3)
309
310  lines =<< trim END
311      [v1, v2] = [1, 2]
312  END
313  CheckDefFailure(lines, 'E1089', 1)
314  CheckScriptFailure(['vim9script'] + lines, 'E1089', 2)
315
316  lines =<< trim END
317      var v1: number
318      var v2: number
319      [v1, v2] = ''
320  END
321  CheckDefFailure(lines, 'E1012: Type mismatch; expected list<any> but got string', 3)
322
323  lines =<< trim END
324    g:values = [false, 0]
325    var x: bool
326    var y: string
327    [x, y] = g:values
328  END
329  CheckDefExecAndScriptFailure(lines, 'E1163: Variable 2: type mismatch, expected string but got number')
330enddef
331
332def Test_assign_linebreak()
333  var nr: number
334  nr =
335      123
336  assert_equal(123, nr)
337
338  var n2: number
339  [nr, n2] =
340     [12, 34]
341  assert_equal(12, nr)
342  assert_equal(34, n2)
343
344  CheckDefFailure(["var x = #"], 'E1097:', 3)
345
346  var lines =<< trim END
347      var x: list<string> = ['a']
348      var y: list<number> = x
349          ->copy()
350          ->copy()
351  END
352  CheckDefFailure(lines, 'E1012:', 2)
353enddef
354
355def Test_assign_index()
356  # list of list
357  var l1: list<number>
358  l1[0] = 123
359  assert_equal([123], l1)
360
361  var l2: list<list<number>>
362  l2[0] = []
363  l2[0][0] = 123
364  assert_equal([[123]], l2)
365
366  var l3: list<list<list<number>>>
367  l3[0] = []
368  l3[0][0] = []
369  l3[0][0][0] = 123
370  assert_equal([[[123]]], l3)
371
372  var lines =<< trim END
373      var l3: list<list<number>>
374      l3[0] = []
375      l3[0][0] = []
376  END
377  CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got list<unknown>', 3)
378
379  # dict of dict
380  var d1: dict<number>
381  d1.one = 1
382  assert_equal({one: 1}, d1)
383
384  var d2: dict<dict<number>>
385  d2.one = {}
386  d2.one.two = 123
387  assert_equal({one: {two: 123}}, d2)
388
389  var d3: dict<dict<dict<number>>>
390  d3.one = {}
391  d3.one.two = {}
392  d3.one.two.three = 123
393  assert_equal({one: {two: {three: 123}}}, d3)
394
395  lines =<< trim END
396      var d3: dict<dict<number>>
397      d3.one = {}
398      d3.one.two = {}
399  END
400  CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got dict<unknown>', 3)
401
402  lines =<< trim END
403    var lines: list<string>
404    lines['a'] = 'asdf'
405  END
406  CheckDefFailure(lines, 'E1012:', 2)
407
408  lines =<< trim END
409    var lines: string
410    lines[9] = 'asdf'
411  END
412  CheckDefFailure(lines, 'E1141:', 2)
413
414  # list of dict
415  var ld: list<dict<number>>
416  ld[0] = {}
417  ld[0].one = 123
418  assert_equal([{one: 123}], ld)
419
420  lines =<< trim END
421      var ld: list<dict<number>>
422      ld[0] = []
423  END
424  CheckDefFailure(lines, 'E1012: Type mismatch; expected dict<number> but got list<unknown>', 2)
425
426  # dict of list
427  var dl: dict<list<number>>
428  dl.one = []
429  dl.one[0] = 123
430  assert_equal({one: [123]}, dl)
431
432  lines =<< trim END
433      var dl: dict<list<number>>
434      dl.one = {}
435  END
436  CheckDefFailure(lines, 'E1012: Type mismatch; expected list<number> but got dict<unknown>', 2)
437enddef
438
439def Test_extend_list()
440  var lines =<< trim END
441      vim9script
442      var l: list<number>
443      l += [123]
444      assert_equal([123], l)
445  END
446  CheckScriptSuccess(lines)
447
448  lines =<< trim END
449      vim9script
450      var list: list<string>
451      extend(list, ['x'])
452      assert_equal(['x'], list)
453  END
454  CheckScriptSuccess(lines)
455
456  # appending to NULL list from a function
457  lines =<< trim END
458      vim9script
459      var list: list<string>
460      def Func()
461        list += ['a', 'b']
462      enddef
463      Func()
464      assert_equal(['a', 'b'], list)
465  END
466  CheckScriptSuccess(lines)
467  lines =<< trim END
468      vim9script
469      var list: list<string>
470      def Func()
471        extend(list, ['x', 'b'])
472      enddef
473      Func()
474      assert_equal(['x', 'b'], list)
475  END
476  CheckScriptSuccess(lines)
477
478  lines =<< trim END
479      vim9script
480      var l: list<string> = test_null_list()
481      extend(l, ['x'])
482      assert_equal(['x'], l)
483  END
484  CheckScriptSuccess(lines)
485
486  lines =<< trim END
487      vim9script
488      extend(test_null_list(), ['x'])
489  END
490  CheckScriptFailure(lines, 'E1134:', 2)
491enddef
492
493def Test_extend_dict()
494  var lines =<< trim END
495      vim9script
496      var d: dict<number>
497      extend(d, {a: 1})
498      assert_equal({a: 1}, d)
499
500      var d2: dict<number>
501      d2['one'] = 1
502      assert_equal({one: 1}, d2)
503  END
504  CheckScriptSuccess(lines)
505
506  lines =<< trim END
507      vim9script
508      var d: dict<string> = test_null_dict()
509      extend(d, {a: 'x'})
510      assert_equal({a: 'x'}, d)
511  END
512  CheckScriptSuccess(lines)
513
514  lines =<< trim END
515      vim9script
516      extend(test_null_dict(), {a: 'x'})
517  END
518  CheckScriptFailure(lines, 'E1133:', 2)
519enddef
520
521def Test_single_letter_vars()
522  # single letter variables
523  var a: number = 123
524  a = 123
525  assert_equal(123, a)
526  var b: number
527  b = 123
528  assert_equal(123, b)
529  var g: number
530  g = 123
531  assert_equal(123, g)
532  var s: number
533  s = 123
534  assert_equal(123, s)
535  var t: number
536  t = 123
537  assert_equal(123, t)
538  var v: number
539  v = 123
540  assert_equal(123, v)
541  var w: number
542  w = 123
543  assert_equal(123, w)
544enddef
545
546def Test_vim9_single_char_vars()
547  var lines =<< trim END
548      vim9script
549
550      # single character variable declarations work
551      var a: string
552      var b: number
553      var l: list<any>
554      var s: string
555      var t: number
556      var v: number
557      var w: number
558
559      # script-local variables can be used without s: prefix
560      a = 'script-a'
561      b = 111
562      l = [1, 2, 3]
563      s = 'script-s'
564      t = 222
565      v = 333
566      w = 444
567
568      assert_equal('script-a', a)
569      assert_equal(111, b)
570      assert_equal([1, 2, 3], l)
571      assert_equal('script-s', s)
572      assert_equal(222, t)
573      assert_equal(333, v)
574      assert_equal(444, w)
575  END
576  writefile(lines, 'Xsinglechar')
577  source Xsinglechar
578  delete('Xsinglechar')
579enddef
580
581def Test_assignment_list()
582  var list1: list<bool> = [false, true, false]
583  var list2: list<number> = [1, 2, 3]
584  var list3: list<string> = ['sdf', 'asdf']
585  var list4: list<any> = ['yes', true, 1234]
586  var list5: list<blob> = [0z01, 0z02]
587
588  var listS: list<string> = []
589  var listN: list<number> = []
590
591  assert_equal([1, 2, 3], list2)
592  list2[-1] = 99
593  assert_equal([1, 2, 99], list2)
594  list2[-2] = 88
595  assert_equal([1, 88, 99], list2)
596  list2[-3] = 77
597  assert_equal([77, 88, 99], list2)
598  list2 += [100]
599  assert_equal([77, 88, 99, 100], list2)
600
601  list3 += ['end']
602  assert_equal(['sdf', 'asdf', 'end'], list3)
603
604  CheckDefExecFailure(['var ll = [1, 2, 3]', 'll[-4] = 6'], 'E684:')
605  CheckDefExecFailure(['var [v1, v2] = [1, 2]'], 'E1092:')
606
607  # type becomes list<any>
608  var somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
609
610  var lines =<< trim END
611    var d = {dd: test_null_list()}
612    d.dd[0] = 0
613  END
614  CheckDefExecFailure(lines, 'E1147:', 2)
615enddef
616
617def Test_assignment_list_any_index()
618   var l: list<number> = [1, 2]
619  for  [x, y, _]
620  in  [[0, 1, ''], [1, 3, '']]
621      l[x] = l[x] + y
622  endfor
623  assert_equal([2, 5], l)
624enddef
625
626def Test_assignment_list_vim9script()
627  var lines =<< trim END
628    vim9script
629    var v1: number
630    var v2: number
631    var v3: number
632    [v1, v2, v3] = [1, 2, 3]
633    assert_equal([1, 2, 3], [v1, v2, v3])
634  END
635  CheckScriptSuccess(lines)
636enddef
637
638def Test_assignment_dict()
639  var dict1: dict<bool> = {one: false, two: true}
640  var dict2: dict<number> = {one: 1, two: 2}
641  var dict3: dict<string> = {key: 'value'}
642  var dict4: dict<any> = {one: 1, two: '2'}
643  var dict5: dict<blob> = {one: 0z01, two: 0z02}
644
645  # overwrite
646  dict3['key'] = 'another'
647  assert_equal(dict3, {key: 'another'})
648  dict3.key = 'yet another'
649  assert_equal(dict3, {key: 'yet another'})
650
651  # member "any" can also be a dict and assigned to
652  var anydict: dict<any> = {nest: {}, nr: 0}
653  anydict.nest['this'] = 123
654  anydict.nest.that = 456
655  assert_equal({nest: {this: 123, that: 456}, nr: 0}, anydict)
656
657  var lines =<< trim END
658    var dd = {}
659    dd.two = 2
660    assert_equal({two: 2}, dd)
661  END
662  CheckDefAndScriptSuccess(lines)
663
664  lines =<< trim END
665    var d = {dd: {}}
666    d.dd[0] = 2
667    d.dd['x'] = 3
668    d.dd.y = 4
669    assert_equal({dd: {0: 2, x: 3, y: 4}}, d)
670  END
671  CheckDefAndScriptSuccess(lines)
672
673  lines =<< trim END
674    var dd = {one: 1}
675    dd.one) = 2
676  END
677  CheckDefFailure(lines, 'E488:', 2)
678
679  lines =<< trim END
680    var dd = {one: 1}
681    var dd.one = 2
682  END
683  CheckDefAndScriptFailure(lines, 'E1017:', 2)
684
685  # empty key can be used
686  var dd = {}
687  dd[""] = 6
688  assert_equal({['']: 6}, dd)
689
690  # type becomes dict<any>
691  var somedict = rand() > 0 ? {a: 1, b: 2} : {a: 'a', b: 'b'}
692
693  # assignment to script-local dict
694  lines =<< trim END
695    vim9script
696    var test: dict<any> = {}
697    def FillDict(): dict<any>
698      test['a'] = 43
699      return test
700    enddef
701    assert_equal({a: 43}, FillDict())
702  END
703  CheckScriptSuccess(lines)
704
705  lines =<< trim END
706    vim9script
707    var test: dict<any>
708    def FillDict(): dict<any>
709      test['a'] = 43
710      return test
711    enddef
712    FillDict()
713    assert_equal({a: 43}, test)
714  END
715  CheckScriptSuccess(lines)
716
717  # assignment to global dict
718  lines =<< trim END
719    vim9script
720    g:test = {}
721    def FillDict(): dict<any>
722      g:test['a'] = 43
723      return g:test
724    enddef
725    assert_equal({a: 43}, FillDict())
726  END
727  CheckScriptSuccess(lines)
728
729  # assignment to buffer dict
730  lines =<< trim END
731    vim9script
732    b:test = {}
733    def FillDict(): dict<any>
734      b:test['a'] = 43
735      return b:test
736    enddef
737    assert_equal({a: 43}, FillDict())
738  END
739  CheckScriptSuccess(lines)
740
741  lines =<< trim END
742    var d = {dd: test_null_dict()}
743    d.dd[0] = 0
744  END
745  CheckDefExecFailure(lines, 'E1103:', 2)
746
747  lines =<< trim END
748    var d = {dd: 'string'}
749    d.dd[0] = 0
750  END
751  CheckDefExecFailure(lines, 'E1148:', 2)
752enddef
753
754def Test_assignment_local()
755  # Test in a separated file in order not to the current buffer/window/tab is
756  # changed.
757  var script_lines: list<string> =<< trim END
758    let b:existing = 'yes'
759    let w:existing = 'yes'
760    let t:existing = 'yes'
761
762    def Test_assignment_local_internal()
763      b:newvar = 'new'
764      assert_equal('new', b:newvar)
765      assert_equal('yes', b:existing)
766      b:existing = 'no'
767      assert_equal('no', b:existing)
768      b:existing ..= 'NO'
769      assert_equal('noNO', b:existing)
770
771      w:newvar = 'new'
772      assert_equal('new', w:newvar)
773      assert_equal('yes', w:existing)
774      w:existing = 'no'
775      assert_equal('no', w:existing)
776      w:existing ..= 'NO'
777      assert_equal('noNO', w:existing)
778
779      t:newvar = 'new'
780      assert_equal('new', t:newvar)
781      assert_equal('yes', t:existing)
782      t:existing = 'no'
783      assert_equal('no', t:existing)
784      t:existing ..= 'NO'
785      assert_equal('noNO', t:existing)
786    enddef
787    call Test_assignment_local_internal()
788  END
789  CheckScriptSuccess(script_lines)
790enddef
791
792def Test_assignment_default()
793  # Test default values.
794  var thebool: bool
795  assert_equal(v:false, thebool)
796
797  var thenumber: number
798  assert_equal(0, thenumber)
799
800  if has('float')
801    var thefloat: float
802    assert_equal(0.0, thefloat)
803  endif
804
805  var thestring: string
806  assert_equal('', thestring)
807
808  var theblob: blob
809  assert_equal(0z, theblob)
810
811  var Thefunc: func
812  assert_equal(test_null_function(), Thefunc)
813
814  var thelist: list<any>
815  assert_equal([], thelist)
816
817  var thedict: dict<any>
818  assert_equal({}, thedict)
819
820  if has('channel')
821    var thejob: job
822    assert_equal(test_null_job(), thejob)
823
824    var thechannel: channel
825    assert_equal(test_null_channel(), thechannel)
826
827    if has('unix') && executable('cat')
828      # check with non-null job and channel, types must match
829      thejob = job_start("cat ", {})
830      thechannel = job_getchannel(thejob)
831      job_stop(thejob, 'kill')
832    endif
833  endif
834
835  var nr = 1234 | nr = 5678
836  assert_equal(5678, nr)
837enddef
838
839let scriptvar = 'init'
840
841def Test_assignment_var_list()
842  var lines =<< trim END
843      var v1: string
844      var v2: string
845      var vrem: list<string>
846      [v1] = ['aaa']
847      assert_equal('aaa', v1)
848
849      [v1, v2] = ['one', 'two']
850      assert_equal('one', v1)
851      assert_equal('two', v2)
852
853      [v1, v2; vrem] = ['one', 'two']
854      assert_equal('one', v1)
855      assert_equal('two', v2)
856      assert_equal([], vrem)
857
858      [v1, v2; vrem] = ['one', 'two', 'three']
859      assert_equal('one', v1)
860      assert_equal('two', v2)
861      assert_equal(['three'], vrem)
862
863      [&ts, &sw] = [3, 4]
864      assert_equal(3, &ts)
865      assert_equal(4, &sw)
866      set ts=8 sw=4
867
868      [@a, @z] = ['aa', 'zz']
869      assert_equal('aa', @a)
870      assert_equal('zz', @z)
871
872      [$SOME_VAR, $OTHER_VAR] = ['some', 'other']
873      assert_equal('some', $SOME_VAR)
874      assert_equal('other', $OTHER_VAR)
875
876      [g:globalvar, b:bufvar, w:winvar, t:tabvar, v:errmsg] =
877            ['global', 'buf', 'win', 'tab', 'error']
878      assert_equal('global', g:globalvar)
879      assert_equal('buf', b:bufvar)
880      assert_equal('win', w:winvar)
881      assert_equal('tab', t:tabvar)
882      assert_equal('error', v:errmsg)
883      unlet g:globalvar
884  END
885  CheckDefAndScriptSuccess(lines)
886
887  [g:globalvar, s:scriptvar, b:bufvar] = ['global', 'script', 'buf']
888  assert_equal('global', g:globalvar)
889  assert_equal('script', s:scriptvar)
890  assert_equal('buf', b:bufvar)
891
892  lines =<< trim END
893      vim9script
894      var s:scriptvar = 'init'
895      [g:globalvar, s:scriptvar, w:winvar] = ['global', 'script', 'win']
896      assert_equal('global', g:globalvar)
897      assert_equal('script', s:scriptvar)
898      assert_equal('win', w:winvar)
899  END
900  CheckScriptSuccess(lines)
901enddef
902
903def Test_assignment_vim9script()
904  var lines =<< trim END
905    vim9script
906    def Func(): list<number>
907      return [1, 2]
908    enddef
909    var name1: number
910    var name2: number
911    [name1, name2] =
912          Func()
913    assert_equal(1, name1)
914    assert_equal(2, name2)
915    var ll =
916          Func()
917    assert_equal([1, 2], ll)
918
919    @/ = 'text'
920    assert_equal('text', @/)
921    @0 = 'zero'
922    assert_equal('zero', @0)
923    @1 = 'one'
924    assert_equal('one', @1)
925    @9 = 'nine'
926    assert_equal('nine', @9)
927    @- = 'minus'
928    assert_equal('minus', @-)
929    if has('clipboard_working')
930      @* = 'star'
931      assert_equal('star', @*)
932      @+ = 'plus'
933      assert_equal('plus', @+)
934    endif
935
936    var a: number = 123
937    assert_equal(123, a)
938    var s: string = 'yes'
939    assert_equal('yes', s)
940    var b: number = 42
941    assert_equal(42, b)
942    var w: number = 43
943    assert_equal(43, w)
944    var t: number = 44
945    assert_equal(44, t)
946
947    var to_var = 0
948    to_var = 3
949    assert_equal(3, to_var)
950  END
951  CheckScriptSuccess(lines)
952
953  lines =<< trim END
954      vim9script
955      var n: number
956      def Func()
957        n = 'string'
958      enddef
959      defcompile
960  END
961  CheckScriptFailure(lines, 'E1012: Type mismatch; expected number but got string')
962enddef
963
964def Mess(): string
965  v:foldstart = 123
966  return 'xxx'
967enddef
968
969def Test_assignment_failure()
970  CheckDefFailure(['var name=234'], 'E1004:')
971  CheckDefFailure(['var name =234'], 'E1004:')
972  CheckDefFailure(['var name= 234'], 'E1004:')
973
974  CheckScriptFailure(['vim9script', 'var name=234'], 'E1004:')
975  CheckScriptFailure(['vim9script', 'var name=234'], "before and after '='")
976  CheckScriptFailure(['vim9script', 'var name =234'], 'E1004:')
977  CheckScriptFailure(['vim9script', 'var name= 234'], 'E1004:')
978  CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], 'E1004:')
979  CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], "before and after '+='")
980  CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], 'E1004:')
981  CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], "before and after '..='")
982
983  CheckDefFailure(['var true = 1'], 'E1034:')
984  CheckDefFailure(['var false = 1'], 'E1034:')
985
986  CheckDefFailure(['[a; b; c] = g:list'], 'E452:')
987  CheckDefExecFailure(['var a: number',
988                       '[a] = test_null_list()'], 'E1093:')
989  CheckDefExecFailure(['var a: number',
990                       '[a] = []'], 'E1093:')
991  CheckDefExecFailure(['var x: number',
992                       'var y: number',
993                       '[x, y] = [1]'], 'E1093:')
994  CheckDefExecFailure(['var x: string',
995                       'var y: string',
996                       '[x, y] = ["x"]'], 'E1093:')
997  CheckDefExecFailure(['var x: number',
998                       'var y: number',
999                       'var z: list<number>',
1000                       '[x, y; z] = [1]'], 'E1093:')
1001
1002  CheckDefFailure(['var somevar'], "E1022:")
1003  CheckDefFailure(['var &tabstop = 4'], 'E1052:')
1004  CheckDefFailure(['&g:option = 5'], 'E113:')
1005  CheckScriptFailure(['vim9script', 'var &tabstop = 4'], 'E1052:')
1006
1007  CheckDefFailure(['var $VAR = 5'], 'E1016: Cannot declare an environment variable:')
1008  CheckScriptFailure(['vim9script', 'var $ENV = "xxx"'], 'E1016:')
1009
1010  if has('dnd')
1011    CheckDefFailure(['var @~ = 5'], 'E1066:')
1012  else
1013    CheckDefFailure(['var @~ = 5'], 'E354:')
1014    CheckDefFailure(['@~ = 5'], 'E354:')
1015  endif
1016  CheckDefFailure(['var @a = 5'], 'E1066:')
1017  CheckDefFailure(['var @/ = "x"'], 'E1066:')
1018  CheckScriptFailure(['vim9script', 'var @a = "abc"'], 'E1066:')
1019
1020  CheckDefFailure(['var g:var = 5'], 'E1016: Cannot declare a global variable:')
1021  CheckDefFailure(['var w:var = 5'], 'E1016: Cannot declare a window variable:')
1022  CheckDefFailure(['var b:var = 5'], 'E1016: Cannot declare a buffer variable:')
1023  CheckDefFailure(['var t:var = 5'], 'E1016: Cannot declare a tab variable:')
1024
1025  CheckDefFailure(['var anr = 4', 'anr ..= "text"'], 'E1019:')
1026  CheckDefFailure(['var xnr += 4'], 'E1020:', 1)
1027  CheckScriptFailure(['vim9script', 'var xnr += 4'], 'E1020:')
1028  CheckDefFailure(["var xnr = xnr + 1"], 'E1001:', 1)
1029  CheckScriptFailure(['vim9script', 'var xnr = xnr + 4'], 'E121:')
1030
1031  CheckScriptFailure(['vim9script', 'def Func()', 'var dummy = s:notfound', 'enddef', 'defcompile'], 'E1108:')
1032
1033  CheckDefFailure(['var name: list<string> = [123]'], 'expected list<string> but got list<number>')
1034  CheckDefFailure(['var name: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
1035
1036  CheckDefFailure(['var name: dict<string> = {key: 123}'], 'expected dict<string> but got dict<number>')
1037  CheckDefFailure(['var name: dict<number> = {key: "xx"}'], 'expected dict<number> but got dict<string>')
1038
1039  CheckDefFailure(['var name = feedkeys("0")'], 'E1031:')
1040  CheckDefFailure(['var name: number = feedkeys("0")'], 'expected number but got void')
1041
1042  CheckDefFailure(['var name: dict <number>'], 'E1068:')
1043  CheckDefFailure(['var name: dict<number'], 'E1009:')
1044
1045  assert_fails('s/^/\=Mess()/n', 'E794:')
1046  CheckDefFailure(['var name: dict<number'], 'E1009:')
1047
1048  CheckDefFailure(['w:foo: number = 10'],
1049                  'E488: Trailing characters: : number = 1')
1050  CheckDefFailure(['t:foo: bool = true'],
1051                  'E488: Trailing characters: : bool = true')
1052  CheckDefFailure(['b:foo: string = "x"'],
1053                  'E488: Trailing characters: : string = "x"')
1054  CheckDefFailure(['g:foo: number = 123'],
1055                  'E488: Trailing characters: : number = 123')
1056enddef
1057
1058def Test_assign_list()
1059  var l: list<string> = []
1060  l[0] = 'value'
1061  assert_equal('value', l[0])
1062
1063  l[1] = 'asdf'
1064  assert_equal('value', l[0])
1065  assert_equal('asdf', l[1])
1066  assert_equal('asdf', l[-1])
1067  assert_equal('value', l[-2])
1068
1069  var nrl: list<number> = []
1070  for i in range(5)
1071    nrl[i] = i
1072  endfor
1073  assert_equal([0, 1, 2, 3, 4], nrl)
1074
1075  CheckDefFailure(["var l: list<number> = ['', true]"], 'E1012: Type mismatch; expected list<number> but got list<any>', 1)
1076  CheckDefFailure(["var l: list<list<number>> = [['', true]]"], 'E1012: Type mismatch; expected list<list<number>> but got list<list<any>>', 1)
1077enddef
1078
1079def Test_assign_dict()
1080  var lines =<< trim END
1081      var d: dict<string> = {}
1082      d['key'] = 'value'
1083      assert_equal('value', d['key'])
1084
1085      d[123] = 'qwerty'
1086      assert_equal('qwerty', d[123])
1087      assert_equal('qwerty', d['123'])
1088
1089      var nrd: dict<number> = {}
1090      for i in range(3)
1091        nrd[i] = i
1092      endfor
1093      assert_equal({0: 0, 1: 1, 2: 2}, nrd)
1094
1095      d.somekey = 'someval'
1096      assert_equal({key: 'value', '123': 'qwerty', somekey: 'someval'}, d)
1097      # unlet d.somekey
1098      # assert_equal({key: 'value', '123': 'qwerty'}, d)
1099  END
1100  CheckDefAndScriptSuccess(lines)
1101
1102  # TODO: move to above once "unlet d.somekey" in :def is implemented
1103  lines =<< trim END
1104      vim9script
1105      var d: dict<string> = {}
1106      d['key'] = 'value'
1107      d.somekey = 'someval'
1108      assert_equal({key: 'value', somekey: 'someval'}, d)
1109      unlet d.somekey
1110      assert_equal({key: 'value'}, d)
1111  END
1112  CheckScriptSuccess(lines)
1113
1114  CheckDefFailure(["var d: dict<number> = {a: '', b: true}"], 'E1012: Type mismatch; expected dict<number> but got dict<any>', 1)
1115  CheckDefFailure(["var d: dict<dict<number>> = {x: {a: '', b: true}}"], 'E1012: Type mismatch; expected dict<dict<number>> but got dict<dict<any>>', 1)
1116enddef
1117
1118def Test_assign_dict_unknown_type()
1119  var lines =<< trim END
1120      vim9script
1121      var mylist = []
1122      mylist += [{one: 'one'}]
1123      def Func()
1124        var dd = mylist[0]
1125        assert_equal('one', dd.one)
1126      enddef
1127      Func()
1128  END
1129  CheckScriptSuccess(lines)
1130
1131  lines =<< trim END
1132      vim9script
1133      var mylist = [[]]
1134      mylist[0] += [{one: 'one'}]
1135      def Func()
1136        var dd = mylist[0][0]
1137        assert_equal('one', dd.one)
1138      enddef
1139      Func()
1140  END
1141  CheckScriptSuccess(lines)
1142enddef
1143
1144def Test_assign_dict_with_op()
1145  var lines =<< trim END
1146    var ds: dict<string> = {a: 'x'}
1147    ds['a'] ..= 'y'
1148    ds.a ..= 'z'
1149    assert_equal('xyz', ds.a)
1150
1151    var dn: dict<number> = {a: 9}
1152    dn['a'] += 2
1153    assert_equal(11, dn.a)
1154    dn.a += 2
1155    assert_equal(13, dn.a)
1156
1157    dn['a'] -= 3
1158    assert_equal(10, dn.a)
1159    dn.a -= 2
1160    assert_equal(8, dn.a)
1161
1162    dn['a'] *= 2
1163    assert_equal(16, dn.a)
1164    dn.a *= 2
1165    assert_equal(32, dn.a)
1166
1167    dn['a'] /= 3
1168    assert_equal(10, dn.a)
1169    dn.a /= 2
1170    assert_equal(5, dn.a)
1171
1172    dn['a'] %= 3
1173    assert_equal(2, dn.a)
1174    dn.a %= 6
1175    assert_equal(2, dn.a)
1176
1177    var dd: dict<dict<list<any>>>
1178    dd.a = {}
1179    dd.a.b = [0]
1180    dd.a.b += [1]
1181    assert_equal({a: {b: [0, 1]}}, dd)
1182
1183    var dab = {a: ['b']}
1184    dab.a[0] ..= 'c'
1185    assert_equal({a: ['bc']}, dab)
1186  END
1187  CheckDefAndScriptSuccess(lines)
1188enddef
1189
1190def Test_assign_list_with_op()
1191  var lines =<< trim END
1192    var ls: list<string> = ['x']
1193    ls[0] ..= 'y'
1194    assert_equal('xy', ls[0])
1195
1196    var ln: list<number> = [9]
1197    ln[0] += 2
1198    assert_equal(11, ln[0])
1199
1200    ln[0] -= 3
1201    assert_equal(8, ln[0])
1202
1203    ln[0] *= 2
1204    assert_equal(16, ln[0])
1205
1206    ln[0] /= 3
1207    assert_equal(5, ln[0])
1208
1209    ln[0] %= 3
1210    assert_equal(2, ln[0])
1211  END
1212  CheckDefAndScriptSuccess(lines)
1213enddef
1214
1215def Test_assign_with_op_fails()
1216  var lines =<< trim END
1217      var s = 'abc'
1218      s[1] += 'x'
1219  END
1220  CheckDefAndScriptFailure2(lines, 'E1141:', 'E689:', 2)
1221
1222  lines =<< trim END
1223      var s = 'abc'
1224      s[1] ..= 'x'
1225  END
1226  CheckDefAndScriptFailure2(lines, 'E1141:', 'E689:', 2)
1227
1228  lines =<< trim END
1229      var dd: dict<dict<list<any>>>
1230      dd.a = {}
1231      dd.a.b += [1]
1232  END
1233  CheckDefExecAndScriptFailure(lines, 'E716:', 3)
1234enddef
1235
1236def Test_assign_lambda()
1237  # check if assign a lambda to a variable which type is func or any.
1238  var lines =<< trim END
1239      vim9script
1240      var FuncRef = () => 123
1241      assert_equal(123, FuncRef())
1242      var FuncRef_Func: func = () => 123
1243      assert_equal(123, FuncRef_Func())
1244      var FuncRef_Any: any = () => 123
1245      assert_equal(123, FuncRef_Any())
1246      var FuncRef_Number: func(): number = () => 321
1247      assert_equal(321, FuncRef_Number())
1248  END
1249  CheckScriptSuccess(lines)
1250
1251  lines =<< trim END
1252      var Ref: func(number)
1253      Ref = (j) => !j
1254  END
1255  CheckDefAndScriptFailure(lines, 'E1012: Type mismatch; expected func(number) but got func(any): bool')
1256
1257  lines =<< trim END
1258      echo filter([1, 2, 3], (_, v: string) => v + 1)
1259  END
1260  CheckDefAndScriptFailure(lines, 'E1051:')
1261enddef
1262
1263def Test_heredoc()
1264  var lines =<< trim END # comment
1265    text
1266  END
1267  assert_equal(['text'], lines)
1268
1269  CheckDefFailure(['var lines =<< trim END X', 'END'], 'E488:')
1270  CheckDefFailure(['var lines =<< trim END " comment', 'END'], 'E488:')
1271
1272  lines =<< trim [END]
1273      def Func()
1274        var&lines =<< trim END
1275        x
1276        x
1277      enddef
1278      defcompile
1279  [END]
1280  CheckScriptFailure(lines, 'E1145: Missing heredoc end marker: END')
1281  delfunc! g:Func
1282
1283  lines =<< trim [END]
1284      def Func()
1285        var lines =<< trim END
1286        x
1287        x
1288        x
1289        x
1290        x
1291        x
1292        x
1293        x
1294      enddef
1295      call Func()
1296  [END]
1297  CheckScriptFailure(lines, 'E1145: Missing heredoc end marker: END')
1298  delfunc! g:Func
1299enddef
1300
1301def Test_var_func_call()
1302  var lines =<< trim END
1303    vim9script
1304    func GetValue()
1305      if exists('g:count')
1306        let g:count += 1
1307      else
1308        let g:count = 1
1309      endif
1310      return 'this'
1311    endfunc
1312    var val: string = GetValue()
1313    # env var is always a string
1314    var env = $TERM
1315  END
1316  writefile(lines, 'Xfinished')
1317  source Xfinished
1318  # GetValue() is not called during discovery phase
1319  assert_equal(1, g:count)
1320
1321  unlet g:count
1322  delete('Xfinished')
1323enddef
1324
1325def Test_var_missing_type()
1326  var lines =<< trim END
1327    vim9script
1328    var name = g:unknown
1329  END
1330  CheckScriptFailure(lines, 'E121:')
1331
1332  lines =<< trim END
1333    vim9script
1334    var nr: number = 123
1335    var name = nr
1336  END
1337  CheckScriptSuccess(lines)
1338enddef
1339
1340def Test_var_declaration()
1341  var lines =<< trim END
1342    vim9script
1343    var name: string
1344    g:var_uninit = name
1345    name = 'text'
1346    g:var_test = name
1347    # prefixing s: is optional
1348    s:name = 'prefixed'
1349    g:var_prefixed = s:name
1350
1351    const FOO: number = 123
1352    assert_equal(123, FOO)
1353    const FOOS = 'foos'
1354    assert_equal('foos', FOOS)
1355    final FLIST = [1]
1356    assert_equal([1], FLIST)
1357    FLIST[0] = 11
1358    assert_equal([11], FLIST)
1359
1360    const g:FOO: number = 321
1361    assert_equal(321, g:FOO)
1362    const g:FOOS = 'gfoos'
1363    assert_equal('gfoos', g:FOOS)
1364    final g:FLIST = [2]
1365    assert_equal([2], g:FLIST)
1366    g:FLIST[0] = 22
1367    assert_equal([22], g:FLIST)
1368
1369    def SetGlobalConst()
1370      const g:globConst = 123
1371    enddef
1372    SetGlobalConst()
1373    assert_equal(123, g:globConst)
1374    assert_true(islocked('g:globConst'))
1375
1376    const w:FOO: number = 46
1377    assert_equal(46, w:FOO)
1378    const w:FOOS = 'wfoos'
1379    assert_equal('wfoos', w:FOOS)
1380    final w:FLIST = [3]
1381    assert_equal([3], w:FLIST)
1382    w:FLIST[0] = 33
1383    assert_equal([33], w:FLIST)
1384
1385    var s:other: number
1386    other = 1234
1387    g:other_var = other
1388
1389    var xyz: string  # comment
1390
1391    # type is inferred
1392    var s:dict = {['a']: 222}
1393    def GetDictVal(key: any)
1394      g:dict_val = s:dict[key]
1395    enddef
1396    GetDictVal('a')
1397
1398    final adict: dict<string> = {}
1399    def ChangeAdict()
1400      adict.foo = 'foo'
1401    enddef
1402    ChangeAdict()
1403  END
1404  CheckScriptSuccess(lines)
1405  assert_equal('', g:var_uninit)
1406  assert_equal('text', g:var_test)
1407  assert_equal('prefixed', g:var_prefixed)
1408  assert_equal(1234, g:other_var)
1409  assert_equal(222, g:dict_val)
1410
1411  unlet g:var_uninit
1412  unlet g:var_test
1413  unlet g:var_prefixed
1414  unlet g:other_var
1415  unlet g:globConst
1416  unlet g:FOO
1417  unlet g:FOOS
1418  unlet g:FLIST
1419  unlet w:FOO
1420  unlet w:FOOS
1421  unlet w:FLIST
1422enddef
1423
1424def Test_var_declaration_fails()
1425  var lines =<< trim END
1426    vim9script
1427    final var: string
1428  END
1429  CheckScriptFailure(lines, 'E1125:')
1430
1431  lines =<< trim END
1432    vim9script
1433    const g:constvar = 'string'
1434    g:constvar = 'xx'
1435  END
1436  CheckScriptFailure(lines, 'E741:')
1437  unlet g:constvar
1438
1439  lines =<< trim END
1440    vim9script
1441    var name = 'one'
1442    lockvar name
1443    def SetLocked()
1444      name = 'two'
1445    enddef
1446    SetLocked()
1447  END
1448  CheckScriptFailure(lines, 'E741: Value is locked: name', 1)
1449
1450  lines =<< trim END
1451    let s:legacy = 'one'
1452    lockvar s:legacy
1453    def SetLocked()
1454      s:legacy = 'two'
1455    enddef
1456    call SetLocked()
1457  END
1458  CheckScriptFailure(lines, 'E741: Value is locked: s:legacy', 1)
1459
1460  lines =<< trim END
1461    vim9script
1462    def SetGlobalConst()
1463      const g:globConst = 123
1464    enddef
1465    SetGlobalConst()
1466    g:globConst = 234
1467  END
1468  CheckScriptFailure(lines, 'E741: Value is locked: g:globConst', 6)
1469  unlet g:globConst
1470
1471  lines =<< trim END
1472    vim9script
1473    const cdict: dict<string> = {}
1474    def Change()
1475      cdict.foo = 'foo'
1476    enddef
1477    defcompile
1478  END
1479  CheckScriptFailure(lines, 'E46:')
1480
1481  lines =<< trim END
1482    vim9script
1483    final w:finalvar = [9]
1484    w:finalvar = [8]
1485  END
1486  CheckScriptFailure(lines, 'E1122:')
1487  unlet w:finalvar
1488
1489  lines =<< trim END
1490    vim9script
1491    const var: string
1492  END
1493  CheckScriptFailure(lines, 'E1021:')
1494
1495  lines =<< trim END
1496    vim9script
1497    var 9var: string
1498  END
1499  CheckScriptFailure(lines, 'E488:')
1500
1501  CheckDefFailure(['var foo.bar = 2'], 'E1087:')
1502  CheckDefFailure(['var foo[3] = 2'], 'E1087:')
1503  CheckDefFailure(['const foo: number'], 'E1021:')
1504enddef
1505
1506def Test_script_local_in_legacy()
1507  # OK to define script-local later when prefixed with s:
1508  var lines =<< trim END
1509    def SetLater()
1510      s:legvar = 'two'
1511    enddef
1512    defcompile
1513    let s:legvar = 'one'
1514    call SetLater()
1515    call assert_equal('two', s:legvar)
1516  END
1517  CheckScriptSuccess(lines)
1518
1519  # OK to leave out s: prefix when script-local already defined
1520  lines =<< trim END
1521    let s:legvar = 'one'
1522    def SetNoPrefix()
1523      legvar = 'two'
1524    enddef
1525    call SetNoPrefix()
1526    call assert_equal('two', s:legvar)
1527  END
1528  CheckScriptSuccess(lines)
1529
1530  # Not OK to leave out s: prefix when script-local defined later
1531  lines =<< trim END
1532    def SetLaterNoPrefix()
1533      legvar = 'two'
1534    enddef
1535    defcompile
1536    let s:legvar = 'one'
1537  END
1538  CheckScriptFailure(lines, 'E476:', 1)
1539enddef
1540
1541def Test_var_type_check()
1542  var lines =<< trim END
1543    vim9script
1544    var name: string
1545    name = 1234
1546  END
1547  CheckScriptFailure(lines, 'E1012:')
1548
1549  lines =<< trim END
1550    vim9script
1551    var name:string
1552  END
1553  CheckScriptFailure(lines, 'E1069:')
1554
1555  lines =<< trim END
1556    vim9script
1557    var name: asdf
1558  END
1559  CheckScriptFailure(lines, 'E1010:')
1560
1561  lines =<< trim END
1562    vim9script
1563    var s:l: list<number>
1564    s:l = []
1565  END
1566  CheckScriptSuccess(lines)
1567
1568  lines =<< trim END
1569    vim9script
1570    var s:d: dict<number>
1571    s:d = {}
1572  END
1573  CheckScriptSuccess(lines)
1574enddef
1575
1576let g:dict_number = #{one: 1, two: 2}
1577
1578def Test_var_list_dict_type()
1579  var ll: list<number>
1580  ll = [1, 2, 2, 3, 3, 3]->uniq()
1581  ll->assert_equal([1, 2, 3])
1582
1583  var dd: dict<number>
1584  dd = g:dict_number
1585  dd->assert_equal(g:dict_number)
1586
1587  var lines =<< trim END
1588      var ll: list<number>
1589      ll = [1, 2, 3]->map('"one"')
1590  END
1591  CheckDefExecFailure(lines, 'E1012: Type mismatch; expected number but got string')
1592enddef
1593
1594def Test_cannot_use_let()
1595  CheckDefAndScriptFailure(['let a = 34'], 'E1126:', 1)
1596enddef
1597
1598def Test_unlet()
1599  g:somevar = 'yes'
1600  assert_true(exists('g:somevar'))
1601  unlet g:somevar
1602  assert_false(exists('g:somevar'))
1603  unlet! g:somevar
1604
1605  # also works for script-local variable in legacy Vim script
1606  s:somevar = 'legacy'
1607  assert_true(exists('s:somevar'))
1608  unlet s:somevar
1609  assert_false(exists('s:somevar'))
1610  unlet! s:somevar
1611
1612  CheckDefExecFailure([
1613    'var dd = 111',
1614    'unlet dd',
1615    ], 'E1081:', 2)
1616
1617  # dict unlet
1618  var dd = {a: 1, b: 2, c: 3}
1619  unlet dd['a']
1620  unlet dd.c
1621  assert_equal({b: 2}, dd)
1622
1623  # list unlet
1624  var ll = [1, 2, 3, 4]
1625  unlet ll[1]
1626  unlet ll[-1]
1627  assert_equal([1, 3], ll)
1628
1629  ll = [1, 2, 3, 4]
1630  unlet ll[0 : 1]
1631  assert_equal([3, 4], ll)
1632
1633  ll = [1, 2, 3, 4]
1634  unlet ll[2 : 8]
1635  assert_equal([1, 2], ll)
1636
1637  ll = [1, 2, 3, 4]
1638  unlet ll[-2 : -1]
1639  assert_equal([1, 2], ll)
1640
1641  CheckDefFailure([
1642    'var ll = [1, 2]',
1643    'll[1 : 2] = 7',
1644    ], 'E1165:', 2)
1645  CheckDefFailure([
1646    'var dd = {a: 1}',
1647    'unlet dd["a" : "a"]',
1648    ], 'E1166:', 2)
1649  CheckDefExecFailure([
1650    'unlet g:adict[0 : 1]',
1651    ], 'E1148:', 1)
1652  CheckDefFailure([
1653    'var ll = [1, 2]',
1654    'unlet ll[0:1]',
1655    ], 'E1004:', 2)
1656  CheckDefFailure([
1657    'var ll = [1, 2]',
1658    'unlet ll[0 :1]',
1659    ], 'E1004:', 2)
1660  CheckDefFailure([
1661    'var ll = [1, 2]',
1662    'unlet ll[0: 1]',
1663    ], 'E1004:', 2)
1664
1665  CheckDefFailure([
1666    'var ll = [1, 2]',
1667    'unlet ll["x" : 1]',
1668    ], 'E1012:', 2)
1669  CheckDefFailure([
1670    'var ll = [1, 2]',
1671    'unlet ll[0 : "x"]',
1672    ], 'E1012:', 2)
1673
1674  # list of dict unlet
1675  var dl = [{a: 1, b: 2}, {c: 3}]
1676  unlet dl[0]['b']
1677  assert_equal([{a: 1}, {c: 3}], dl)
1678
1679  CheckDefExecFailure([
1680    'var ll = test_null_list()',
1681    'unlet ll[0]',
1682    ], 'E684:', 2)
1683  CheckDefExecFailure([
1684    'var ll = [1]',
1685    'unlet ll[2]',
1686    ], 'E684:', 2)
1687  CheckDefExecFailure([
1688    'var ll = [1]',
1689    'unlet ll[g:astring]',
1690    ], 'E1012:', 2)
1691  CheckDefExecFailure([
1692    'var dd = test_null_dict()',
1693    'unlet dd["a"]',
1694    ], 'E716:', 2)
1695  CheckDefExecFailure([
1696    'var dd = {a: 1}',
1697    'unlet dd["b"]',
1698    ], 'E716:', 2)
1699  CheckDefExecFailure([
1700    'var dd = {a: 1}',
1701    'unlet dd[g:alist]',
1702    ], 'E1105:', 2)
1703
1704  # can compile unlet before variable exists
1705  g:someDict = {key: 'val'}
1706  var k = 'key'
1707  unlet g:someDict[k]
1708  assert_equal({}, g:someDict)
1709  unlet g:someDict
1710  assert_false(exists('g:someDict'))
1711
1712  CheckScriptFailure([
1713   'vim9script',
1714   'var svar = 123',
1715   'unlet svar',
1716   ], 'E1081:')
1717  CheckScriptFailure([
1718   'vim9script',
1719   'var svar = 123',
1720   'unlet s:svar',
1721   ], 'E1081:')
1722  CheckScriptFailure([
1723   'vim9script',
1724   'var svar = 123',
1725   'def Func()',
1726   '  unlet svar',
1727   'enddef',
1728   'defcompile',
1729   ], 'E1081:')
1730  CheckScriptFailure([
1731   'vim9script',
1732   'var svar = 123',
1733   'func Func()',
1734   '  unlet s:svar',
1735   'endfunc',
1736   'Func()',
1737   ], 'E1081:')
1738  CheckScriptFailure([
1739   'vim9script',
1740   'var svar = 123',
1741   'def Func()',
1742   '  unlet s:svar',
1743   'enddef',
1744   'defcompile',
1745   ], 'E1081:')
1746
1747  writefile(['vim9script', 'export var svar = 1234'], 'XunletExport.vim')
1748  var lines =<< trim END
1749    vim9script
1750    import svar from './XunletExport.vim'
1751    def UnletSvar()
1752      unlet svar
1753    enddef
1754    defcompile
1755  END
1756  CheckScriptFailure(lines, 'E1081:', 1)
1757  delete('XunletExport.vim')
1758
1759  $ENVVAR = 'foobar'
1760  assert_equal('foobar', $ENVVAR)
1761  unlet $ENVVAR
1762  assert_equal('', $ENVVAR)
1763enddef
1764
1765def Test_expr_error_no_assign()
1766  var lines =<< trim END
1767      vim9script
1768      var x = invalid
1769      echo x
1770  END
1771  CheckScriptFailureList(lines, ['E121:', 'E121:'])
1772
1773  lines =<< trim END
1774      vim9script
1775      var x = 1 / 0
1776      echo x
1777  END
1778  CheckScriptFailure(lines, 'E1154:')
1779
1780  lines =<< trim END
1781      vim9script
1782      var x = 1 % 0
1783      echo x
1784  END
1785  CheckScriptFailure(lines, 'E1154:')
1786
1787  lines =<< trim END
1788      var x: string  'string'
1789  END
1790  CheckDefAndScriptFailure(lines, 'E488:')
1791enddef
1792
1793
1794def Test_assign_command_modifier()
1795  var lines =<< trim END
1796      var verbose = 0
1797      verbose = 1
1798      assert_equal(1, verbose)
1799      silent verbose = 2
1800      assert_equal(2, verbose)
1801      silent verbose += 2
1802      assert_equal(4, verbose)
1803      silent verbose -= 1
1804      assert_equal(3, verbose)
1805
1806      var topleft = {one: 1}
1807      sandbox topleft.one = 3
1808      assert_equal({one: 3}, topleft)
1809      leftabove topleft[' '] = 4
1810      assert_equal({one: 3, ' ': 4}, topleft)
1811
1812      var x: number
1813      var y: number
1814      silent [x, y] = [1, 2]
1815      assert_equal(1, x)
1816      assert_equal(2, y)
1817  END
1818  CheckDefAndScriptSuccess(lines)
1819enddef
1820
1821def Test_script_funcref_case()
1822  var lines =<< trim END
1823      var Len = (s: string): number => len(s) + 1
1824      assert_equal(5, Len('asdf'))
1825  END
1826  CheckDefAndScriptSuccess(lines)
1827
1828  lines =<< trim END
1829      var len = (s: string): number => len(s) + 1
1830  END
1831  CheckDefAndScriptFailure(lines, 'E704:')
1832
1833  lines =<< trim END
1834      vim9script
1835      var s:Len = (s: string): number => len(s) + 2
1836      assert_equal(6, Len('asdf'))
1837  END
1838  CheckScriptSuccess(lines)
1839
1840  lines =<< trim END
1841      vim9script
1842      var s:len = (s: string): number => len(s) + 1
1843  END
1844  CheckScriptFailure(lines, 'E704:')
1845enddef
1846
1847def Test_inc_dec()
1848  var lines =<< trim END
1849      var nr = 7
1850      ++nr
1851      assert_equal(8, nr)
1852      --nr
1853      assert_equal(7, nr)
1854
1855      var ll = [1, 2]
1856      --ll[0]
1857      ++ll[1]
1858      assert_equal([0, 3], ll)
1859
1860      g:count = 1
1861      ++g:count
1862      --g:count
1863      assert_equal(1, g:count)
1864      unlet g:count
1865  END
1866  CheckDefAndScriptSuccess(lines)
1867enddef
1868
1869
1870" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker
1871