blob: 6a03eddc1d53e1414dc5484cc79e6b8dcb1a1664 [file] [log] [blame]
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001" Test various aspects of the Vim9 script language.
2
3source check.vim
4source view_util.vim
Bram Moolenaar04b12692020-05-04 23:24:44 +02005source vim9.vim
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02006
7func Test_def_basic()
8 def SomeFunc(): string
9 return 'yes'
10 enddef
11 call assert_equal('yes', SomeFunc())
12endfunc
13
14def ReturnString(): string
15 return 'string'
16enddef
17
18def ReturnNumber(): number
19 return 123
20enddef
21
22let g:notNumber = 'string'
23
24def ReturnGlobal(): number
25 return g:notNumber
26enddef
27
28def Test_return_something()
29 assert_equal('string', ReturnString())
30 assert_equal(123, ReturnNumber())
31 assert_fails('call ReturnGlobal()', 'E1029: Expected number but got string')
32enddef
33
Bram Moolenaarefd88552020-06-18 20:50:10 +020034def Test_missing_return()
35 CheckDefFailure(['def Missing(): number',
36 ' if g:cond',
37 ' echo "no return"',
38 ' else',
39 ' return 0',
40 ' endif'
41 'enddef'], 'E1027:')
42 CheckDefFailure(['def Missing(): number',
43 ' if g:cond',
44 ' return 1',
45 ' else',
46 ' echo "no return"',
47 ' endif'
48 'enddef'], 'E1027:')
49 CheckDefFailure(['def Missing(): number',
50 ' if g:cond',
51 ' return 1',
52 ' else',
53 ' return 2',
54 ' endif'
55 ' return 3'
56 'enddef'], 'E1095:')
57enddef
58
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +020059let s:nothing = 0
60def ReturnNothing()
61 s:nothing = 1
62 if true
63 return
64 endif
65 s:nothing = 2
66enddef
67
68def Test_return_nothing()
69 ReturnNothing()
70 assert_equal(1, s:nothing)
71enddef
72
73func Increment()
74 let g:counter += 1
75endfunc
76
77def Test_call_ufunc_count()
78 g:counter = 1
79 Increment()
80 Increment()
81 Increment()
82 " works with and without :call
83 assert_equal(4, g:counter)
84 call assert_equal(4, g:counter)
85 unlet g:counter
86enddef
87
88def MyVarargs(arg: string, ...rest: list<string>): string
89 let res = arg
90 for s in rest
91 res ..= ',' .. s
92 endfor
93 return res
94enddef
95
96def Test_call_varargs()
97 assert_equal('one', MyVarargs('one'))
98 assert_equal('one,two', MyVarargs('one', 'two'))
99 assert_equal('one,two,three', MyVarargs('one', 'two', 'three'))
100enddef
101
102def MyDefaultArgs(name = 'string'): string
103 return name
104enddef
105
106def Test_call_default_args()
107 assert_equal('string', MyDefaultArgs())
108 assert_equal('one', MyDefaultArgs('one'))
109 assert_fails('call MyDefaultArgs("one", "two")', 'E118:')
110
Bram Moolenaar822ba242020-05-24 23:00:18 +0200111 CheckScriptFailure(['def Func(arg: number = asdf)', 'enddef', 'defcompile'], 'E1001:')
112 CheckScriptFailure(['def Func(arg: number = "text")', 'enddef', 'defcompile'], 'E1013: argument 1: type mismatch, expected number but got string')
Bram Moolenaar04b12692020-05-04 23:24:44 +0200113enddef
114
115def Test_nested_function()
116 def Nested(arg: string): string
117 return 'nested ' .. arg
118 enddef
119 assert_equal('nested function', Nested('function'))
120
Bram Moolenaar0e65d3d2020-05-05 17:53:16 +0200121 CheckDefFailure(['def Nested()', 'enddef', 'Nested(66)'], 'E118:')
122 CheckDefFailure(['def Nested(arg: string)', 'enddef', 'Nested()'], 'E119:')
123
Bram Moolenaar04b12692020-05-04 23:24:44 +0200124 CheckDefFailure(['func Nested()', 'endfunc'], 'E1086:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200125enddef
126
127func Test_call_default_args_from_func()
128 call assert_equal('string', MyDefaultArgs())
129 call assert_equal('one', MyDefaultArgs('one'))
130 call assert_fails('call MyDefaultArgs("one", "two")', 'E118:')
131endfunc
132
133func TakesOneArg(arg)
134 echo a:arg
135endfunc
136
137def Test_call_wrong_args()
138 call CheckDefFailure(['TakesOneArg()'], 'E119:')
139 call CheckDefFailure(['TakesOneArg(11, 22)'], 'E118:')
140 call CheckDefFailure(['bufnr(xxx)'], 'E1001:')
Bram Moolenaar1c0d44f2020-05-02 19:04:58 +0200141 call CheckScriptFailure(['def Func(Ref: func(s: string))'], 'E475:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200142enddef
143
144" Default arg and varargs
145def MyDefVarargs(one: string, two = 'foo', ...rest: list<string>): string
146 let res = one .. ',' .. two
147 for s in rest
148 res ..= ',' .. s
149 endfor
150 return res
151enddef
152
153def Test_call_def_varargs()
154 call assert_fails('call MyDefVarargs()', 'E119:')
155 assert_equal('one,foo', MyDefVarargs('one'))
156 assert_equal('one,two', MyDefVarargs('one', 'two'))
157 assert_equal('one,two,three', MyDefVarargs('one', 'two', 'three'))
Bram Moolenaar49cf7cc2020-04-07 22:45:00 +0200158 call CheckDefFailure(['MyDefVarargs("one", 22)'], 'E1013: argument 2: type mismatch, expected string but got number')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200159enddef
160
Bram Moolenaar1378fbc2020-04-11 20:50:33 +0200161let s:value = ''
162
163def FuncOneDefArg(opt = 'text')
164 s:value = opt
165enddef
166
167def FuncTwoDefArg(nr = 123, opt = 'text'): string
168 return nr .. opt
169enddef
170
171def FuncVarargs(...arg: list<string>): string
172 return join(arg, ',')
173enddef
174
175def Test_func_type_varargs()
176 let RefDefArg: func(?string)
177 RefDefArg = FuncOneDefArg
178 RefDefArg()
179 assert_equal('text', s:value)
180 RefDefArg('some')
181 assert_equal('some', s:value)
182
183 let RefDef2Arg: func(?number, ?string): string
184 RefDef2Arg = FuncTwoDefArg
185 assert_equal('123text', RefDef2Arg())
186 assert_equal('99text', RefDef2Arg(99))
187 assert_equal('77some', RefDef2Arg(77, 'some'))
188
189 call CheckDefFailure(['let RefWrong: func(string?)'], 'E1010:')
190 call CheckDefFailure(['let RefWrong: func(?string, string)'], 'E1007:')
191
192 let RefVarargs: func(...list<string>): string
193 RefVarargs = FuncVarargs
194 assert_equal('', RefVarargs())
195 assert_equal('one', RefVarargs('one'))
196 assert_equal('one,two', RefVarargs('one', 'two'))
197
198 call CheckDefFailure(['let RefWrong: func(...list<string>, string)'], 'E110:')
199 call CheckDefFailure(['let RefWrong: func(...list<string>, ?string)'], 'E110:')
200enddef
201
Bram Moolenaar0b76b422020-04-07 22:05:08 +0200202" Only varargs
203def MyVarargsOnly(...args: list<string>): string
204 return join(args, ',')
205enddef
206
207def Test_call_varargs_only()
208 assert_equal('', MyVarargsOnly())
209 assert_equal('one', MyVarargsOnly('one'))
210 assert_equal('one,two', MyVarargsOnly('one', 'two'))
211 call CheckDefFailure(['MyVarargsOnly(1)'], 'E1013: argument 1: type mismatch, expected string but got number')
212 call CheckDefFailure(['MyVarargsOnly("one", 2)'], 'E1013: argument 2: type mismatch, expected string but got number')
213enddef
214
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200215def Test_using_var_as_arg()
Bram Moolenaar822ba242020-05-24 23:00:18 +0200216 call writefile(['def Func(x: number)', 'let x = 234', 'enddef', 'defcompile'], 'Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200217 call assert_fails('so Xdef', 'E1006:')
218 call delete('Xdef')
219enddef
220
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +0200221def DictArg(arg: dict<string>)
222 arg['key'] = 'value'
223enddef
224
225def ListArg(arg: list<string>)
226 arg[0] = 'value'
227enddef
228
229def Test_assign_to_argument()
230 " works for dict and list
231 let d: dict<string> = {}
232 DictArg(d)
233 assert_equal('value', d['key'])
234 let l: list<string> = []
235 ListArg(l)
236 assert_equal('value', l[0])
237
Bram Moolenaar822ba242020-05-24 23:00:18 +0200238 call CheckScriptFailure(['def Func(arg: number)', 'arg = 3', 'enddef', 'defcompile'], 'E1090:')
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +0200239enddef
240
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200241def Test_call_func_defined_later()
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +0200242 call assert_equal('one', g:DefinedLater('one'))
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200243 call assert_fails('call NotDefined("one")', 'E117:')
244enddef
245
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +0200246func DefinedLater(arg)
247 return a:arg
248endfunc
249
250def Test_call_funcref()
251 assert_equal(3, g:SomeFunc('abc'))
252 assert_fails('NotAFunc()', 'E117:')
253 assert_fails('g:NotAFunc()', 'E117:')
254enddef
255
256let SomeFunc = function('len')
257let NotAFunc = 'text'
258
Bram Moolenaar99aaf0c2020-04-12 14:39:53 +0200259def CombineFuncrefTypes()
260 " same arguments, different return type
261 let Ref1: func(bool): string
262 let Ref2: func(bool): number
263 let Ref3: func(bool): any
264 Ref3 = g:cond ? Ref1 : Ref2
265
266 " different number of arguments
267 let Refa1: func(bool): number
268 let Refa2: func(bool, number): number
269 let Refa3: func: number
270 Refa3 = g:cond ? Refa1 : Refa2
271
272 " different argument types
273 let Refb1: func(bool, string): number
274 let Refb2: func(string, number): number
275 let Refb3: func(any, any): number
276 Refb3 = g:cond ? Refb1 : Refb2
277enddef
278
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200279def FuncWithForwardCall()
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +0200280 return g:DefinedEvenLater("yes")
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200281enddef
282
283def DefinedEvenLater(arg: string): string
284 return arg
285enddef
286
287def Test_error_in_nested_function()
288 " Error in called function requires unwinding the call stack.
Bram Moolenaar822ba242020-05-24 23:00:18 +0200289 assert_fails('call FuncWithForwardCall()', 'E1013')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200290enddef
291
292def Test_return_type_wrong()
Bram Moolenaar822ba242020-05-24 23:00:18 +0200293 CheckScriptFailure(['def Func(): number', 'return "a"', 'enddef', 'defcompile'], 'expected number but got string')
294 CheckScriptFailure(['def Func(): string', 'return 1', 'enddef', 'defcompile'], 'expected string but got number')
295 CheckScriptFailure(['def Func(): void', 'return "a"', 'enddef', 'defcompile'], 'expected void but got string')
296 CheckScriptFailure(['def Func()', 'return "a"', 'enddef', 'defcompile'], 'expected void but got string')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200297
Bram Moolenaar822ba242020-05-24 23:00:18 +0200298 CheckScriptFailure(['def Func(): number', 'return', 'enddef', 'defcompile'], 'E1003:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200299
300 CheckScriptFailure(['def Func(): list', 'return []', 'enddef'], 'E1008:')
301 CheckScriptFailure(['def Func(): dict', 'return {}', 'enddef'], 'E1008:')
Bram Moolenaaree4e0c12020-04-06 21:35:05 +0200302 CheckScriptFailure(['def Func()', 'return 1'], 'E1057:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200303enddef
304
305def Test_arg_type_wrong()
306 CheckScriptFailure(['def Func3(items: list)', 'echo "a"', 'enddef'], 'E1008: Missing <type>')
Bram Moolenaaree4e0c12020-04-06 21:35:05 +0200307 CheckScriptFailure(['def Func4(...)', 'echo "a"', 'enddef'], 'E1055: Missing name after ...')
Bram Moolenaarf93c7fe2020-04-23 22:16:53 +0200308 CheckScriptFailure(['def Func5(items:string)', 'echo "a"'], 'E1069:')
Bram Moolenaar6e949782020-04-13 17:21:00 +0200309 CheckScriptFailure(['def Func5(items)', 'echo "a"'], 'E1077:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200310enddef
311
312def Test_vim9script_call()
313 let lines =<< trim END
314 vim9script
315 let var = ''
316 def MyFunc(arg: string)
317 var = arg
318 enddef
319 MyFunc('foobar')
320 assert_equal('foobar', var)
321
322 let str = 'barfoo'
323 str->MyFunc()
324 assert_equal('barfoo', var)
325
Bram Moolenaar67979662020-06-20 22:50:47 +0200326 g:value = 'value'
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200327 g:value->MyFunc()
328 assert_equal('value', var)
329
330 let listvar = []
331 def ListFunc(arg: list<number>)
332 listvar = arg
333 enddef
334 [1, 2, 3]->ListFunc()
335 assert_equal([1, 2, 3], listvar)
336
337 let dictvar = {}
338 def DictFunc(arg: dict<number>)
339 dictvar = arg
340 enddef
341 {'a': 1, 'b': 2}->DictFunc()
342 assert_equal(#{a: 1, b: 2}, dictvar)
343 def CompiledDict()
344 {'a': 3, 'b': 4}->DictFunc()
345 enddef
346 CompiledDict()
347 assert_equal(#{a: 3, b: 4}, dictvar)
348
349 #{a: 3, b: 4}->DictFunc()
350 assert_equal(#{a: 3, b: 4}, dictvar)
351
352 ('text')->MyFunc()
353 assert_equal('text', var)
354 ("some")->MyFunc()
355 assert_equal('some', var)
Bram Moolenaare6b53242020-07-01 17:28:33 +0200356
357 MyFunc(
358 'continued'
359 )
360 assert_equal('continued',
361 var
362 )
363
364 call MyFunc(
365 'more'
366 ..
367 'lines'
368 )
369 assert_equal(
370 'morelines',
371 var)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200372 END
373 writefile(lines, 'Xcall.vim')
374 source Xcall.vim
375 delete('Xcall.vim')
376enddef
377
378def Test_vim9script_call_fail_decl()
379 let lines =<< trim END
380 vim9script
381 let var = ''
382 def MyFunc(arg: string)
383 let var = 123
384 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200385 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200386 END
387 writefile(lines, 'Xcall_decl.vim')
388 assert_fails('source Xcall_decl.vim', 'E1054:')
389 delete('Xcall_decl.vim')
390enddef
391
392def Test_vim9script_call_fail_const()
393 let lines =<< trim END
394 vim9script
395 const var = ''
396 def MyFunc(arg: string)
397 var = 'asdf'
398 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200399 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200400 END
401 writefile(lines, 'Xcall_const.vim')
402 assert_fails('source Xcall_const.vim', 'E46:')
403 delete('Xcall_const.vim')
404enddef
405
406" Test that inside :function a Python function can be defined, :def is not
407" recognized.
408func Test_function_python()
409 CheckFeature python3
410 let py = 'python3'
411 execute py "<< EOF"
412def do_something():
413 return 1
414EOF
415endfunc
416
417def Test_delfunc()
418 let lines =<< trim END
419 vim9script
Bram Moolenaar4c17ad92020-04-27 22:47:51 +0200420 def g:GoneSoon()
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200421 echo 'hello'
422 enddef
423
424 def CallGoneSoon()
425 GoneSoon()
426 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200427 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200428
Bram Moolenaar4c17ad92020-04-27 22:47:51 +0200429 delfunc g:GoneSoon
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200430 CallGoneSoon()
431 END
432 writefile(lines, 'XToDelFunc')
433 assert_fails('so XToDelFunc', 'E933')
434 assert_fails('so XToDelFunc', 'E933')
435
436 delete('XToDelFunc')
437enddef
438
439def Test_redef_failure()
440 call writefile(['def Func0(): string', 'return "Func0"', 'enddef'], 'Xdef')
441 so Xdef
442 call writefile(['def Func1(): string', 'return "Func1"', 'enddef'], 'Xdef')
443 so Xdef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200444 call writefile(['def! Func0(): string', 'enddef', 'defcompile'], 'Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200445 call assert_fails('so Xdef', 'E1027:')
446 call writefile(['def Func2(): string', 'return "Func2"', 'enddef'], 'Xdef')
447 so Xdef
448 call delete('Xdef')
449
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +0200450 call assert_equal(0, g:Func0())
451 call assert_equal('Func1', g:Func1())
452 call assert_equal('Func2', g:Func2())
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200453
454 delfunc! Func0
455 delfunc! Func1
456 delfunc! Func2
457enddef
458
Bram Moolenaarf93c7fe2020-04-23 22:16:53 +0200459def Test_vim9script_func()
460 let lines =<< trim END
461 vim9script
462 func Func(arg)
463 echo a:arg
464 endfunc
465 Func('text')
466 END
467 writefile(lines, 'XVim9Func')
468 so XVim9Func
469
470 delete('XVim9Func')
471enddef
472
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200473" Test for internal functions returning different types
474func Test_InternalFuncRetType()
475 let lines =<< trim END
476 def RetFloat(): float
477 return ceil(1.456)
478 enddef
479
480 def RetListAny(): list<any>
481 return items({'k' : 'v'})
482 enddef
483
484 def RetListString(): list<string>
485 return split('a:b:c', ':')
486 enddef
487
488 def RetListDictAny(): list<dict<any>>
489 return getbufinfo()
490 enddef
491
492 def RetDictNumber(): dict<number>
493 return wordcount()
494 enddef
495
496 def RetDictString(): dict<string>
497 return environ()
498 enddef
499 END
500 call writefile(lines, 'Xscript')
501 source Xscript
502
503 call assert_equal(2.0, RetFloat())
504 call assert_equal([['k', 'v']], RetListAny())
505 call assert_equal(['a', 'b', 'c'], RetListString())
506 call assert_notequal([], RetListDictAny())
507 call assert_notequal({}, RetDictNumber())
508 call assert_notequal({}, RetDictString())
509 call delete('Xscript')
510endfunc
511
512" Test for passing too many or too few arguments to internal functions
513func Test_internalfunc_arg_error()
514 let l =<< trim END
515 def! FArgErr(): float
516 return ceil(1.1, 2)
517 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200518 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200519 END
520 call writefile(l, 'Xinvalidarg')
521 call assert_fails('so Xinvalidarg', 'E118:')
522 let l =<< trim END
523 def! FArgErr(): float
524 return ceil()
525 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +0200526 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200527 END
528 call writefile(l, 'Xinvalidarg')
529 call assert_fails('so Xinvalidarg', 'E119:')
530 call delete('Xinvalidarg')
531endfunc
532
533let s:funcResult = 0
534
535def FuncNoArgNoRet()
536 funcResult = 11
537enddef
538
539def FuncNoArgRetNumber(): number
540 funcResult = 22
541 return 1234
542enddef
543
Bram Moolenaarec5929d2020-04-07 20:53:39 +0200544def FuncNoArgRetString(): string
545 funcResult = 45
546 return 'text'
547enddef
548
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200549def FuncOneArgNoRet(arg: number)
550 funcResult = arg
551enddef
552
553def FuncOneArgRetNumber(arg: number): number
554 funcResult = arg
555 return arg
556enddef
557
Bram Moolenaar08938ee2020-04-11 23:17:17 +0200558def FuncTwoArgNoRet(one: bool, two: number)
559 funcResult = two
560enddef
561
Bram Moolenaarec5929d2020-04-07 20:53:39 +0200562def FuncOneArgRetString(arg: string): string
563 return arg
564enddef
565
Bram Moolenaar89228602020-04-05 22:14:54 +0200566def FuncOneArgRetAny(arg: any): any
567 return arg
568enddef
569
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200570def Test_func_type()
571 let Ref1: func()
572 funcResult = 0
573 Ref1 = FuncNoArgNoRet
574 Ref1()
575 assert_equal(11, funcResult)
Bram Moolenaar4c683752020-04-05 21:38:23 +0200576
577 let Ref2: func
578 funcResult = 0
579 Ref2 = FuncNoArgNoRet
580 Ref2()
581 assert_equal(11, funcResult)
582
583 funcResult = 0
584 Ref2 = FuncOneArgNoRet
585 Ref2(12)
586 assert_equal(12, funcResult)
587
588 funcResult = 0
589 Ref2 = FuncNoArgRetNumber
590 assert_equal(1234, Ref2())
591 assert_equal(22, funcResult)
592
593 funcResult = 0
594 Ref2 = FuncOneArgRetNumber
595 assert_equal(13, Ref2(13))
596 assert_equal(13, funcResult)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200597enddef
598
Bram Moolenaarec5929d2020-04-07 20:53:39 +0200599def Test_func_type_part()
600 let RefVoid: func: void
601 RefVoid = FuncNoArgNoRet
602 RefVoid = FuncOneArgNoRet
603 CheckDefFailure(['let RefVoid: func: void', 'RefVoid = FuncNoArgRetNumber'], 'E1013: type mismatch, expected func() but got func(): number')
Bram Moolenaar6ff71d82020-05-24 23:45:24 +0200604 CheckDefFailure(['let RefVoid: func: void', 'RefVoid = FuncNoArgRetString'], 'E1013: type mismatch, expected func() but got func(): string')
Bram Moolenaarec5929d2020-04-07 20:53:39 +0200605
606 let RefAny: func(): any
607 RefAny = FuncNoArgRetNumber
608 RefAny = FuncNoArgRetString
609 CheckDefFailure(['let RefAny: func(): any', 'RefAny = FuncNoArgNoRet'], 'E1013: type mismatch, expected func(): any but got func()')
610 CheckDefFailure(['let RefAny: func(): any', 'RefAny = FuncOneArgNoRet'], 'E1013: type mismatch, expected func(): any but got func(number)')
611
612 let RefNr: func: number
613 RefNr = FuncNoArgRetNumber
614 RefNr = FuncOneArgRetNumber
615 CheckDefFailure(['let RefNr: func: number', 'RefNr = FuncNoArgNoRet'], 'E1013: type mismatch, expected func(): number but got func()')
Bram Moolenaar6ff71d82020-05-24 23:45:24 +0200616 CheckDefFailure(['let RefNr: func: number', 'RefNr = FuncNoArgRetString'], 'E1013: type mismatch, expected func(): number but got func(): string')
Bram Moolenaarec5929d2020-04-07 20:53:39 +0200617
618 let RefStr: func: string
619 RefStr = FuncNoArgRetString
620 RefStr = FuncOneArgRetString
621 CheckDefFailure(['let RefStr: func: string', 'RefStr = FuncNoArgNoRet'], 'E1013: type mismatch, expected func(): string but got func()')
622 CheckDefFailure(['let RefStr: func: string', 'RefStr = FuncNoArgRetNumber'], 'E1013: type mismatch, expected func(): string but got func(): number')
623enddef
624
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200625def Test_func_type_fails()
626 CheckDefFailure(['let ref1: func()'], 'E704:')
627
628 CheckDefFailure(['let Ref1: func()', 'Ref1 = FuncNoArgRetNumber'], 'E1013: type mismatch, expected func() but got func(): number')
629 CheckDefFailure(['let Ref1: func()', 'Ref1 = FuncOneArgNoRet'], 'E1013: type mismatch, expected func() but got func(number)')
630 CheckDefFailure(['let Ref1: func()', 'Ref1 = FuncOneArgRetNumber'], 'E1013: type mismatch, expected func() but got func(number): number')
Bram Moolenaar6ff71d82020-05-24 23:45:24 +0200631 CheckDefFailure(['let Ref1: func(bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1013: type mismatch, expected func(bool) but got func(bool, number)')
632 CheckDefFailure(['let Ref1: func(?bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1013: type mismatch, expected func(?bool) but got func(bool, number)')
633 CheckDefFailure(['let Ref1: func(...bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1013: type mismatch, expected func(...bool) but got func(bool, number)')
Bram Moolenaar08938ee2020-04-11 23:17:17 +0200634
635 call CheckDefFailure(['let RefWrong: func(string ,number)'], 'E1068:')
636 call CheckDefFailure(['let RefWrong: func(string,number)'], 'E1069:')
637 call CheckDefFailure(['let RefWrong: func(bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool)'], 'E740:')
638 call CheckDefFailure(['let RefWrong: func(bool):string'], 'E1069:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200639enddef
640
Bram Moolenaar89228602020-04-05 22:14:54 +0200641def Test_func_return_type()
642 let nr: number
643 nr = FuncNoArgRetNumber()
644 assert_equal(1234, nr)
645
646 nr = FuncOneArgRetAny(122)
647 assert_equal(122, nr)
648
649 let str: string
650 str = FuncOneArgRetAny('yes')
651 assert_equal('yes', str)
652
653 CheckDefFailure(['let str: string', 'str = FuncNoArgRetNumber()'], 'E1013: type mismatch, expected string but got number')
654enddef
655
Bram Moolenaar5e774c72020-04-12 21:53:00 +0200656def MultiLine(
657 arg1: string,
658 arg2 = 1234,
659 ...rest: list<string>
660 ): string
661 return arg1 .. arg2 .. join(rest, '-')
662enddef
663
Bram Moolenaar2c330432020-04-13 14:41:35 +0200664def MultiLineComment(
665 arg1: string, # comment
666 arg2 = 1234, # comment
667 ...rest: list<string> # comment
668 ): string # comment
669 return arg1 .. arg2 .. join(rest, '-')
670enddef
671
Bram Moolenaar5e774c72020-04-12 21:53:00 +0200672def Test_multiline()
673 assert_equal('text1234', MultiLine('text'))
674 assert_equal('text777', MultiLine('text', 777))
675 assert_equal('text777one', MultiLine('text', 777, 'one'))
676 assert_equal('text777one-two', MultiLine('text', 777, 'one', 'two'))
677enddef
678
Bram Moolenaar23e03252020-04-12 22:22:31 +0200679func Test_multiline_not_vim9()
680 call assert_equal('text1234', MultiLine('text'))
681 call assert_equal('text777', MultiLine('text', 777))
682 call assert_equal('text777one', MultiLine('text', 777, 'one'))
683 call assert_equal('text777one-two', MultiLine('text', 777, 'one', 'two'))
684endfunc
685
Bram Moolenaar5e774c72020-04-12 21:53:00 +0200686
Bram Moolenaaree4e0c12020-04-06 21:35:05 +0200687" When using CheckScriptFailure() for the below test, E1010 is generated instead
688" of E1056.
689func Test_E1056_1059()
690 let caught_1056 = 0
691 try
692 def F():
693 return 1
694 enddef
695 catch /E1056:/
696 let caught_1056 = 1
697 endtry
698 call assert_equal(1, caught_1056)
699
700 let caught_1059 = 0
701 try
702 def F5(items : list)
703 echo 'a'
704 enddef
705 catch /E1059:/
706 let caught_1059 = 1
707 endtry
708 call assert_equal(1, caught_1059)
709endfunc
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200710
Bram Moolenaar015f4262020-05-05 21:25:22 +0200711func DelMe()
712 echo 'DelMe'
713endfunc
714
715def Test_deleted_function()
716 CheckDefExecFailure([
717 'let RefMe: func = function("g:DelMe")',
718 'delfunc g:DelMe',
719 'echo RefMe()'], 'E117:')
720enddef
721
722def Test_unknown_function()
723 CheckDefExecFailure([
724 'let Ref: func = function("NotExist")',
Bram Moolenaarf3915862020-05-07 14:37:19 +0200725 'delfunc g:NotExist'], 'E130:')
Bram Moolenaar015f4262020-05-05 21:25:22 +0200726enddef
727
Bram Moolenaarc8cd2b32020-05-01 19:29:08 +0200728def RefFunc(Ref: func(string): string): string
729 return Ref('more')
730enddef
731
732def Test_closure_simple()
733 let local = 'some '
734 assert_equal('some more', RefFunc({s -> local .. s}))
735enddef
736
Bram Moolenaarbf67ea12020-05-02 17:52:42 +0200737def MakeRef()
738 let local = 'some '
739 g:Ref = {s -> local .. s}
740enddef
741
742def Test_closure_ref_after_return()
743 MakeRef()
744 assert_equal('some thing', g:Ref('thing'))
745 unlet g:Ref
746enddef
747
Bram Moolenaar5adc55c2020-05-02 23:12:58 +0200748def MakeTwoRefs()
749 let local = ['some']
750 g:Extend = {s -> local->add(s)}
751 g:Read = {-> local}
752enddef
753
754def Test_closure_two_refs()
755 MakeTwoRefs()
756 assert_equal('some', join(g:Read(), ' '))
757 g:Extend('more')
758 assert_equal('some more', join(g:Read(), ' '))
759 g:Extend('even')
760 assert_equal('some more even', join(g:Read(), ' '))
761
762 unlet g:Extend
763 unlet g:Read
764enddef
765
Bram Moolenaar5adc55c2020-05-02 23:12:58 +0200766def ReadRef(Ref: func(): list<string>): string
767 return join(Ref(), ' ')
768enddef
769
770def ExtendRef(Ref: func(string), add: string)
771 Ref(add)
772enddef
773
774def Test_closure_two_indirect_refs()
Bram Moolenaarf7779c62020-05-03 15:38:16 +0200775 MakeTwoRefs()
Bram Moolenaar5adc55c2020-05-02 23:12:58 +0200776 assert_equal('some', ReadRef(g:Read))
777 ExtendRef(g:Extend, 'more')
778 assert_equal('some more', ReadRef(g:Read))
779 ExtendRef(g:Extend, 'even')
780 assert_equal('some more even', ReadRef(g:Read))
781
782 unlet g:Extend
783 unlet g:Read
784enddef
Bram Moolenaarbf67ea12020-05-02 17:52:42 +0200785
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +0200786def MakeArgRefs(theArg: string)
787 let local = 'loc_val'
788 g:UseArg = {s -> theArg .. '/' .. local .. '/' .. s}
789enddef
790
791def MakeArgRefsVarargs(theArg: string, ...rest: list<string>)
792 let local = 'the_loc'
793 g:UseVararg = {s -> theArg .. '/' .. local .. '/' .. s .. '/' .. join(rest)}
794enddef
795
796def Test_closure_using_argument()
797 MakeArgRefs('arg_val')
798 assert_equal('arg_val/loc_val/call_val', g:UseArg('call_val'))
799
800 MakeArgRefsVarargs('arg_val', 'one', 'two')
801 assert_equal('arg_val/the_loc/call_val/one two', g:UseVararg('call_val'))
802
803 unlet g:UseArg
804 unlet g:UseVararg
805enddef
806
Bram Moolenaarb68b3462020-05-06 21:06:30 +0200807def MakeGetAndAppendRefs()
808 let local = 'a'
809
810 def Append(arg: string)
811 local ..= arg
812 enddef
813 g:Append = Append
814
815 def Get(): string
816 return local
817 enddef
818 g:Get = Get
819enddef
820
821def Test_closure_append_get()
822 MakeGetAndAppendRefs()
823 assert_equal('a', g:Get())
824 g:Append('-b')
825 assert_equal('a-b', g:Get())
826 g:Append('-c')
827 assert_equal('a-b-c', g:Get())
828
829 unlet g:Append
830 unlet g:Get
831enddef
832
Bram Moolenaar04b12692020-05-04 23:24:44 +0200833def Test_nested_closure()
834 let local = 'text'
835 def Closure(arg: string): string
836 return local .. arg
837 enddef
838 assert_equal('text!!!', Closure('!!!'))
839enddef
840
Bram Moolenaar6f5b6df2020-05-16 21:20:12 +0200841func GetResult(Ref)
842 return a:Ref('some')
843endfunc
844
845def Test_call_closure_not_compiled()
846 let text = 'text'
847 g:Ref = {s -> s .. text}
848 assert_equal('sometext', GetResult(g:Ref))
849enddef
850
Bram Moolenaar865af6b2020-06-18 18:45:49 +0200851def Test_sort_return_type()
852 let res: list<number>
853 res = [1, 2, 3]->sort()
854enddef
855
Bram Moolenaarf151ad12020-06-30 13:38:01 +0200856def Test_getqflist_return_type()
857 let l = getqflist()
858 assert_equal([], l)
859
860 let d = getqflist(#{items: 0})
861 assert_equal(#{items: []}, d)
862enddef
863
864def Test_getloclist_return_type()
865 let l = getloclist(1)
866 assert_equal([], l)
867
868 let d = getloclist(1, #{items: 0})
869 assert_equal(#{items: []}, d)
870enddef
871
Bram Moolenaaracd4c5e2020-06-22 19:39:03 +0200872def Line_continuation_in_def(dir: string = ''): string
873 let path: string = empty(dir)
874 \ ? 'empty'
875 \ : 'full'
876 return path
877enddef
878
879def Test_line_continuation_in_def()
880 assert_equal('full', Line_continuation_in_def('.'))
881enddef
882
Bram Moolenaarf7779c62020-05-03 15:38:16 +0200883
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200884" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker