blob: 24f62d85d24eea76fb68637501a76f285268fdf5 [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]
12let g:astring = 'text'
13
14def Test_assignment_bool()
Bram Moolenaar30fd8202020-09-26 15:09:30 +020015 var bool1: bool = true
Bram Moolenaar971caf52020-09-21 22:21:42 +020016 assert_equal(v:true, bool1)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020017 var bool2: bool = false
Bram Moolenaar971caf52020-09-21 22:21:42 +020018 assert_equal(v:false, bool2)
19
Bram Moolenaar30fd8202020-09-26 15:09:30 +020020 var bool3: bool = 0
Bram Moolenaar971caf52020-09-21 22:21:42 +020021 assert_equal(false, bool3)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020022 var bool4: bool = 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020023 assert_equal(true, bool4)
24
Bram Moolenaar2bb26582020-10-03 22:52:39 +020025 var bool5: bool = 1 && true
Bram Moolenaar971caf52020-09-21 22:21:42 +020026 assert_equal(true, bool5)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020027 var bool6: bool = 0 && 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020028 assert_equal(false, bool6)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020029 var bool7: bool = 0 || 1 && true
Bram Moolenaar971caf52020-09-21 22:21:42 +020030 assert_equal(true, bool7)
31
Bram Moolenaar30fd8202020-09-26 15:09:30 +020032 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +020033 vim9script
34 def GetFlag(): bool
Bram Moolenaar30fd8202020-09-26 15:09:30 +020035 var flag: bool = 1
Bram Moolenaar971caf52020-09-21 22:21:42 +020036 return flag
37 enddef
Bram Moolenaar30fd8202020-09-26 15:09:30 +020038 var flag: bool = GetFlag()
Bram Moolenaar971caf52020-09-21 22:21:42 +020039 assert_equal(true, flag)
40 flag = 0
41 assert_equal(false, flag)
42 flag = 1
43 assert_equal(true, flag)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020044 flag = 1 || true
Bram Moolenaar971caf52020-09-21 22:21:42 +020045 assert_equal(true, flag)
Bram Moolenaar2bb26582020-10-03 22:52:39 +020046 flag = 1 && false
Bram Moolenaar971caf52020-09-21 22:21:42 +020047 assert_equal(false, flag)
48 END
49 CheckScriptSuccess(lines)
Bram Moolenaar30fd8202020-09-26 15:09:30 +020050 CheckDefAndScriptFailure(['var x: bool = 2'], 'E1012:')
51 CheckDefAndScriptFailure(['var x: bool = -1'], 'E1012:')
52 CheckDefAndScriptFailure(['var x: bool = [1]'], 'E1012:')
53 CheckDefAndScriptFailure(['var x: bool = {}'], 'E1012:')
54 CheckDefAndScriptFailure(['var x: bool = "x"'], 'E1012:')
Bram Moolenaar971caf52020-09-21 22:21:42 +020055enddef
56
57def Test_syntax()
Bram Moolenaar98309382020-09-27 21:58:45 +020058 var name = 234
Bram Moolenaar30fd8202020-09-26 15:09:30 +020059 var other: list<string> = ['asdf']
Bram Moolenaar971caf52020-09-21 22:21:42 +020060enddef
61
62def Test_assignment()
Bram Moolenaar30fd8202020-09-26 15:09:30 +020063 CheckDefFailure(['var x:string'], 'E1069:')
64 CheckDefFailure(['var x:string = "x"'], 'E1069:')
65 CheckDefFailure(['var a:string = "x"'], 'E1069:')
66 CheckDefFailure(['var lambda = {-> "lambda"}'], 'E704:')
67 CheckScriptFailure(['var x = "x"'], 'E1124:')
Bram Moolenaar971caf52020-09-21 22:21:42 +020068
Bram Moolenaar30fd8202020-09-26 15:09:30 +020069 var nr: number = 1234
70 CheckDefFailure(['var nr: number = "asdf"'], 'E1012:')
Bram Moolenaar971caf52020-09-21 22:21:42 +020071
Bram Moolenaar30fd8202020-09-26 15:09:30 +020072 var a: number = 6 #comment
Bram Moolenaar971caf52020-09-21 22:21:42 +020073 assert_equal(6, a)
74
75 if has('channel')
Bram Moolenaar30fd8202020-09-26 15:09:30 +020076 var chan1: channel
Bram Moolenaar218450a2020-10-17 18:51:52 +020077 assert_equal('fail', ch_status(chan1))
78
Bram Moolenaar30fd8202020-09-26 15:09:30 +020079 var job1: job
Bram Moolenaar218450a2020-10-17 18:51:52 +020080 assert_equal('fail', job_status(job1))
81
Bram Moolenaarfc8aa6d2020-10-12 20:31:26 +020082 # calling job_start() is in test_vim9_fails.vim, it causes leak reports
Bram Moolenaar971caf52020-09-21 22:21:42 +020083 endif
84 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +020085 var float1: float = 3.4
Bram Moolenaar971caf52020-09-21 22:21:42 +020086 endif
Bram Moolenaar30fd8202020-09-26 15:09:30 +020087 var Funky1: func
88 var Funky2: func = function('len')
89 var Party2: func = funcref('g:Test_syntax')
Bram Moolenaar971caf52020-09-21 22:21:42 +020090
91 g:newvar = 'new' #comment
92 assert_equal('new', g:newvar)
93
94 assert_equal('yes', g:existing)
95 g:existing = 'no'
96 assert_equal('no', g:existing)
97
98 v:char = 'abc'
99 assert_equal('abc', v:char)
100
101 $ENVVAR = 'foobar'
102 assert_equal('foobar', $ENVVAR)
103 $ENVVAR = ''
104
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200105 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200106 vim9script
107 $ENVVAR = 'barfoo'
108 assert_equal('barfoo', $ENVVAR)
109 $ENVVAR = ''
110 END
111 CheckScriptSuccess(lines)
112
113 s:appendToMe ..= 'yyy'
114 assert_equal('xxxyyy', s:appendToMe)
115 s:addToMe += 222
116 assert_equal(333, s:addToMe)
117 s:newVar = 'new'
118 assert_equal('new', s:newVar)
119
120 set ts=7
121 &ts += 1
122 assert_equal(8, &ts)
123 &ts -= 3
124 assert_equal(5, &ts)
125 &ts *= 2
126 assert_equal(10, &ts)
127 &ts /= 3
128 assert_equal(3, &ts)
129 set ts=10
130 &ts %= 4
131 assert_equal(2, &ts)
132
133 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200134 var f100: float = 100.0
Bram Moolenaar971caf52020-09-21 22:21:42 +0200135 f100 /= 5
136 assert_equal(20.0, f100)
137
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200138 var f200: float = 200.0
Bram Moolenaar971caf52020-09-21 22:21:42 +0200139 f200 /= 5.0
140 assert_equal(40.0, f200)
141
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200142 CheckDefFailure(['var nr: number = 200', 'nr /= 5.0'], 'E1012:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200143 endif
144
145 lines =<< trim END
146 &ts = 6
147 &ts += 3
148 assert_equal(9, &ts)
149
150 &l:ts = 6
151 assert_equal(6, &ts)
152 &l:ts += 2
153 assert_equal(8, &ts)
154
155 &g:ts = 6
156 assert_equal(6, &g:ts)
157 &g:ts += 2
158 assert_equal(8, &g:ts)
159 END
160 CheckDefAndScriptSuccess(lines)
161
162 CheckDefFailure(['&notex += 3'], 'E113:')
163 CheckDefFailure(['&ts ..= "xxx"'], 'E1019:')
164 CheckDefFailure(['&ts = [7]'], 'E1012:')
165 CheckDefExecFailure(['&ts = g:alist'], 'E1012: Type mismatch; expected number but got list<number>')
166 CheckDefFailure(['&ts = "xx"'], 'E1012:')
167 CheckDefExecFailure(['&ts = g:astring'], 'E1012: Type mismatch; expected number but got string')
168 CheckDefFailure(['&path += 3'], 'E1012:')
169 CheckDefExecFailure(['&bs = "asdf"'], 'E474:')
170 # test freeing ISN_STOREOPT
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200171 CheckDefFailure(['&ts = 3', 'var asdf'], 'E1022:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200172 &ts = 8
173
174 lines =<< trim END
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200175 var save_TI = &t_TI
Bram Moolenaar971caf52020-09-21 22:21:42 +0200176 &t_TI = ''
177 assert_equal('', &t_TI)
178 &t_TI = 'xxx'
179 assert_equal('xxx', &t_TI)
180 &t_TI = save_TI
181 END
182 CheckDefAndScriptSuccess(lines)
183
184 CheckDefFailure(['&t_TI = 123'], 'E1012:')
185 CheckScriptFailure(['vim9script', '&t_TI = 123'], 'E928:')
186
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200187 CheckDefFailure(['var s:var = 123'], 'E1101:')
188 CheckDefFailure(['var s:var: number'], 'E1101:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200189
190 lines =<< trim END
191 vim9script
192 def SomeFunc()
193 s:var = 123
194 enddef
195 defcompile
196 END
197 CheckScriptFailure(lines, 'E1089:')
198
199 g:inc_counter += 1
200 assert_equal(2, g:inc_counter)
201
202 $SOME_ENV_VAR ..= 'more'
203 assert_equal('somemore', $SOME_ENV_VAR)
204 CheckDefFailure(['$SOME_ENV_VAR += "more"'], 'E1051:')
205 CheckDefFailure(['$SOME_ENV_VAR += 123'], 'E1012:')
206
207 lines =<< trim END
208 @c = 'areg'
209 @c ..= 'add'
210 assert_equal('aregadd', @c)
211 END
212 CheckDefAndScriptSuccess(lines)
213
214 CheckDefFailure(['@a += "more"'], 'E1051:')
215 CheckDefFailure(['@a += 123'], 'E1012:')
216
217 v:errmsg = 'none'
218 v:errmsg ..= 'again'
219 assert_equal('noneagain', v:errmsg)
220 CheckDefFailure(['v:errmsg += "more"'], 'E1051:')
221 CheckDefFailure(['v:errmsg += 123'], 'E1012:')
222
Bram Moolenaarfc8aa6d2020-10-12 20:31:26 +0200223 var text =<< trim END
224 some text
225 END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200226enddef
227
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200228def Test_extend_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200229 var lines =<< trim END
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200230 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200231 var l: list<number>
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200232 l += [123]
233 assert_equal([123], l)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100234 END
235 CheckScriptSuccess(lines)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200236
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100237 lines =<< trim END
238 vim9script
239 var list: list<string>
240 extend(list, ['x'])
241 assert_equal(['x'], list)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200242 END
243 CheckScriptSuccess(lines)
Bram Moolenaar1a739232020-10-10 15:37:58 +0200244
245 # appending to NULL list from a function
246 lines =<< trim END
247 vim9script
248 var list: list<string>
249 def Func()
250 list += ['a', 'b']
251 enddef
252 Func()
253 assert_equal(['a', 'b'], list)
254 END
255 CheckScriptSuccess(lines)
Bram Moolenaar348be7e2020-11-04 11:36:35 +0100256
257 lines =<< trim END
258 vim9script
259 var l: list<string> = test_null_list()
260 extend(l, ['x'])
261 assert_equal(['x'], l)
262 END
263 CheckScriptSuccess(lines)
264
265 lines =<< trim END
266 vim9script
267 extend(test_null_list(), ['x'])
268 END
269 CheckScriptFailure(lines, 'E1134:', 2)
270enddef
271
272def Test_extend_dict()
273 var lines =<< trim END
274 vim9script
275 var d: dict<number>
276 extend(d, #{a: 1})
277 assert_equal(#{a: 1}, d)
278
279 var d2: dict<number>
280 d2['one'] = 1
281 assert_equal(#{one: 1}, d2)
282 END
283 CheckScriptSuccess(lines)
284
285 lines =<< trim END
286 vim9script
287 var d: dict<string> = test_null_dict()
288 extend(d, #{a: 'x'})
289 assert_equal(#{a: 'x'}, d)
290 END
291 CheckScriptSuccess(lines)
292
293 lines =<< trim END
294 vim9script
295 extend(test_null_dict(), #{a: 'x'})
296 END
297 CheckScriptFailure(lines, 'E1133:', 2)
Bram Moolenaar81ed4962020-09-23 15:56:50 +0200298enddef
299
Bram Moolenaar971caf52020-09-21 22:21:42 +0200300def Test_single_letter_vars()
301 # single letter variables
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200302 var a: number = 123
Bram Moolenaar971caf52020-09-21 22:21:42 +0200303 a = 123
304 assert_equal(123, a)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200305 var b: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200306 b = 123
307 assert_equal(123, b)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200308 var g: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200309 g = 123
310 assert_equal(123, g)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200311 var s: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200312 s = 123
313 assert_equal(123, s)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200314 var t: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200315 t = 123
316 assert_equal(123, t)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200317 var v: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200318 v = 123
319 assert_equal(123, v)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200320 var w: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200321 w = 123
322 assert_equal(123, w)
323enddef
324
325def Test_vim9_single_char_vars()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200326 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200327 vim9script
328
329 # single character variable declarations work
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200330 var a: string
331 var b: number
332 var l: list<any>
333 var s: string
334 var t: number
335 var v: number
336 var w: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200337
338 # script-local variables can be used without s: prefix
339 a = 'script-a'
340 b = 111
341 l = [1, 2, 3]
342 s = 'script-s'
343 t = 222
344 v = 333
345 w = 444
346
347 assert_equal('script-a', a)
348 assert_equal(111, b)
349 assert_equal([1, 2, 3], l)
350 assert_equal('script-s', s)
351 assert_equal(222, t)
352 assert_equal(333, v)
353 assert_equal(444, w)
354 END
355 writefile(lines, 'Xsinglechar')
356 source Xsinglechar
357 delete('Xsinglechar')
358enddef
359
360def Test_assignment_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200361 var list1: list<bool> = [false, true, false]
362 var list2: list<number> = [1, 2, 3]
363 var list3: list<string> = ['sdf', 'asdf']
364 var list4: list<any> = ['yes', true, 1234]
365 var list5: list<blob> = [0z01, 0z02]
Bram Moolenaar971caf52020-09-21 22:21:42 +0200366
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200367 var listS: list<string> = []
368 var listN: list<number> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +0200369
370 assert_equal([1, 2, 3], list2)
371 list2[-1] = 99
372 assert_equal([1, 2, 99], list2)
373 list2[-2] = 88
374 assert_equal([1, 88, 99], list2)
375 list2[-3] = 77
376 assert_equal([77, 88, 99], list2)
377 list2 += [100]
378 assert_equal([77, 88, 99, 100], list2)
379
380 list3 += ['end']
381 assert_equal(['sdf', 'asdf', 'end'], list3)
382
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200383 CheckDefExecFailure(['var ll = [1, 2, 3]', 'll[-4] = 6'], 'E684:')
384 CheckDefExecFailure(['var [v1, v2] = [1, 2]'], 'E1092:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200385
386 # type becomes list<any>
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200387 var somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
Bram Moolenaar971caf52020-09-21 22:21:42 +0200388enddef
389
390def Test_assignment_list_vim9script()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200391 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200392 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200393 var v1: number
394 var v2: number
395 var v3: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200396 [v1, v2, v3] = [1, 2, 3]
397 assert_equal([1, 2, 3], [v1, v2, v3])
398 END
399 CheckScriptSuccess(lines)
400enddef
401
402def Test_assignment_dict()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200403 var dict1: dict<bool> = #{one: false, two: true}
404 var dict2: dict<number> = #{one: 1, two: 2}
405 var dict3: dict<string> = #{key: 'value'}
406 var dict4: dict<any> = #{one: 1, two: '2'}
407 var dict5: dict<blob> = #{one: 0z01, two: 0z02}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200408
409 # overwrite
410 dict3['key'] = 'another'
411
412 # empty key can be used
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200413 var dd = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200414 dd[""] = 6
415 assert_equal({'': 6}, dd)
416
417 # type becomes dict<any>
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200418 var somedict = rand() > 0 ? #{a: 1, b: 2} : #{a: 'a', b: 'b'}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200419
420 # assignment to script-local dict
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200421 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200422 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200423 var test: dict<any> = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200424 def FillDict(): dict<any>
425 test['a'] = 43
426 return test
427 enddef
428 assert_equal(#{a: 43}, FillDict())
429 END
430 CheckScriptSuccess(lines)
431
432 lines =<< trim END
433 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200434 var test: dict<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200435 def FillDict(): dict<any>
436 test['a'] = 43
437 return test
438 enddef
439 FillDict()
440 END
441 CheckScriptFailure(lines, 'E1103:')
442
443 # assignment to global dict
444 lines =<< trim END
445 vim9script
446 g:test = {}
447 def FillDict(): dict<any>
448 g:test['a'] = 43
449 return g:test
450 enddef
451 assert_equal(#{a: 43}, FillDict())
452 END
453 CheckScriptSuccess(lines)
454
455 # assignment to buffer dict
456 lines =<< trim END
457 vim9script
458 b:test = {}
459 def FillDict(): dict<any>
460 b:test['a'] = 43
461 return b:test
462 enddef
463 assert_equal(#{a: 43}, FillDict())
464 END
465 CheckScriptSuccess(lines)
466enddef
467
468def Test_assignment_local()
469 # Test in a separated file in order not to the current buffer/window/tab is
470 # changed.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200471 var script_lines: list<string> =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200472 let b:existing = 'yes'
473 let w:existing = 'yes'
474 let t:existing = 'yes'
475
476 def Test_assignment_local_internal()
477 b:newvar = 'new'
478 assert_equal('new', b:newvar)
479 assert_equal('yes', b:existing)
480 b:existing = 'no'
481 assert_equal('no', b:existing)
482 b:existing ..= 'NO'
483 assert_equal('noNO', b:existing)
484
485 w:newvar = 'new'
486 assert_equal('new', w:newvar)
487 assert_equal('yes', w:existing)
488 w:existing = 'no'
489 assert_equal('no', w:existing)
490 w:existing ..= 'NO'
491 assert_equal('noNO', w:existing)
492
493 t:newvar = 'new'
494 assert_equal('new', t:newvar)
495 assert_equal('yes', t:existing)
496 t:existing = 'no'
497 assert_equal('no', t:existing)
498 t:existing ..= 'NO'
499 assert_equal('noNO', t:existing)
500 enddef
501 call Test_assignment_local_internal()
502 END
503 CheckScriptSuccess(script_lines)
504enddef
505
506def Test_assignment_default()
Bram Moolenaar971caf52020-09-21 22:21:42 +0200507 # Test default values.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200508 var thebool: bool
Bram Moolenaar971caf52020-09-21 22:21:42 +0200509 assert_equal(v:false, thebool)
510
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200511 var thenumber: number
Bram Moolenaar971caf52020-09-21 22:21:42 +0200512 assert_equal(0, thenumber)
513
514 if has('float')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200515 var thefloat: float
Bram Moolenaar971caf52020-09-21 22:21:42 +0200516 assert_equal(0.0, thefloat)
517 endif
518
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200519 var thestring: string
Bram Moolenaar971caf52020-09-21 22:21:42 +0200520 assert_equal('', thestring)
521
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200522 var theblob: blob
Bram Moolenaar971caf52020-09-21 22:21:42 +0200523 assert_equal(0z, theblob)
524
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200525 var Thefunc: func
Bram Moolenaar971caf52020-09-21 22:21:42 +0200526 assert_equal(test_null_function(), Thefunc)
527
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200528 var thelist: list<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200529 assert_equal([], thelist)
530
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200531 var thedict: dict<any>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200532 assert_equal({}, thedict)
533
534 if has('channel')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200535 var thejob: job
Bram Moolenaar971caf52020-09-21 22:21:42 +0200536 assert_equal(test_null_job(), thejob)
537
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200538 var thechannel: channel
Bram Moolenaar971caf52020-09-21 22:21:42 +0200539 assert_equal(test_null_channel(), thechannel)
540
541 if has('unix') && executable('cat')
542 # check with non-null job and channel, types must match
543 thejob = job_start("cat ", #{})
544 thechannel = job_getchannel(thejob)
545 job_stop(thejob, 'kill')
546 endif
547 endif
548
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200549 var nr = 1234 | nr = 5678
Bram Moolenaar971caf52020-09-21 22:21:42 +0200550 assert_equal(5678, nr)
551enddef
552
553def Test_assignment_var_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200554 var v1: string
555 var v2: string
556 var vrem: list<string>
Bram Moolenaar971caf52020-09-21 22:21:42 +0200557 [v1] = ['aaa']
558 assert_equal('aaa', v1)
559
560 [v1, v2] = ['one', 'two']
561 assert_equal('one', v1)
562 assert_equal('two', v2)
563
564 [v1, v2; vrem] = ['one', 'two']
565 assert_equal('one', v1)
566 assert_equal('two', v2)
567 assert_equal([], vrem)
568
569 [v1, v2; vrem] = ['one', 'two', 'three']
570 assert_equal('one', v1)
571 assert_equal('two', v2)
572 assert_equal(['three'], vrem)
573
574 [&ts, &sw] = [3, 4]
575 assert_equal(3, &ts)
576 assert_equal(4, &sw)
577 set ts=8 sw=4
578enddef
579
580def Test_assignment_vim9script()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200581 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200582 vim9script
583 def Func(): list<number>
584 return [1, 2]
585 enddef
Bram Moolenaar98309382020-09-27 21:58:45 +0200586 var name1: number
587 var name2: number
588 [name1, name2] =
Bram Moolenaar971caf52020-09-21 22:21:42 +0200589 Func()
Bram Moolenaar98309382020-09-27 21:58:45 +0200590 assert_equal(1, name1)
591 assert_equal(2, name2)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200592 var ll =
Bram Moolenaar971caf52020-09-21 22:21:42 +0200593 Func()
594 assert_equal([1, 2], ll)
595
596 @/ = 'text'
597 assert_equal('text', @/)
598 @0 = 'zero'
599 assert_equal('zero', @0)
600 @1 = 'one'
601 assert_equal('one', @1)
602 @9 = 'nine'
603 assert_equal('nine', @9)
604 @- = 'minus'
605 assert_equal('minus', @-)
606 if has('clipboard_working')
607 @* = 'star'
608 assert_equal('star', @*)
609 @+ = 'plus'
610 assert_equal('plus', @+)
611 endif
612
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200613 var a: number = 123
Bram Moolenaar971caf52020-09-21 22:21:42 +0200614 assert_equal(123, a)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200615 var s: string = 'yes'
Bram Moolenaar971caf52020-09-21 22:21:42 +0200616 assert_equal('yes', s)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200617 var b: number = 42
Bram Moolenaar971caf52020-09-21 22:21:42 +0200618 assert_equal(42, b)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200619 var w: number = 43
Bram Moolenaar971caf52020-09-21 22:21:42 +0200620 assert_equal(43, w)
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200621 var t: number = 44
Bram Moolenaar971caf52020-09-21 22:21:42 +0200622 assert_equal(44, t)
Bram Moolenaar7a66a172020-10-16 19:56:12 +0200623
624 var to_var = 0
625 to_var = 3
626 assert_equal(3, to_var)
Bram Moolenaar971caf52020-09-21 22:21:42 +0200627 END
628 CheckScriptSuccess(lines)
Bram Moolenaar06f9c692020-09-27 21:27:40 +0200629
630 lines =<< trim END
631 vim9script
632 var n: number
633 def Func()
634 n = 'string'
635 enddef
636 defcompile
637 END
638 CheckScriptFailure(lines, 'E1012: Type mismatch; expected number but got string')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200639enddef
640
641def Mess(): string
642 v:foldstart = 123
643 return 'xxx'
644enddef
645
646def Test_assignment_failure()
Bram Moolenaar98309382020-09-27 21:58:45 +0200647 CheckDefFailure(['var name=234'], 'E1004:')
648 CheckDefFailure(['var name =234'], 'E1004:')
649 CheckDefFailure(['var name= 234'], 'E1004:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200650
Bram Moolenaar98309382020-09-27 21:58:45 +0200651 CheckScriptFailure(['vim9script', 'var name=234'], 'E1004:')
652 CheckScriptFailure(['vim9script', 'var name=234'], "before and after '='")
653 CheckScriptFailure(['vim9script', 'var name =234'], 'E1004:')
654 CheckScriptFailure(['vim9script', 'var name= 234'], 'E1004:')
655 CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], 'E1004:')
656 CheckScriptFailure(['vim9script', 'var name = 234', 'name+=234'], "before and after '+='")
657 CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], 'E1004:')
658 CheckScriptFailure(['vim9script', 'var name = "x"', 'name..="y"'], "before and after '..='")
Bram Moolenaar971caf52020-09-21 22:21:42 +0200659
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200660 CheckDefFailure(['var true = 1'], 'E1034:')
661 CheckDefFailure(['var false = 1'], 'E1034:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200662
663 CheckDefFailure(['[a; b; c] = g:list'], 'E452:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200664 CheckDefExecFailure(['var a: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +0200665 '[a] = test_null_list()'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200666 CheckDefExecFailure(['var a: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +0200667 '[a] = []'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200668 CheckDefExecFailure(['var x: number',
669 'var y: number',
Bram Moolenaar971caf52020-09-21 22:21:42 +0200670 '[x, y] = [1]'], 'E1093:')
Bram Moolenaar352134b2020-10-17 22:04:08 +0200671 CheckDefExecFailure(['var x: string',
672 'var y: string',
673 '[x, y] = ["x"]'], 'E1093:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200674 CheckDefExecFailure(['var x: number',
675 'var y: number',
676 'var z: list<number>',
Bram Moolenaar971caf52020-09-21 22:21:42 +0200677 '[x, y; z] = [1]'], 'E1093:')
678
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200679 CheckDefFailure(['var somevar'], "E1022:")
680 CheckDefFailure(['var &tabstop = 4'], 'E1052:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200681 CheckDefFailure(['&g:option = 5'], 'E113:')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200682 CheckScriptFailure(['vim9script', 'var &tabstop = 4'], 'E1052:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200683
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200684 CheckDefFailure(['var $VAR = 5'], 'E1016: Cannot declare an environment variable:')
685 CheckScriptFailure(['vim9script', 'var $ENV = "xxx"'], 'E1016:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200686
687 if has('dnd')
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200688 CheckDefFailure(['var @~ = 5'], 'E1066:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200689 else
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200690 CheckDefFailure(['var @~ = 5'], 'E354:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200691 CheckDefFailure(['@~ = 5'], 'E354:')
692 endif
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200693 CheckDefFailure(['var @a = 5'], 'E1066:')
694 CheckDefFailure(['var @/ = "x"'], 'E1066:')
695 CheckScriptFailure(['vim9script', 'var @a = "abc"'], 'E1066:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200696
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200697 CheckDefFailure(['var g:var = 5'], 'E1016: Cannot declare a global variable:')
698 CheckDefFailure(['var w:var = 5'], 'E1016: Cannot declare a window variable:')
699 CheckDefFailure(['var b:var = 5'], 'E1016: Cannot declare a buffer variable:')
700 CheckDefFailure(['var t:var = 5'], 'E1016: Cannot declare a tab variable:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200701
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200702 CheckDefFailure(['var anr = 4', 'anr ..= "text"'], 'E1019:')
703 CheckDefFailure(['var xnr += 4'], 'E1020:', 1)
704 CheckScriptFailure(['vim9script', 'var xnr += 4'], 'E1020:')
705 CheckDefFailure(["var xnr = xnr + 1"], 'E1001:', 1)
706 CheckScriptFailure(['vim9script', 'var xnr = xnr + 4'], 'E121:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200707
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200708 CheckScriptFailure(['vim9script', 'def Func()', 'var dummy = s:notfound', 'enddef', 'defcompile'], 'E1108:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200709
Bram Moolenaar98309382020-09-27 21:58:45 +0200710 CheckDefFailure(['var name: list<string> = [123]'], 'expected list<string> but got list<number>')
711 CheckDefFailure(['var name: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200712
Bram Moolenaar98309382020-09-27 21:58:45 +0200713 CheckDefFailure(['var name: dict<string> = #{key: 123}'], 'expected dict<string> but got dict<number>')
714 CheckDefFailure(['var name: dict<number> = #{key: "xx"}'], 'expected dict<number> but got dict<string>')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200715
Bram Moolenaar98309382020-09-27 21:58:45 +0200716 CheckDefFailure(['var name = feedkeys("0")'], 'E1031:')
717 CheckDefFailure(['var name: number = feedkeys("0")'], 'expected number but got void')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200718
Bram Moolenaar98309382020-09-27 21:58:45 +0200719 CheckDefFailure(['var name: dict <number>'], 'E1068:')
720 CheckDefFailure(['var name: dict<number'], 'E1009:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200721
722 assert_fails('s/^/\=Mess()/n', 'E794:')
Bram Moolenaar98309382020-09-27 21:58:45 +0200723 CheckDefFailure(['var name: dict<number'], 'E1009:')
Bram Moolenaar971caf52020-09-21 22:21:42 +0200724
725 CheckDefFailure(['w:foo: number = 10'],
726 'E488: Trailing characters: : number = 1')
727 CheckDefFailure(['t:foo: bool = true'],
728 'E488: Trailing characters: : bool = true')
729 CheckDefFailure(['b:foo: string = "x"'],
730 'E488: Trailing characters: : string = "x"')
731 CheckDefFailure(['g:foo: number = 123'],
732 'E488: Trailing characters: : number = 123')
733enddef
734
735def Test_assign_list()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200736 var l: list<string> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +0200737 l[0] = 'value'
738 assert_equal('value', l[0])
739
740 l[1] = 'asdf'
741 assert_equal('value', l[0])
742 assert_equal('asdf', l[1])
743 assert_equal('asdf', l[-1])
744 assert_equal('value', l[-2])
745
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200746 var nrl: list<number> = []
Bram Moolenaar971caf52020-09-21 22:21:42 +0200747 for i in range(5)
748 nrl[i] = i
749 endfor
750 assert_equal([0, 1, 2, 3, 4], nrl)
Bram Moolenaar334a8b42020-10-19 16:07:42 +0200751
752 CheckDefFailure(["var l: list<number> = ['', true]"], 'E1012: Type mismatch; expected list<number> but got list<any>', 1)
753 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 +0200754enddef
755
756def Test_assign_dict()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200757 var d: dict<string> = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200758 d['key'] = 'value'
759 assert_equal('value', d['key'])
760
761 d[123] = 'qwerty'
762 assert_equal('qwerty', d[123])
763 assert_equal('qwerty', d['123'])
764
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200765 var nrd: dict<number> = {}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200766 for i in range(3)
767 nrd[i] = i
768 endfor
769 assert_equal({'0': 0, '1': 1, '2': 2}, nrd)
Bram Moolenaar334a8b42020-10-19 16:07:42 +0200770
771 CheckDefFailure(["var d: dict<number> = #{a: '', b: true}"], 'E1012: Type mismatch; expected dict<number> but got dict<any>', 1)
772 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 +0200773enddef
774
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200775def Test_assign_dict_unknown_type()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200776 var lines =<< trim END
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200777 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200778 var mylist = []
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200779 mylist += [#{one: 'one'}]
780 def Func()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200781 var dd = mylist[0]
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200782 assert_equal('one', dd.one)
783 enddef
784 Func()
785 END
786 CheckScriptSuccess(lines)
787
788 # doesn't work yet
789 #lines =<< trim END
790 # vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200791 # var mylist = [[]]
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200792 # mylist[0] += [#{one: 'one'}]
793 # def Func()
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200794 # var dd = mylist[0][0]
Bram Moolenaar04bdd572020-09-23 13:25:32 +0200795 # assert_equal('one', dd.one)
796 # enddef
797 # Func()
798 #END
799 #CheckScriptSuccess(lines)
800enddef
801
Bram Moolenaar971caf52020-09-21 22:21:42 +0200802def Test_assign_lambda()
803 # check if assign a lambda to a variable which type is func or any.
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200804 var lines =<< trim END
Bram Moolenaar971caf52020-09-21 22:21:42 +0200805 vim9script
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200806 var FuncRef = {->123}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200807 assert_equal(123, FuncRef())
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200808 var FuncRef_Func: func = {->123}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200809 assert_equal(123, FuncRef_Func())
Bram Moolenaar30fd8202020-09-26 15:09:30 +0200810 var FuncRef_Any: any = {->123}
Bram Moolenaar971caf52020-09-21 22:21:42 +0200811 assert_equal(123, FuncRef_Any())
812 END
813 CheckScriptSuccess(lines)
814enddef
815
Bram Moolenaarc0e29012020-09-27 14:22:48 +0200816def Test_heredoc()
817 var lines =<< trim END # comment
818 text
819 END
820 assert_equal(['text'], lines)
821
822 CheckDefFailure(['var lines =<< trim END X', 'END'], 'E488:')
823 CheckDefFailure(['var lines =<< trim END " comment', 'END'], 'E488:')
Bram Moolenaar2914a202020-09-27 18:24:03 +0200824
825 lines =<< trim [END]
826 def Func()
827 var&lines =<< trim END
828 x
829 x
830 x
831 x
832 x
833 x
834 x
835 x
836 enddef
837 call Func()
838 [END]
839 CheckScriptFailure(lines, 'E990:')
Bram Moolenaarc0e29012020-09-27 14:22:48 +0200840enddef
841
Bram Moolenaar55759b52020-09-30 22:59:42 +0200842def Test_let_func_call()
843 var lines =<< trim END
844 vim9script
845 func GetValue()
846 if exists('g:count')
847 let g:count += 1
848 else
849 let g:count = 1
850 endif
851 return 'this'
852 endfunc
853 var val: string = GetValue()
854 # env var is always a string
855 var env = $TERM
856 END
857 writefile(lines, 'Xfinished')
858 source Xfinished
859 # GetValue() is not called during discovery phase
860 assert_equal(1, g:count)
861
862 unlet g:count
863 delete('Xfinished')
864enddef
865
866def Test_let_missing_type()
867 var lines =<< trim END
868 vim9script
869 var name = g:unknown
870 END
871 CheckScriptFailure(lines, 'E121:')
872
873 lines =<< trim END
874 vim9script
875 var nr: number = 123
876 var name = nr
877 END
878 CheckScriptSuccess(lines)
879enddef
880
881def Test_let_declaration()
882 var lines =<< trim END
883 vim9script
884 var name: string
885 g:var_uninit = name
886 name = 'text'
887 g:var_test = name
888 # prefixing s: is optional
889 s:name = 'prefixed'
890 g:var_prefixed = s:name
891
892 var s:other: number
893 other = 1234
894 g:other_var = other
895
896 # type is inferred
897 s:dict = {'a': 222}
898 def GetDictVal(key: any)
899 g:dict_val = s:dict[key]
900 enddef
901 GetDictVal('a')
902 END
903 CheckScriptSuccess(lines)
904 assert_equal('', g:var_uninit)
905 assert_equal('text', g:var_test)
906 assert_equal('prefixed', g:var_prefixed)
907 assert_equal(1234, g:other_var)
908 assert_equal(222, g:dict_val)
909
910 unlet g:var_uninit
911 unlet g:var_test
912 unlet g:var_prefixed
913 unlet g:other_var
914enddef
915
916def Test_let_declaration_fails()
917 var lines =<< trim END
918 vim9script
919 final var: string
920 END
921 CheckScriptFailure(lines, 'E1125:')
922
923 lines =<< trim END
924 vim9script
925 const var: string
926 END
927 CheckScriptFailure(lines, 'E1021:')
928
929 lines =<< trim END
930 vim9script
931 var 9var: string
932 END
933 CheckScriptFailure(lines, 'E475:')
934enddef
935
936def Test_let_type_check()
937 var lines =<< trim END
938 vim9script
939 var name: string
940 name = 1234
941 END
942 CheckScriptFailure(lines, 'E1012:')
943
944 lines =<< trim END
945 vim9script
946 var name:string
947 END
948 CheckScriptFailure(lines, 'E1069:')
949
950 lines =<< trim END
951 vim9script
952 var name: asdf
953 END
954 CheckScriptFailure(lines, 'E1010:')
955
956 lines =<< trim END
957 vim9script
958 var s:l: list<number>
959 s:l = []
960 END
961 CheckScriptSuccess(lines)
962
963 lines =<< trim END
964 vim9script
965 var s:d: dict<number>
966 s:d = {}
967 END
968 CheckScriptSuccess(lines)
969enddef
970
971let g:dict_number = #{one: 1, two: 2}
972
973def Test_let_list_dict_type()
974 var ll: list<number>
975 ll = [1, 2, 2, 3, 3, 3]->uniq()
976 ll->assert_equal([1, 2, 3])
977
978 var dd: dict<number>
979 dd = g:dict_number
980 dd->assert_equal(g:dict_number)
981
982 var lines =<< trim END
983 var ll: list<number>
984 ll = [1, 2, 3]->map('"one"')
985 END
986 CheckDefExecFailure(lines, 'E1012: Type mismatch; expected list<number> but got list<string>')
987enddef
988
989def Test_unlet()
990 g:somevar = 'yes'
991 assert_true(exists('g:somevar'))
992 unlet g:somevar
993 assert_false(exists('g:somevar'))
994 unlet! g:somevar
995
996 # also works for script-local variable in legacy Vim script
997 s:somevar = 'legacy'
998 assert_true(exists('s:somevar'))
999 unlet s:somevar
1000 assert_false(exists('s:somevar'))
1001 unlet! s:somevar
1002
1003 CheckScriptFailure([
1004 'vim9script',
1005 'var svar = 123',
1006 'unlet svar',
1007 ], 'E1081:')
1008 CheckScriptFailure([
1009 'vim9script',
1010 'var svar = 123',
1011 'unlet s:svar',
1012 ], 'E1081:')
1013 CheckScriptFailure([
1014 'vim9script',
1015 'var svar = 123',
1016 'def Func()',
1017 ' unlet svar',
1018 'enddef',
1019 'defcompile',
1020 ], 'E1081:')
1021 CheckScriptFailure([
1022 'vim9script',
1023 'var svar = 123',
1024 'def Func()',
1025 ' unlet s:svar',
1026 'enddef',
1027 'defcompile',
1028 ], 'E1081:')
1029
1030 $ENVVAR = 'foobar'
1031 assert_equal('foobar', $ENVVAR)
1032 unlet $ENVVAR
1033 assert_equal('', $ENVVAR)
1034enddef
1035
1036
Bram Moolenaar971caf52020-09-21 22:21:42 +02001037" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker