blob: 89cdee7437be3aa7bcdf01233bee086e2244ea08 [file] [log] [blame]
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001" Test various aspects of the Vim9 script language.
2
3source check.vim
Bram Moolenaarad304702020-09-06 18:22:53 +02004source term_util.vim
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02005source view_util.vim
Bram Moolenaar04b12692020-05-04 23:24:44 +02006source vim9.vim
Bram Moolenaar47e7d702020-07-05 18:18:42 +02007source screendump.vim
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02008
9func Test_def_basic()
10 def SomeFunc(): string
11 return 'yes'
12 enddef
Bram Moolenaarc0c71e92020-09-11 19:09:48 +020013 call SomeFunc()->assert_equal('yes')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +020014endfunc
15
Bram Moolenaar2b9b17e2020-10-13 18:38:11 +020016func Test_compiling_error()
17 " use a terminal to see the whole error message
Bram Moolenaarf4e8cdd2020-10-12 22:07:13 +020018 CheckRunVimInTerminal
19
Bram Moolenaar2b9b17e2020-10-13 18:38:11 +020020 call TestCompilingError()
Bram Moolenaare8c46602021-04-05 22:27:37 +020021 call TestCompilingErrorInTry()
Bram Moolenaar2b9b17e2020-10-13 18:38:11 +020022endfunc
23
24def TestCompilingError()
Bram Moolenaarf4e8cdd2020-10-12 22:07:13 +020025 var lines =<< trim END
26 vim9script
27 def Fails()
28 echo nothing
29 enddef
30 defcompile
31 END
Bram Moolenaare8c46602021-04-05 22:27:37 +020032 writefile(lines, 'XTest_compile_error')
Bram Moolenaarf4e8cdd2020-10-12 22:07:13 +020033 var buf = RunVimInTerminal('-S XTest_compile_error',
Bram Moolenaare0de1712020-12-02 17:36:54 +010034 {rows: 10, wait_for_ruler: 0})
Bram Moolenaare8c46602021-04-05 22:27:37 +020035 WaitForAssert(() => assert_match('Error detected while compiling command line.*Fails.*Variable not found: nothing',
Bram Moolenaar03dfde22021-02-14 13:17:22 +010036 Term_getlines(buf, range(1, 9))))
Bram Moolenaarf4e8cdd2020-10-12 22:07:13 +020037
38 # clean up
Bram Moolenaare8c46602021-04-05 22:27:37 +020039 StopVimInTerminal(buf)
40 delete('XTest_compile_error')
41enddef
42
43def TestCompilingErrorInTry()
44 var dir = 'Xdir/autoload'
45 mkdir(dir, 'p')
46
47 var lines =<< trim END
48 vim9script
49 def script#OnlyCompiled()
50 g:runtime = 'yes'
51 invalid
52 enddef
53 END
54 writefile(lines, dir .. '/script.vim')
55
56 lines =<< trim END
57 vim9script
58 todo
59 try
60 script#OnlyCompiled()
61 catch /nothing/
62 endtry
63 END
64 lines[1] = 'set rtp=' .. getcwd() .. '/Xdir'
65 writefile(lines, 'XTest_compile_error')
66
67 var buf = RunVimInTerminal('-S XTest_compile_error', {rows: 10, wait_for_ruler: 0})
68 WaitForAssert(() => assert_match('Error detected while compiling command line.*function script#OnlyCompiled.*Invalid command: invalid',
69 Term_getlines(buf, range(1, 9))))
70
71 # clean up
72 StopVimInTerminal(buf)
73 delete('XTest_compile_error')
74 delete('Xdir', 'rf')
Bram Moolenaarf4e8cdd2020-10-12 22:07:13 +020075enddef
76
Bram Moolenaarb55d6182021-06-08 22:01:53 +020077def Test_compile_error_in_called_function()
78 var lines =<< trim END
79 vim9script
80 var n: number
81 def Foo()
82 &hls = n
83 enddef
84 def Bar()
85 Foo()
86 enddef
87 silent! Foo()
88 Bar()
89 END
90 CheckScriptFailureList(lines, ['E1012:', 'E1191:'])
91enddef
92
Bram Moolenaar22f17a22021-06-21 20:48:58 +020093def Test_wrong_function_name()
94 var lines =<< trim END
95 vim9script
96 func _Foo()
97 echo 'foo'
98 endfunc
99 END
100 CheckScriptFailure(lines, 'E128:')
101
102 lines =<< trim END
103 vim9script
104 def _Foo()
105 echo 'foo'
106 enddef
107 END
108 CheckScriptFailure(lines, 'E128:')
109enddef
110
Bram Moolenaarf48b2fa2021-04-12 22:02:36 +0200111def Test_autoload_name_mismatch()
112 var dir = 'Xdir/autoload'
113 mkdir(dir, 'p')
114
115 var lines =<< trim END
116 vim9script
117 def scriptX#Function()
118 # comment
119 g:runtime = 'yes'
120 enddef
121 END
122 writefile(lines, dir .. '/script.vim')
123
124 var save_rtp = &rtp
125 exe 'set rtp=' .. getcwd() .. '/Xdir'
126 lines =<< trim END
127 call script#Function()
128 END
129 CheckScriptFailure(lines, 'E746:', 2)
130
131 &rtp = save_rtp
132 delete(dir, 'rf')
133enddef
134
Bram Moolenaarf0a40692021-06-11 22:05:47 +0200135def Test_autoload_names()
136 var dir = 'Xdir/autoload'
137 mkdir(dir, 'p')
138
139 var lines =<< trim END
140 func foobar#function()
141 return 'yes'
142 endfunc
143 let foobar#var = 'no'
144 END
145 writefile(lines, dir .. '/foobar.vim')
146
147 var save_rtp = &rtp
148 exe 'set rtp=' .. getcwd() .. '/Xdir'
149
150 lines =<< trim END
151 assert_equal('yes', foobar#function())
152 var Function = foobar#function
153 assert_equal('yes', Function())
154
155 assert_equal('no', foobar#var)
156 END
157 CheckDefAndScriptSuccess(lines)
158
159 &rtp = save_rtp
160 delete(dir, 'rf')
161enddef
162
Bram Moolenaar0ba48e82020-11-17 18:23:19 +0100163def CallRecursive(n: number): number
164 return CallRecursive(n + 1)
165enddef
166
167def CallMapRecursive(l: list<number>): number
Bram Moolenaar2949cfd2020-12-31 21:28:47 +0100168 return map(l, (_, v) => CallMapRecursive([v]))[0]
Bram Moolenaar0ba48e82020-11-17 18:23:19 +0100169enddef
170
171def Test_funcdepth_error()
172 set maxfuncdepth=10
173
174 var caught = false
175 try
176 CallRecursive(1)
177 catch /E132:/
178 caught = true
179 endtry
180 assert_true(caught)
181
182 caught = false
183 try
184 CallMapRecursive([1])
185 catch /E132:/
186 caught = true
187 endtry
188 assert_true(caught)
189
190 set maxfuncdepth&
191enddef
192
Bram Moolenaar5178b1b2021-01-01 18:43:51 +0100193def Test_endfunc_enddef()
194 var lines =<< trim END
195 def Test()
196 echo 'test'
197 endfunc
198 enddef
199 END
200 CheckScriptFailure(lines, 'E1151:', 3)
201
202 lines =<< trim END
203 def Test()
204 func Nested()
205 echo 'test'
206 enddef
207 enddef
208 END
209 CheckScriptFailure(lines, 'E1152:', 4)
Bram Moolenaar49f1e9e2021-03-22 20:49:02 +0100210
211 lines =<< trim END
212 def Ok()
213 echo 'hello'
214 enddef | echo 'there'
215 def Bad()
216 echo 'hello'
217 enddef there
218 END
219 CheckScriptFailure(lines, 'E1173: Text found after enddef: there', 6)
Bram Moolenaar5178b1b2021-01-01 18:43:51 +0100220enddef
221
Bram Moolenaarb8ba9b92021-01-01 18:54:34 +0100222def Test_missing_endfunc_enddef()
223 var lines =<< trim END
224 vim9script
225 def Test()
226 echo 'test'
227 endef
228 END
229 CheckScriptFailure(lines, 'E1057:', 2)
230
231 lines =<< trim END
232 vim9script
233 func Some()
234 echo 'test'
235 enfffunc
236 END
237 CheckScriptFailure(lines, 'E126:', 2)
238enddef
239
Bram Moolenaar4efd9942021-01-24 21:14:20 +0100240def Test_white_space_before_paren()
241 var lines =<< trim END
242 vim9script
243 def Test ()
244 echo 'test'
245 enddef
246 END
247 CheckScriptFailure(lines, 'E1068:', 2)
248
249 lines =<< trim END
250 vim9script
251 func Test ()
252 echo 'test'
253 endfunc
254 END
255 CheckScriptFailure(lines, 'E1068:', 2)
256
257 lines =<< trim END
258 def Test ()
259 echo 'test'
260 enddef
261 END
262 CheckScriptFailure(lines, 'E1068:', 1)
263
264 lines =<< trim END
265 func Test ()
266 echo 'test'
267 endfunc
268 END
269 CheckScriptSuccess(lines)
270enddef
271
Bram Moolenaar832ea892021-01-08 21:55:26 +0100272def Test_enddef_dict_key()
273 var d = {
274 enddef: 'x',
275 endfunc: 'y',
276 }
277 assert_equal({enddef: 'x', endfunc: 'y'}, d)
278enddef
279
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200280def ReturnString(): string
281 return 'string'
282enddef
283
284def ReturnNumber(): number
285 return 123
286enddef
287
288let g:notNumber = 'string'
289
290def ReturnGlobal(): number
291 return g:notNumber
292enddef
293
294def Test_return_something()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200295 ReturnString()->assert_equal('string')
296 ReturnNumber()->assert_equal(123)
Bram Moolenaar5e654232020-09-16 15:22:00 +0200297 assert_fails('ReturnGlobal()', 'E1012: Type mismatch; expected number but got string', '', 1, 'ReturnGlobal')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200298enddef
299
Bram Moolenaare32e5162021-01-21 20:21:29 +0100300def Test_check_argument_type()
301 var lines =<< trim END
302 vim9script
303 def Val(a: number, b: number): number
304 return 0
305 enddef
306 def Func()
307 var x: any = true
308 Val(0, x)
309 enddef
310 disass Func
311 Func()
312 END
313 CheckScriptFailure(lines, 'E1013: Argument 2: type mismatch, expected number but got bool', 2)
314enddef
315
Bram Moolenaarefd88552020-06-18 20:50:10 +0200316def Test_missing_return()
317 CheckDefFailure(['def Missing(): number',
318 ' if g:cond',
319 ' echo "no return"',
320 ' else',
321 ' return 0',
322 ' endif'
323 'enddef'], 'E1027:')
324 CheckDefFailure(['def Missing(): number',
325 ' if g:cond',
326 ' return 1',
327 ' else',
328 ' echo "no return"',
329 ' endif'
330 'enddef'], 'E1027:')
331 CheckDefFailure(['def Missing(): number',
332 ' if g:cond',
333 ' return 1',
334 ' else',
335 ' return 2',
336 ' endif'
337 ' return 3'
338 'enddef'], 'E1095:')
339enddef
340
Bram Moolenaar403dc312020-10-17 19:29:51 +0200341def Test_return_bool()
342 var lines =<< trim END
343 vim9script
344 def MenuFilter(id: number, key: string): bool
345 return popup_filter_menu(id, key)
346 enddef
347 def YesnoFilter(id: number, key: string): bool
348 return popup_filter_yesno(id, key)
349 enddef
350 defcompile
351 END
352 CheckScriptSuccess(lines)
353enddef
354
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200355let s:nothing = 0
356def ReturnNothing()
357 s:nothing = 1
358 if true
359 return
360 endif
361 s:nothing = 2
362enddef
363
364def Test_return_nothing()
365 ReturnNothing()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200366 s:nothing->assert_equal(1)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200367enddef
368
Bram Moolenaar648ea762021-01-15 19:04:32 +0100369def Test_return_invalid()
370 var lines =<< trim END
371 vim9script
372 def Func(): invalid
373 return xxx
374 enddef
375 defcompile
376 END
377 CheckScriptFailure(lines, 'E1010:', 2)
Bram Moolenaar31842cd2021-02-12 22:10:21 +0100378
379 lines =<< trim END
380 vim9script
381 def Test(Fun: func(number): number): list<number>
382 return map([1, 2, 3], (_, i) => Fun(i))
383 enddef
384 defcompile
385 def Inc(nr: number): nr
386 return nr + 2
387 enddef
388 echo Test(Inc)
389 END
390 # doing this twice was leaking memory
391 CheckScriptFailure(lines, 'E1010:')
392 CheckScriptFailure(lines, 'E1010:')
Bram Moolenaar648ea762021-01-15 19:04:32 +0100393enddef
394
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200395func Increment()
396 let g:counter += 1
397endfunc
398
399def Test_call_ufunc_count()
400 g:counter = 1
401 Increment()
402 Increment()
403 Increment()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +0200404 # works with and without :call
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200405 g:counter->assert_equal(4)
406 eval g:counter->assert_equal(4)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200407 unlet g:counter
408enddef
409
410def MyVarargs(arg: string, ...rest: list<string>): string
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200411 var res = arg
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200412 for s in rest
413 res ..= ',' .. s
414 endfor
415 return res
416enddef
417
418def Test_call_varargs()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200419 MyVarargs('one')->assert_equal('one')
420 MyVarargs('one', 'two')->assert_equal('one,two')
421 MyVarargs('one', 'two', 'three')->assert_equal('one,two,three')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200422enddef
423
424def MyDefaultArgs(name = 'string'): string
425 return name
426enddef
427
Bram Moolenaare30f64b2020-07-15 19:48:20 +0200428def MyDefaultSecond(name: string, second: bool = true): string
429 return second ? name : 'none'
430enddef
431
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200432
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200433def Test_call_default_args()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200434 MyDefaultArgs()->assert_equal('string')
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200435 MyDefaultArgs(v:none)->assert_equal('string')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200436 MyDefaultArgs('one')->assert_equal('one')
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200437 assert_fails('MyDefaultArgs("one", "two")', 'E118:', '', 4, 'Test_call_default_args')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200438
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200439 MyDefaultSecond('test')->assert_equal('test')
440 MyDefaultSecond('test', true)->assert_equal('test')
441 MyDefaultSecond('test', false)->assert_equal('none')
Bram Moolenaare30f64b2020-07-15 19:48:20 +0200442
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200443 var lines =<< trim END
444 def MyDefaultThird(name: string, aa = 'aa', bb = 'bb'): string
445 return name .. aa .. bb
446 enddef
447
448 MyDefaultThird('->')->assert_equal('->aabb')
449 MyDefaultThird('->', v:none)->assert_equal('->aabb')
450 MyDefaultThird('->', 'xx')->assert_equal('->xxbb')
451 MyDefaultThird('->', v:none, v:none)->assert_equal('->aabb')
452 MyDefaultThird('->', 'xx', v:none)->assert_equal('->xxbb')
453 MyDefaultThird('->', v:none, 'yy')->assert_equal('->aayy')
454 MyDefaultThird('->', 'xx', 'yy')->assert_equal('->xxyy')
Bram Moolenaare28d9b32021-07-03 18:56:53 +0200455
456 def DefArg(mandatory: any, optional = mandatory): string
457 return mandatory .. optional
458 enddef
459 DefArg(1234)->assert_equal('12341234')
460 DefArg("ok")->assert_equal('okok')
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200461 END
462 CheckDefAndScriptSuccess(lines)
463
Bram Moolenaar822ba242020-05-24 23:00:18 +0200464 CheckScriptFailure(['def Func(arg: number = asdf)', 'enddef', 'defcompile'], 'E1001:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +0100465 delfunc g:Func
Bram Moolenaar77072282020-09-16 17:55:40 +0200466 CheckScriptFailure(['def Func(arg: number = "text")', 'enddef', 'defcompile'], 'E1013: Argument 1: type mismatch, expected number but got string')
Bram Moolenaar2d870f82020-12-05 13:41:01 +0100467 delfunc g:Func
Yegappan Lakshmanan34fcb692021-05-25 20:14:00 +0200468 CheckDefFailure(['def Func(x: number = )', 'enddef'], 'E15:')
Bram Moolenaar12bce952021-03-11 20:04:04 +0100469
Bram Moolenaar38a3bfa2021-03-29 22:14:55 +0200470 lines =<< trim END
Bram Moolenaar12bce952021-03-11 20:04:04 +0100471 vim9script
472 def Func(a = b == 0 ? 1 : 2, b = 0)
473 enddef
474 defcompile
475 END
476 CheckScriptFailure(lines, 'E1001: Variable not found: b')
Bram Moolenaar04b12692020-05-04 23:24:44 +0200477enddef
478
Bram Moolenaarcef12702021-01-04 14:09:43 +0100479def FuncWithComment( # comment
480 a: number, #comment
481 b: bool, # comment
482 c: string) #comment
483 assert_equal(4, a)
484 assert_equal(true, b)
485 assert_equal('yes', c)
486enddef
487
488def Test_func_with_comments()
489 FuncWithComment(4, true, 'yes')
490
491 var lines =<< trim END
492 def Func(# comment
493 arg: string)
494 enddef
495 END
496 CheckScriptFailure(lines, 'E125:', 1)
497
498 lines =<< trim END
499 def Func(
500 arg: string# comment
501 )
502 enddef
503 END
504 CheckScriptFailure(lines, 'E475:', 2)
505
506 lines =<< trim END
507 def Func(
508 arg: string
509 )# comment
510 enddef
511 END
512 CheckScriptFailure(lines, 'E488:', 3)
513enddef
514
Bram Moolenaar04b12692020-05-04 23:24:44 +0200515def Test_nested_function()
516 def Nested(arg: string): string
517 return 'nested ' .. arg
518 enddef
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200519 Nested('function')->assert_equal('nested function')
Bram Moolenaar04b12692020-05-04 23:24:44 +0200520
Bram Moolenaar0e65d3d2020-05-05 17:53:16 +0200521 CheckDefFailure(['def Nested()', 'enddef', 'Nested(66)'], 'E118:')
522 CheckDefFailure(['def Nested(arg: string)', 'enddef', 'Nested()'], 'E119:')
523
Bram Moolenaar04b12692020-05-04 23:24:44 +0200524 CheckDefFailure(['func Nested()', 'endfunc'], 'E1086:')
Bram Moolenaarbcbf4132020-08-01 22:35:13 +0200525 CheckDefFailure(['def s:Nested()', 'enddef'], 'E1075:')
526 CheckDefFailure(['def b:Nested()', 'enddef'], 'E1075:')
Bram Moolenaar8b848ca2020-09-10 22:28:01 +0200527
Bram Moolenaar54021752020-12-06 18:50:36 +0100528 var lines =<< trim END
529 def Outer()
530 def Inner()
531 # comment
532 enddef
533 def Inner()
534 enddef
535 enddef
536 END
537 CheckDefFailure(lines, 'E1073:')
538
539 lines =<< trim END
540 def Outer()
541 def Inner()
542 # comment
543 enddef
544 def! Inner()
545 enddef
546 enddef
547 END
548 CheckDefFailure(lines, 'E1117:')
549
550 # nested function inside conditional
Bram Moolenaar54021752020-12-06 18:50:36 +0100551 lines =<< trim END
552 vim9script
553 var thecount = 0
554 if true
555 def Test(): number
556 def TheFunc(): number
557 thecount += 1
558 return thecount
559 enddef
560 return TheFunc()
561 enddef
562 endif
563 defcompile
564 assert_equal(1, Test())
565 assert_equal(2, Test())
566 END
567 CheckScriptSuccess(lines)
Bram Moolenaar8863bda2021-03-17 18:42:08 +0100568
569 # also works when "thecount" is inside the "if" block
570 lines =<< trim END
571 vim9script
572 if true
573 var thecount = 0
574 def Test(): number
575 def TheFunc(): number
576 thecount += 1
577 return thecount
578 enddef
579 return TheFunc()
580 enddef
581 endif
582 defcompile
583 assert_equal(1, Test())
584 assert_equal(2, Test())
585 END
586 CheckScriptSuccess(lines)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200587enddef
588
Bram Moolenaaradc8e442020-12-31 18:28:18 +0100589def Test_not_nested_function()
590 echo printf('%d',
591 function('len')('xxx'))
592enddef
593
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200594func Test_call_default_args_from_func()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200595 call MyDefaultArgs()->assert_equal('string')
596 call MyDefaultArgs('one')->assert_equal('one')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +0200597 call assert_fails('call MyDefaultArgs("one", "two")', 'E118:', '', 3, 'Test_call_default_args_from_func')
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200598endfunc
599
Bram Moolenaar38ddf332020-07-31 22:05:04 +0200600def Test_nested_global_function()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200601 var lines =<< trim END
Bram Moolenaar38ddf332020-07-31 22:05:04 +0200602 vim9script
603 def Outer()
604 def g:Inner(): string
605 return 'inner'
606 enddef
607 enddef
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200608 defcompile
609 Outer()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200610 g:Inner()->assert_equal('inner')
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200611 delfunc g:Inner
612 Outer()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200613 g:Inner()->assert_equal('inner')
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200614 delfunc g:Inner
615 Outer()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200616 g:Inner()->assert_equal('inner')
Bram Moolenaaraf8edbb2020-08-01 00:03:09 +0200617 delfunc g:Inner
Bram Moolenaar38ddf332020-07-31 22:05:04 +0200618 END
619 CheckScriptSuccess(lines)
Bram Moolenaar2c79e9d2020-08-01 18:57:52 +0200620
621 lines =<< trim END
622 vim9script
623 def Outer()
624 def g:Inner(): string
625 return 'inner'
626 enddef
627 enddef
628 defcompile
629 Outer()
630 Outer()
631 END
632 CheckScriptFailure(lines, "E122:")
Bram Moolenaarcd45ed02020-12-22 17:35:54 +0100633 delfunc g:Inner
Bram Moolenaarad486a02020-08-01 23:22:18 +0200634
635 lines =<< trim END
636 vim9script
Bram Moolenaar58a52f22020-12-22 18:56:55 +0100637 def Outer()
638 def g:Inner()
Bram Moolenaar2949cfd2020-12-31 21:28:47 +0100639 echo map([1, 2, 3], (_, v) => v + 1)
Bram Moolenaar58a52f22020-12-22 18:56:55 +0100640 enddef
641 g:Inner()
642 enddef
643 Outer()
644 END
645 CheckScriptSuccess(lines)
646 delfunc g:Inner
647
648 lines =<< trim END
649 vim9script
Bram Moolenaarad486a02020-08-01 23:22:18 +0200650 def Func()
651 echo 'script'
652 enddef
653 def Outer()
654 def Func()
655 echo 'inner'
656 enddef
657 enddef
658 defcompile
659 END
660 CheckScriptFailure(lines, "E1073:")
Bram Moolenaar38ddf332020-07-31 22:05:04 +0200661enddef
662
Bram Moolenaar6abdcf82020-11-22 18:15:44 +0100663def DefListAll()
664 def
665enddef
666
667def DefListOne()
668 def DefListOne
669enddef
670
671def DefListMatches()
672 def /DefList
673enddef
674
675def Test_nested_def_list()
676 var funcs = split(execute('call DefListAll()'), "\n")
677 assert_true(len(funcs) > 10)
678 assert_true(funcs->index('def DefListAll()') >= 0)
679
680 funcs = split(execute('call DefListOne()'), "\n")
681 assert_equal([' def DefListOne()', '1 def DefListOne', ' enddef'], funcs)
682
683 funcs = split(execute('call DefListMatches()'), "\n")
684 assert_true(len(funcs) >= 3)
685 assert_true(funcs->index('def DefListAll()') >= 0)
686 assert_true(funcs->index('def DefListOne()') >= 0)
687 assert_true(funcs->index('def DefListMatches()') >= 0)
Bram Moolenaar54021752020-12-06 18:50:36 +0100688
689 var lines =<< trim END
690 vim9script
691 def Func()
692 def +Func+
693 enddef
694 defcompile
695 END
696 CheckScriptFailure(lines, 'E476:', 1)
Bram Moolenaar6abdcf82020-11-22 18:15:44 +0100697enddef
698
Bram Moolenaar333894b2020-08-01 18:53:07 +0200699def Test_global_local_function()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200700 var lines =<< trim END
Bram Moolenaar333894b2020-08-01 18:53:07 +0200701 vim9script
702 def g:Func(): string
703 return 'global'
704 enddef
705 def Func(): string
706 return 'local'
707 enddef
Bram Moolenaarc0c71e92020-09-11 19:09:48 +0200708 g:Func()->assert_equal('global')
709 Func()->assert_equal('local')
Bram Moolenaar2d870f82020-12-05 13:41:01 +0100710 delfunc g:Func
Bram Moolenaar333894b2020-08-01 18:53:07 +0200711 END
712 CheckScriptSuccess(lines)
Bram Moolenaar035d6e92020-08-11 22:30:42 +0200713
714 lines =<< trim END
715 vim9script
716 def g:Funcy()
717 echo 'funcy'
718 enddef
719 s:Funcy()
720 END
721 CheckScriptFailure(lines, 'E117:')
Bram Moolenaar333894b2020-08-01 18:53:07 +0200722enddef
723
Bram Moolenaar0f769812020-09-12 18:32:34 +0200724def Test_local_function_shadows_global()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200725 var lines =<< trim END
Bram Moolenaar0f769812020-09-12 18:32:34 +0200726 vim9script
727 def g:Gfunc(): string
728 return 'global'
729 enddef
730 def AnotherFunc(): number
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200731 var Gfunc = function('len')
Bram Moolenaar0f769812020-09-12 18:32:34 +0200732 return Gfunc('testing')
733 enddef
734 g:Gfunc()->assert_equal('global')
735 AnotherFunc()->assert_equal(7)
736 delfunc g:Gfunc
737 END
738 CheckScriptSuccess(lines)
739
740 lines =<< trim END
741 vim9script
742 def g:Func(): string
743 return 'global'
744 enddef
745 def AnotherFunc()
746 g:Func = function('len')
747 enddef
748 AnotherFunc()
749 END
750 CheckScriptFailure(lines, 'E705:')
751 delfunc g:Func
Bram Moolenaar0865b152021-04-05 15:38:51 +0200752
753 # global function is found without g: prefix
754 lines =<< trim END
755 vim9script
756 def g:Func(): string
757 return 'global'
758 enddef
759 def AnotherFunc(): string
760 return Func()
761 enddef
762 assert_equal('global', AnotherFunc())
763 delfunc g:Func
764 END
765 CheckScriptSuccess(lines)
766
767 lines =<< trim END
768 vim9script
769 def g:Func(): string
770 return 'global'
771 enddef
772 assert_equal('global', Func())
773 delfunc g:Func
774 END
775 CheckScriptSuccess(lines)
Bram Moolenaar0f769812020-09-12 18:32:34 +0200776enddef
777
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200778func TakesOneArg(arg)
779 echo a:arg
780endfunc
781
782def Test_call_wrong_args()
Bram Moolenaard2c61702020-09-06 15:58:36 +0200783 CheckDefFailure(['TakesOneArg()'], 'E119:')
784 CheckDefFailure(['TakesOneArg(11, 22)'], 'E118:')
785 CheckDefFailure(['bufnr(xxx)'], 'E1001:')
786 CheckScriptFailure(['def Func(Ref: func(s: string))'], 'E475:')
Bram Moolenaaree8580e2020-08-28 17:19:07 +0200787
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200788 var lines =<< trim END
Bram Moolenaaree8580e2020-08-28 17:19:07 +0200789 vim9script
790 def Func(s: string)
791 echo s
792 enddef
793 Func([])
794 END
Bram Moolenaar77072282020-09-16 17:55:40 +0200795 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch, expected string but got list<unknown>', 5)
Bram Moolenaarb185a402020-09-18 22:42:00 +0200796
797 lines =<< trim END
798 vim9script
Bram Moolenaarb4893b82021-02-21 22:20:24 +0100799 var name = 'piet'
800 def FuncOne(name: string)
801 echo nr
802 enddef
803 END
Bram Moolenaar057e84a2021-02-28 16:55:11 +0100804 CheckScriptFailure(lines, 'E1168:')
Bram Moolenaarb4893b82021-02-21 22:20:24 +0100805
806 lines =<< trim END
807 vim9script
Bram Moolenaarb185a402020-09-18 22:42:00 +0200808 def FuncOne(nr: number)
809 echo nr
810 enddef
811 def FuncTwo()
812 FuncOne()
813 enddef
814 defcompile
815 END
816 writefile(lines, 'Xscript')
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +0200817 var didCatch = false
Bram Moolenaarb185a402020-09-18 22:42:00 +0200818 try
819 source Xscript
820 catch
821 assert_match('E119: Not enough arguments for function: <SNR>\d\+_FuncOne', v:exception)
822 assert_match('Xscript\[8\]..function <SNR>\d\+_FuncTwo, line 1', v:throwpoint)
823 didCatch = true
824 endtry
825 assert_true(didCatch)
826
827 lines =<< trim END
828 vim9script
829 def FuncOne(nr: number)
830 echo nr
831 enddef
832 def FuncTwo()
833 FuncOne(1, 2)
834 enddef
835 defcompile
836 END
837 writefile(lines, 'Xscript')
838 didCatch = false
839 try
840 source Xscript
841 catch
842 assert_match('E118: Too many arguments for function: <SNR>\d\+_FuncOne', v:exception)
843 assert_match('Xscript\[8\]..function <SNR>\d\+_FuncTwo, line 1', v:throwpoint)
844 didCatch = true
845 endtry
846 assert_true(didCatch)
847
848 delete('Xscript')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200849enddef
850
Bram Moolenaar50824712020-12-20 21:10:17 +0100851def Test_call_funcref_wrong_args()
852 var head =<< trim END
853 vim9script
854 def Func3(a1: string, a2: number, a3: list<number>)
855 echo a1 .. a2 .. a3[0]
856 enddef
857 def Testme()
858 var funcMap: dict<func> = {func: Func3}
859 END
860 var tail =<< trim END
861 enddef
862 Testme()
863 END
864 CheckScriptSuccess(head + ["funcMap['func']('str', 123, [1, 2, 3])"] + tail)
865
866 CheckScriptFailure(head + ["funcMap['func']('str', 123)"] + tail, 'E119:')
867 CheckScriptFailure(head + ["funcMap['func']('str', 123, [1], 4)"] + tail, 'E118:')
Bram Moolenaar32b3f822021-01-06 21:59:39 +0100868
869 var lines =<< trim END
870 vim9script
871 var Ref: func(number): any
872 Ref = (j) => !j
873 echo Ref(false)
874 END
875 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch, expected number but got bool', 4)
876
877 lines =<< trim END
878 vim9script
879 var Ref: func(number): any
880 Ref = (j) => !j
881 call Ref(false)
882 END
883 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch, expected number but got bool', 4)
Bram Moolenaar50824712020-12-20 21:10:17 +0100884enddef
885
Bram Moolenaarb4d16cb2020-11-05 18:45:46 +0100886def Test_call_lambda_args()
Bram Moolenaar2a389082021-04-09 20:24:31 +0200887 var lines =<< trim END
888 var Callback = (..._) => 'anything'
889 assert_equal('anything', Callback())
890 assert_equal('anything', Callback(1))
891 assert_equal('anything', Callback('a', 2))
Bram Moolenaar1088b692021-04-09 22:12:44 +0200892
893 assert_equal('xyz', ((a: string): string => a)('xyz'))
Bram Moolenaar2a389082021-04-09 20:24:31 +0200894 END
895 CheckDefAndScriptSuccess(lines)
896
Bram Moolenaar2949cfd2020-12-31 21:28:47 +0100897 CheckDefFailure(['echo ((i) => 0)()'],
898 'E119: Not enough arguments for function: ((i) => 0)()')
Bram Moolenaarb4d16cb2020-11-05 18:45:46 +0100899
Bram Moolenaar2a389082021-04-09 20:24:31 +0200900 lines =<< trim END
Bram Moolenaar2949cfd2020-12-31 21:28:47 +0100901 var Ref = (x: number, y: number) => x + y
Bram Moolenaarb4d16cb2020-11-05 18:45:46 +0100902 echo Ref(1, 'x')
903 END
904 CheckDefFailure(lines, 'E1013: Argument 2: type mismatch, expected number but got string')
Bram Moolenaare68b02a2021-01-03 13:09:51 +0100905
906 lines =<< trim END
907 var Ref: func(job, string, number)
908 Ref = (x, y) => 0
909 END
910 CheckDefAndScriptFailure(lines, 'E1012:')
911
912 lines =<< trim END
913 var Ref: func(job, string)
914 Ref = (x, y, z) => 0
915 END
916 CheckDefAndScriptFailure(lines, 'E1012:')
Bram Moolenaar057e84a2021-02-28 16:55:11 +0100917
918 lines =<< trim END
919 var one = 1
920 var l = [1, 2, 3]
921 echo map(l, (one) => one)
922 END
923 CheckDefFailure(lines, 'E1167:')
924 CheckScriptFailure(['vim9script'] + lines, 'E1168:')
925
926 lines =<< trim END
Bram Moolenaar14ded112021-06-26 19:25:49 +0200927 var Ref: func(any, ?any): bool
928 Ref = (_, y = 1) => false
929 END
930 CheckDefAndScriptFailure(lines, 'E1172:')
931
932 lines =<< trim END
Bram Moolenaar015cf102021-06-26 21:52:02 +0200933 var a = 0
934 var b = (a == 0 ? 1 : 2)
935 assert_equal(1, b)
Bram Moolenaar98f9a5f2021-06-26 22:22:38 +0200936 var txt = 'a'
937 b = (txt =~ 'x' ? 1 : 2)
938 assert_equal(2, b)
Bram Moolenaar015cf102021-06-26 21:52:02 +0200939 END
940 CheckDefAndScriptSuccess(lines)
941
942 lines =<< trim END
Bram Moolenaar057e84a2021-02-28 16:55:11 +0100943 def ShadowLocal()
944 var one = 1
945 var l = [1, 2, 3]
946 echo map(l, (one) => one)
947 enddef
948 END
949 CheckDefFailure(lines, 'E1167:')
950
951 lines =<< trim END
952 def Shadowarg(one: number)
953 var l = [1, 2, 3]
954 echo map(l, (one) => one)
955 enddef
956 END
957 CheckDefFailure(lines, 'E1167:')
Bram Moolenaar767034c2021-04-09 17:24:52 +0200958
959 lines =<< trim END
960 echo ((a) => a)('aa', 'bb')
961 END
962 CheckDefAndScriptFailure(lines, 'E118:', 1)
Bram Moolenaarb4d16cb2020-11-05 18:45:46 +0100963enddef
964
Bram Moolenaar5f91e742021-03-17 21:29:29 +0100965def FilterWithCond(x: string, Cond: func(string): bool): bool
966 return Cond(x)
967enddef
968
Bram Moolenaar0346b792021-01-31 22:18:29 +0100969def Test_lambda_return_type()
970 var lines =<< trim END
971 var Ref = (): => 123
972 END
973 CheckDefAndScriptFailure(lines, 'E1157:', 1)
Bram Moolenaar5f91e742021-03-17 21:29:29 +0100974
Yegappan Lakshmanan611728f2021-05-24 15:15:47 +0200975 # no space before the return type
976 lines =<< trim END
977 var Ref = (x):number => x + 1
978 END
979 CheckDefAndScriptFailure(lines, 'E1069:', 1)
980
Bram Moolenaar5f91e742021-03-17 21:29:29 +0100981 # this works
982 for x in ['foo', 'boo']
983 echo FilterWithCond(x, (v) => v =~ '^b')
984 endfor
985
986 # this fails
987 lines =<< trim END
988 echo FilterWithCond('foo', (v) => v .. '^b')
989 END
990 CheckDefAndScriptFailure(lines, 'E1013: Argument 2: type mismatch, expected func(string): bool but got func(any): string', 1)
Bram Moolenaara9931532021-06-12 15:58:16 +0200991
992 lines =<< trim END
993 var Lambda1 = (x) => {
994 return x
995 }
996 assert_equal('asdf', Lambda1('asdf'))
997 var Lambda2 = (x): string => {
998 return x
999 }
1000 assert_equal('foo', Lambda2('foo'))
1001 END
1002 CheckDefAndScriptSuccess(lines)
1003
1004 lines =<< trim END
1005 var Lambda = (x): string => {
1006 return x
1007 }
1008 echo Lambda(['foo'])
1009 END
1010 CheckDefExecAndScriptFailure(lines, 'E1012:')
Bram Moolenaar0346b792021-01-31 22:18:29 +01001011enddef
1012
Bram Moolenaar709664c2020-12-12 14:33:41 +01001013def Test_lambda_uses_assigned_var()
1014 CheckDefSuccess([
1015 'var x: any = "aaa"'
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001016 'x = filter(["bbb"], (_, v) => v =~ x)'])
Bram Moolenaar709664c2020-12-12 14:33:41 +01001017enddef
1018
Bram Moolenaar18062fc2021-03-05 21:35:47 +01001019def Test_pass_legacy_lambda_to_def_func()
1020 var lines =<< trim END
1021 vim9script
1022 func Foo()
1023 eval s:Bar({x -> 0})
1024 endfunc
1025 def Bar(y: any)
1026 enddef
1027 Foo()
1028 END
1029 CheckScriptSuccess(lines)
Bram Moolenaar831bdf82021-06-22 19:32:17 +02001030
1031 lines =<< trim END
1032 vim9script
Bram Moolenaar7a40ff02021-07-04 15:54:08 +02001033 def g:TestFunc(f: func)
Bram Moolenaar831bdf82021-06-22 19:32:17 +02001034 enddef
1035 legacy call g:TestFunc({-> 0})
1036 delfunc g:TestFunc
1037
1038 def g:TestFunc(f: func(number))
1039 enddef
1040 legacy call g:TestFunc({nr -> 0})
1041 delfunc g:TestFunc
1042 END
1043 CheckScriptSuccess(lines)
Bram Moolenaar18062fc2021-03-05 21:35:47 +01001044enddef
1045
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001046" Default arg and varargs
1047def MyDefVarargs(one: string, two = 'foo', ...rest: list<string>): string
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001048 var res = one .. ',' .. two
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001049 for s in rest
1050 res ..= ',' .. s
1051 endfor
1052 return res
1053enddef
1054
1055def Test_call_def_varargs()
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001056 assert_fails('MyDefVarargs()', 'E119:', '', 1, 'Test_call_def_varargs')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001057 MyDefVarargs('one')->assert_equal('one,foo')
1058 MyDefVarargs('one', 'two')->assert_equal('one,two')
1059 MyDefVarargs('one', 'two', 'three')->assert_equal('one,two,three')
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001060 CheckDefFailure(['MyDefVarargs("one", 22)'],
Bram Moolenaar77072282020-09-16 17:55:40 +02001061 'E1013: Argument 2: type mismatch, expected string but got number')
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001062 CheckDefFailure(['MyDefVarargs("one", "two", 123)'],
Bram Moolenaar77072282020-09-16 17:55:40 +02001063 'E1013: Argument 3: type mismatch, expected string but got number')
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001064
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001065 var lines =<< trim END
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001066 vim9script
1067 def Func(...l: list<string>)
1068 echo l
1069 enddef
1070 Func('a', 'b', 'c')
1071 END
1072 CheckScriptSuccess(lines)
1073
1074 lines =<< trim END
1075 vim9script
1076 def Func(...l: list<string>)
1077 echo l
1078 enddef
1079 Func()
1080 END
1081 CheckScriptSuccess(lines)
1082
1083 lines =<< trim END
1084 vim9script
Bram Moolenaar2a389082021-04-09 20:24:31 +02001085 def Func(...l: list<any>)
Bram Moolenaar2f8cbc42020-09-16 17:22:59 +02001086 echo l
1087 enddef
1088 Func(0)
1089 END
1090 CheckScriptSuccess(lines)
1091
1092 lines =<< trim END
1093 vim9script
Bram Moolenaar2a389082021-04-09 20:24:31 +02001094 def Func(...l: any)
1095 echo l
1096 enddef
1097 Func(0)
1098 END
1099 CheckScriptFailure(lines, 'E1180:', 2)
1100
1101 lines =<< trim END
1102 vim9script
Bram Moolenaar28022722020-09-21 22:02:49 +02001103 def Func(..._l: list<string>)
1104 echo _l
1105 enddef
1106 Func('a', 'b', 'c')
1107 END
1108 CheckScriptSuccess(lines)
1109
1110 lines =<< trim END
1111 vim9script
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001112 def Func(...l: list<string>)
1113 echo l
1114 enddef
1115 Func(1, 2, 3)
1116 END
Bram Moolenaar77072282020-09-16 17:55:40 +02001117 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch')
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001118
1119 lines =<< trim END
1120 vim9script
1121 def Func(...l: list<string>)
1122 echo l
1123 enddef
1124 Func('a', 9)
1125 END
Bram Moolenaar77072282020-09-16 17:55:40 +02001126 CheckScriptFailure(lines, 'E1013: Argument 2: type mismatch')
Bram Moolenaar24aa48b2020-07-25 16:33:02 +02001127
1128 lines =<< trim END
1129 vim9script
1130 def Func(...l: list<string>)
1131 echo l
1132 enddef
1133 Func(1, 'a')
1134 END
Bram Moolenaar77072282020-09-16 17:55:40 +02001135 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch')
Bram Moolenaar4f53b792021-02-07 15:59:49 +01001136
1137 lines =<< trim END
1138 vim9script
1139 def Func( # some comment
1140 ...l = []
1141 )
1142 echo l
1143 enddef
1144 END
1145 CheckScriptFailure(lines, 'E1160:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001146enddef
1147
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001148let s:value = ''
1149
1150def FuncOneDefArg(opt = 'text')
1151 s:value = opt
1152enddef
1153
1154def FuncTwoDefArg(nr = 123, opt = 'text'): string
1155 return nr .. opt
1156enddef
1157
1158def FuncVarargs(...arg: list<string>): string
1159 return join(arg, ',')
1160enddef
1161
1162def Test_func_type_varargs()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001163 var RefDefArg: func(?string)
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001164 RefDefArg = FuncOneDefArg
1165 RefDefArg()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001166 s:value->assert_equal('text')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001167 RefDefArg('some')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001168 s:value->assert_equal('some')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001169
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001170 var RefDef2Arg: func(?number, ?string): string
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001171 RefDef2Arg = FuncTwoDefArg
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001172 RefDef2Arg()->assert_equal('123text')
1173 RefDef2Arg(99)->assert_equal('99text')
1174 RefDef2Arg(77, 'some')->assert_equal('77some')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001175
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001176 CheckDefFailure(['var RefWrong: func(string?)'], 'E1010:')
1177 CheckDefFailure(['var RefWrong: func(?string, string)'], 'E1007:')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001178
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001179 var RefVarargs: func(...list<string>): string
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001180 RefVarargs = FuncVarargs
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001181 RefVarargs()->assert_equal('')
1182 RefVarargs('one')->assert_equal('one')
1183 RefVarargs('one', 'two')->assert_equal('one,two')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001184
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001185 CheckDefFailure(['var RefWrong: func(...list<string>, string)'], 'E110:')
1186 CheckDefFailure(['var RefWrong: func(...list<string>, ?string)'], 'E110:')
Bram Moolenaar1378fbc2020-04-11 20:50:33 +02001187enddef
1188
Bram Moolenaar0b76b422020-04-07 22:05:08 +02001189" Only varargs
1190def MyVarargsOnly(...args: list<string>): string
1191 return join(args, ',')
1192enddef
1193
1194def Test_call_varargs_only()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001195 MyVarargsOnly()->assert_equal('')
1196 MyVarargsOnly('one')->assert_equal('one')
1197 MyVarargsOnly('one', 'two')->assert_equal('one,two')
Bram Moolenaar77072282020-09-16 17:55:40 +02001198 CheckDefFailure(['MyVarargsOnly(1)'], 'E1013: Argument 1: type mismatch, expected string but got number')
1199 CheckDefFailure(['MyVarargsOnly("one", 2)'], 'E1013: Argument 2: type mismatch, expected string but got number')
Bram Moolenaar0b76b422020-04-07 22:05:08 +02001200enddef
1201
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001202def Test_using_var_as_arg()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001203 writefile(['def Func(x: number)', 'var x = 234', 'enddef', 'defcompile'], 'Xdef')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001204 assert_fails('so Xdef', 'E1006:', '', 1, 'Func')
Bram Moolenaard2c61702020-09-06 15:58:36 +02001205 delete('Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001206enddef
1207
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +02001208def DictArg(arg: dict<string>)
1209 arg['key'] = 'value'
1210enddef
1211
1212def ListArg(arg: list<string>)
1213 arg[0] = 'value'
1214enddef
1215
1216def Test_assign_to_argument()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001217 # works for dict and list
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001218 var d: dict<string> = {}
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +02001219 DictArg(d)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001220 d['key']->assert_equal('value')
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001221 var l: list<string> = []
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +02001222 ListArg(l)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001223 l[0]->assert_equal('value')
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +02001224
Bram Moolenaard2c61702020-09-06 15:58:36 +02001225 CheckScriptFailure(['def Func(arg: number)', 'arg = 3', 'enddef', 'defcompile'], 'E1090:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001226 delfunc! g:Func
Bram Moolenaarcb2bdb12020-05-10 22:53:56 +02001227enddef
1228
Bram Moolenaarb816dae2020-09-20 22:04:00 +02001229" These argument names are reserved in legacy functions.
1230def WithReservedNames(firstline: string, lastline: string): string
1231 return firstline .. lastline
1232enddef
1233
1234def Test_argument_names()
1235 assert_equal('OK', WithReservedNames('O', 'K'))
1236enddef
1237
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001238def Test_call_func_defined_later()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001239 g:DefinedLater('one')->assert_equal('one')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001240 assert_fails('NotDefined("one")', 'E117:', '', 2, 'Test_call_func_defined_later')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001241enddef
1242
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +02001243func DefinedLater(arg)
1244 return a:arg
1245endfunc
1246
1247def Test_call_funcref()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001248 g:SomeFunc('abc')->assert_equal(3)
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001249 assert_fails('NotAFunc()', 'E117:', '', 2, 'Test_call_funcref') # comment after call
1250 assert_fails('g:NotAFunc()', 'E117:', '', 3, 'Test_call_funcref')
Bram Moolenaar2f1980f2020-07-22 19:30:06 +02001251
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001252 var lines =<< trim END
Bram Moolenaar2f1980f2020-07-22 19:30:06 +02001253 vim9script
1254 def RetNumber(): number
1255 return 123
1256 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001257 var Funcref: func: number = function('RetNumber')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001258 Funcref()->assert_equal(123)
Bram Moolenaar2f1980f2020-07-22 19:30:06 +02001259 END
1260 CheckScriptSuccess(lines)
Bram Moolenaar0f60e802020-07-22 20:16:11 +02001261
1262 lines =<< trim END
1263 vim9script
1264 def RetNumber(): number
1265 return 123
1266 enddef
1267 def Bar(F: func: number): number
1268 return F()
1269 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001270 var Funcref = function('RetNumber')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001271 Bar(Funcref)->assert_equal(123)
Bram Moolenaar0f60e802020-07-22 20:16:11 +02001272 END
1273 CheckScriptSuccess(lines)
Bram Moolenaarbfba8652020-07-23 20:09:10 +02001274
1275 lines =<< trim END
1276 vim9script
1277 def UseNumber(nr: number)
1278 echo nr
1279 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001280 var Funcref: func(number) = function('UseNumber')
Bram Moolenaarbfba8652020-07-23 20:09:10 +02001281 Funcref(123)
1282 END
1283 CheckScriptSuccess(lines)
Bram Moolenaarb8070e32020-07-23 20:56:04 +02001284
1285 lines =<< trim END
1286 vim9script
1287 def UseNumber(nr: number)
1288 echo nr
1289 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001290 var Funcref: func(string) = function('UseNumber')
Bram Moolenaarb8070e32020-07-23 20:56:04 +02001291 END
Bram Moolenaar5e654232020-09-16 15:22:00 +02001292 CheckScriptFailure(lines, 'E1012: Type mismatch; expected func(string) but got func(number)')
Bram Moolenaar4fc224c2020-07-26 17:56:25 +02001293
1294 lines =<< trim END
1295 vim9script
1296 def EchoNr(nr = 34)
1297 g:echo = nr
1298 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001299 var Funcref: func(?number) = function('EchoNr')
Bram Moolenaar4fc224c2020-07-26 17:56:25 +02001300 Funcref()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001301 g:echo->assert_equal(34)
Bram Moolenaar4fc224c2020-07-26 17:56:25 +02001302 Funcref(123)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001303 g:echo->assert_equal(123)
Bram Moolenaar4fc224c2020-07-26 17:56:25 +02001304 END
1305 CheckScriptSuccess(lines)
Bram Moolenaarace61322020-07-26 18:16:58 +02001306
1307 lines =<< trim END
1308 vim9script
1309 def EchoList(...l: list<number>)
1310 g:echo = l
1311 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001312 var Funcref: func(...list<number>) = function('EchoList')
Bram Moolenaarace61322020-07-26 18:16:58 +02001313 Funcref()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001314 g:echo->assert_equal([])
Bram Moolenaarace61322020-07-26 18:16:58 +02001315 Funcref(1, 2, 3)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001316 g:echo->assert_equal([1, 2, 3])
Bram Moolenaarace61322020-07-26 18:16:58 +02001317 END
1318 CheckScriptSuccess(lines)
Bram Moolenaar01865ad2020-07-26 18:33:09 +02001319
1320 lines =<< trim END
1321 vim9script
1322 def OptAndVar(nr: number, opt = 12, ...l: list<number>): number
1323 g:optarg = opt
1324 g:listarg = l
1325 return nr
1326 enddef
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001327 var Funcref: func(number, ?number, ...list<number>): number = function('OptAndVar')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001328 Funcref(10)->assert_equal(10)
1329 g:optarg->assert_equal(12)
1330 g:listarg->assert_equal([])
Bram Moolenaar01865ad2020-07-26 18:33:09 +02001331
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001332 Funcref(11, 22)->assert_equal(11)
1333 g:optarg->assert_equal(22)
1334 g:listarg->assert_equal([])
Bram Moolenaar01865ad2020-07-26 18:33:09 +02001335
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001336 Funcref(17, 18, 1, 2, 3)->assert_equal(17)
1337 g:optarg->assert_equal(18)
1338 g:listarg->assert_equal([1, 2, 3])
Bram Moolenaar01865ad2020-07-26 18:33:09 +02001339 END
1340 CheckScriptSuccess(lines)
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +02001341enddef
1342
1343let SomeFunc = function('len')
1344let NotAFunc = 'text'
1345
Bram Moolenaar99aaf0c2020-04-12 14:39:53 +02001346def CombineFuncrefTypes()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001347 # same arguments, different return type
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001348 var Ref1: func(bool): string
1349 var Ref2: func(bool): number
1350 var Ref3: func(bool): any
Bram Moolenaar99aaf0c2020-04-12 14:39:53 +02001351 Ref3 = g:cond ? Ref1 : Ref2
1352
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001353 # different number of arguments
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001354 var Refa1: func(bool): number
1355 var Refa2: func(bool, number): number
1356 var Refa3: func: number
Bram Moolenaar99aaf0c2020-04-12 14:39:53 +02001357 Refa3 = g:cond ? Refa1 : Refa2
1358
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001359 # different argument types
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001360 var Refb1: func(bool, string): number
1361 var Refb2: func(string, number): number
1362 var Refb3: func(any, any): number
Bram Moolenaar99aaf0c2020-04-12 14:39:53 +02001363 Refb3 = g:cond ? Refb1 : Refb2
1364enddef
1365
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001366def FuncWithForwardCall()
Bram Moolenaar1df8b3f2020-04-23 18:13:23 +02001367 return g:DefinedEvenLater("yes")
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001368enddef
1369
1370def DefinedEvenLater(arg: string): string
1371 return arg
1372enddef
1373
1374def Test_error_in_nested_function()
Bram Moolenaarf5be8cd2020-07-17 20:36:00 +02001375 # Error in called function requires unwinding the call stack.
Bram Moolenaar44d66522020-09-06 22:26:57 +02001376 assert_fails('FuncWithForwardCall()', 'E1096:', '', 1, 'FuncWithForwardCall')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001377enddef
1378
1379def Test_return_type_wrong()
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001380 CheckScriptFailure([
1381 'def Func(): number',
1382 'return "a"',
1383 'enddef',
1384 'defcompile'], 'expected number but got string')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001385 delfunc! g:Func
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001386 CheckScriptFailure([
1387 'def Func(): string',
1388 'return 1',
1389 'enddef',
1390 'defcompile'], 'expected string but got number')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001391 delfunc! g:Func
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001392 CheckScriptFailure([
1393 'def Func(): void',
1394 'return "a"',
1395 'enddef',
1396 'defcompile'],
1397 'E1096: Returning a value in a function without a return type')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001398 delfunc! g:Func
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001399 CheckScriptFailure([
1400 'def Func()',
1401 'return "a"',
1402 'enddef',
1403 'defcompile'],
1404 'E1096: Returning a value in a function without a return type')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001405 delfunc! g:Func
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001406
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001407 CheckScriptFailure([
1408 'def Func(): number',
1409 'return',
1410 'enddef',
1411 'defcompile'], 'E1003:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001412 delfunc! g:Func
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001413
1414 CheckScriptFailure(['def Func(): list', 'return []', 'enddef'], 'E1008:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001415 delfunc! g:Func
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001416 CheckScriptFailure(['def Func(): dict', 'return {}', 'enddef'], 'E1008:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001417 delfunc! g:Func
Bram Moolenaaree4e0c12020-04-06 21:35:05 +02001418 CheckScriptFailure(['def Func()', 'return 1'], 'E1057:')
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001419 delfunc! g:Func
Bram Moolenaar5a849da2020-08-08 16:47:30 +02001420
1421 CheckScriptFailure([
1422 'vim9script',
1423 'def FuncB()',
1424 ' return 123',
1425 'enddef',
1426 'def FuncA()',
1427 ' FuncB()',
1428 'enddef',
1429 'defcompile'], 'E1096:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001430enddef
1431
1432def Test_arg_type_wrong()
1433 CheckScriptFailure(['def Func3(items: list)', 'echo "a"', 'enddef'], 'E1008: Missing <type>')
Bram Moolenaaree4e0c12020-04-06 21:35:05 +02001434 CheckScriptFailure(['def Func4(...)', 'echo "a"', 'enddef'], 'E1055: Missing name after ...')
Bram Moolenaarf93c7fe2020-04-23 22:16:53 +02001435 CheckScriptFailure(['def Func5(items:string)', 'echo "a"'], 'E1069:')
Bram Moolenaar6e949782020-04-13 17:21:00 +02001436 CheckScriptFailure(['def Func5(items)', 'echo "a"'], 'E1077:')
Yegappan Lakshmanan34fcb692021-05-25 20:14:00 +02001437 CheckScriptFailure(['def Func6(...x:list<number>)', 'echo "a"', 'enddef'], 'E1069:')
1438 CheckScriptFailure(['def Func7(...x: int)', 'echo "a"', 'enddef'], 'E1010:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001439enddef
1440
Bram Moolenaar86cdb8a2021-04-06 19:01:03 +02001441def Test_white_space_before_comma()
1442 var lines =<< trim END
1443 vim9script
1444 def Func(a: number , b: number)
1445 enddef
1446 END
1447 CheckScriptFailure(lines, 'E1068:')
Yegappan Lakshmanan611728f2021-05-24 15:15:47 +02001448 call assert_fails('vim9cmd echo stridx("a" .. "b" , "a")', 'E1068:')
Bram Moolenaar86cdb8a2021-04-06 19:01:03 +02001449enddef
1450
Bram Moolenaar608d78f2021-03-06 22:33:12 +01001451def Test_white_space_after_comma()
1452 var lines =<< trim END
1453 vim9script
1454 def Func(a: number,b: number)
1455 enddef
1456 END
1457 CheckScriptFailure(lines, 'E1069:')
1458
1459 # OK in legacy function
1460 lines =<< trim END
1461 vim9script
1462 func Func(a,b)
1463 endfunc
1464 END
1465 CheckScriptSuccess(lines)
1466enddef
1467
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001468def Test_vim9script_call()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001469 var lines =<< trim END
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001470 vim9script
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001471 var name = ''
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001472 def MyFunc(arg: string)
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001473 name = arg
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001474 enddef
1475 MyFunc('foobar')
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001476 name->assert_equal('foobar')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001477
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001478 var str = 'barfoo'
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001479 str->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001480 name->assert_equal('barfoo')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001481
Bram Moolenaar67979662020-06-20 22:50:47 +02001482 g:value = 'value'
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001483 g:value->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001484 name->assert_equal('value')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001485
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001486 var listvar = []
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001487 def ListFunc(arg: list<number>)
1488 listvar = arg
1489 enddef
1490 [1, 2, 3]->ListFunc()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001491 listvar->assert_equal([1, 2, 3])
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001492
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001493 var dictvar = {}
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001494 def DictFunc(arg: dict<number>)
1495 dictvar = arg
1496 enddef
Bram Moolenaare0de1712020-12-02 17:36:54 +01001497 {a: 1, b: 2}->DictFunc()
1498 dictvar->assert_equal({a: 1, b: 2})
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001499 def CompiledDict()
Bram Moolenaare0de1712020-12-02 17:36:54 +01001500 {a: 3, b: 4}->DictFunc()
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001501 enddef
1502 CompiledDict()
Bram Moolenaare0de1712020-12-02 17:36:54 +01001503 dictvar->assert_equal({a: 3, b: 4})
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001504
Bram Moolenaare0de1712020-12-02 17:36:54 +01001505 {a: 3, b: 4}->DictFunc()
1506 dictvar->assert_equal({a: 3, b: 4})
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001507
1508 ('text')->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001509 name->assert_equal('text')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001510 ("some")->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001511 name->assert_equal('some')
Bram Moolenaare6b53242020-07-01 17:28:33 +02001512
Bram Moolenaar13e12b82020-07-24 18:47:22 +02001513 # line starting with single quote is not a mark
Bram Moolenaar10409562020-07-29 20:00:38 +02001514 # line starting with double quote can be a method call
Bram Moolenaar3d48e252020-07-15 14:15:52 +02001515 'asdfasdf'->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001516 name->assert_equal('asdfasdf')
Bram Moolenaar10409562020-07-29 20:00:38 +02001517 "xyz"->MyFunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001518 name->assert_equal('xyz')
Bram Moolenaar3d48e252020-07-15 14:15:52 +02001519
1520 def UseString()
1521 'xyork'->MyFunc()
1522 enddef
1523 UseString()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001524 name->assert_equal('xyork')
Bram Moolenaar3d48e252020-07-15 14:15:52 +02001525
Bram Moolenaar10409562020-07-29 20:00:38 +02001526 def UseString2()
1527 "knife"->MyFunc()
1528 enddef
1529 UseString2()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001530 name->assert_equal('knife')
Bram Moolenaar10409562020-07-29 20:00:38 +02001531
Bram Moolenaar13e12b82020-07-24 18:47:22 +02001532 # prepending a colon makes it a mark
1533 new
1534 setline(1, ['aaa', 'bbb', 'ccc'])
1535 normal! 3Gmt1G
1536 :'t
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001537 getcurpos()[1]->assert_equal(3)
Bram Moolenaar13e12b82020-07-24 18:47:22 +02001538 bwipe!
1539
Bram Moolenaare6b53242020-07-01 17:28:33 +02001540 MyFunc(
1541 'continued'
1542 )
1543 assert_equal('continued',
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001544 name
Bram Moolenaare6b53242020-07-01 17:28:33 +02001545 )
1546
1547 call MyFunc(
1548 'more'
1549 ..
1550 'lines'
1551 )
1552 assert_equal(
1553 'morelines',
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001554 name)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001555 END
1556 writefile(lines, 'Xcall.vim')
1557 source Xcall.vim
1558 delete('Xcall.vim')
1559enddef
1560
1561def Test_vim9script_call_fail_decl()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001562 var lines =<< trim END
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001563 vim9script
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001564 var name = ''
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001565 def MyFunc(arg: string)
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001566 var name = 123
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001567 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +02001568 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001569 END
Bram Moolenaar6c4bfe42020-07-23 18:26:30 +02001570 CheckScriptFailure(lines, 'E1054:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001571enddef
1572
Bram Moolenaar65b95452020-07-19 14:03:09 +02001573def Test_vim9script_call_fail_type()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001574 var lines =<< trim END
Bram Moolenaar65b95452020-07-19 14:03:09 +02001575 vim9script
1576 def MyFunc(arg: string)
1577 echo arg
1578 enddef
1579 MyFunc(1234)
1580 END
Bram Moolenaar77072282020-09-16 17:55:40 +02001581 CheckScriptFailure(lines, 'E1013: Argument 1: type mismatch, expected string but got number')
Bram Moolenaar65b95452020-07-19 14:03:09 +02001582enddef
1583
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001584def Test_vim9script_call_fail_const()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001585 var lines =<< trim END
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001586 vim9script
1587 const var = ''
1588 def MyFunc(arg: string)
1589 var = 'asdf'
1590 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +02001591 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001592 END
1593 writefile(lines, 'Xcall_const.vim')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001594 assert_fails('source Xcall_const.vim', 'E46:', '', 1, 'MyFunc')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001595 delete('Xcall_const.vim')
Bram Moolenaar3bdc90b2020-12-22 20:35:40 +01001596
1597 lines =<< trim END
1598 const g:Aconst = 77
1599 def Change()
1600 # comment
1601 g:Aconst = 99
1602 enddef
1603 call Change()
1604 unlet g:Aconst
1605 END
Bram Moolenaar1dcf55d2020-12-22 22:07:30 +01001606 CheckScriptFailure(lines, 'E741: Value is locked: Aconst', 2)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001607enddef
1608
1609" Test that inside :function a Python function can be defined, :def is not
1610" recognized.
1611func Test_function_python()
1612 CheckFeature python3
Bram Moolenaar727345e2020-09-27 23:33:59 +02001613 let py = 'python3'
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001614 execute py "<< EOF"
1615def do_something():
1616 return 1
1617EOF
1618endfunc
1619
1620def Test_delfunc()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001621 var lines =<< trim END
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001622 vim9script
Bram Moolenaar4c17ad92020-04-27 22:47:51 +02001623 def g:GoneSoon()
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001624 echo 'hello'
1625 enddef
1626
1627 def CallGoneSoon()
1628 GoneSoon()
1629 enddef
Bram Moolenaar822ba242020-05-24 23:00:18 +02001630 defcompile
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001631
Bram Moolenaar4c17ad92020-04-27 22:47:51 +02001632 delfunc g:GoneSoon
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001633 CallGoneSoon()
1634 END
1635 writefile(lines, 'XToDelFunc')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001636 assert_fails('so XToDelFunc', 'E933:', '', 1, 'CallGoneSoon')
1637 assert_fails('so XToDelFunc', 'E933:', '', 1, 'CallGoneSoon')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001638
1639 delete('XToDelFunc')
1640enddef
1641
1642def Test_redef_failure()
Bram Moolenaard2c61702020-09-06 15:58:36 +02001643 writefile(['def Func0(): string', 'return "Func0"', 'enddef'], 'Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001644 so Xdef
Bram Moolenaard2c61702020-09-06 15:58:36 +02001645 writefile(['def Func1(): string', 'return "Func1"', 'enddef'], 'Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001646 so Xdef
Bram Moolenaard2c61702020-09-06 15:58:36 +02001647 writefile(['def! Func0(): string', 'enddef', 'defcompile'], 'Xdef')
Bram Moolenaar9bd5d872020-09-06 21:47:48 +02001648 assert_fails('so Xdef', 'E1027:', '', 1, 'Func0')
Bram Moolenaard2c61702020-09-06 15:58:36 +02001649 writefile(['def Func2(): string', 'return "Func2"', 'enddef'], 'Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001650 so Xdef
Bram Moolenaard2c61702020-09-06 15:58:36 +02001651 delete('Xdef')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001652
Bram Moolenaar701cc6c2021-04-10 13:33:48 +02001653 assert_fails('g:Func0()', 'E1091:')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001654 g:Func1()->assert_equal('Func1')
1655 g:Func2()->assert_equal('Func2')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001656
1657 delfunc! Func0
1658 delfunc! Func1
1659 delfunc! Func2
1660enddef
1661
Bram Moolenaarf93c7fe2020-04-23 22:16:53 +02001662def Test_vim9script_func()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001663 var lines =<< trim END
Bram Moolenaarf93c7fe2020-04-23 22:16:53 +02001664 vim9script
1665 func Func(arg)
1666 echo a:arg
1667 endfunc
1668 Func('text')
1669 END
1670 writefile(lines, 'XVim9Func')
1671 so XVim9Func
1672
1673 delete('XVim9Func')
1674enddef
1675
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001676let s:funcResult = 0
1677
1678def FuncNoArgNoRet()
Bram Moolenaar53900992020-08-22 19:02:02 +02001679 s:funcResult = 11
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001680enddef
1681
1682def FuncNoArgRetNumber(): number
Bram Moolenaar53900992020-08-22 19:02:02 +02001683 s:funcResult = 22
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001684 return 1234
1685enddef
1686
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001687def FuncNoArgRetString(): string
Bram Moolenaar53900992020-08-22 19:02:02 +02001688 s:funcResult = 45
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001689 return 'text'
1690enddef
1691
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001692def FuncOneArgNoRet(arg: number)
Bram Moolenaar53900992020-08-22 19:02:02 +02001693 s:funcResult = arg
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001694enddef
1695
1696def FuncOneArgRetNumber(arg: number): number
Bram Moolenaar53900992020-08-22 19:02:02 +02001697 s:funcResult = arg
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001698 return arg
1699enddef
1700
Bram Moolenaar08938ee2020-04-11 23:17:17 +02001701def FuncTwoArgNoRet(one: bool, two: number)
Bram Moolenaar53900992020-08-22 19:02:02 +02001702 s:funcResult = two
Bram Moolenaar08938ee2020-04-11 23:17:17 +02001703enddef
1704
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001705def FuncOneArgRetString(arg: string): string
1706 return arg
1707enddef
1708
Bram Moolenaar89228602020-04-05 22:14:54 +02001709def FuncOneArgRetAny(arg: any): any
1710 return arg
1711enddef
1712
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001713def Test_func_type()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001714 var Ref1: func()
Bram Moolenaar53900992020-08-22 19:02:02 +02001715 s:funcResult = 0
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001716 Ref1 = FuncNoArgNoRet
1717 Ref1()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001718 s:funcResult->assert_equal(11)
Bram Moolenaar4c683752020-04-05 21:38:23 +02001719
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001720 var Ref2: func
Bram Moolenaar53900992020-08-22 19:02:02 +02001721 s:funcResult = 0
Bram Moolenaar4c683752020-04-05 21:38:23 +02001722 Ref2 = FuncNoArgNoRet
1723 Ref2()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001724 s:funcResult->assert_equal(11)
Bram Moolenaar4c683752020-04-05 21:38:23 +02001725
Bram Moolenaar53900992020-08-22 19:02:02 +02001726 s:funcResult = 0
Bram Moolenaar4c683752020-04-05 21:38:23 +02001727 Ref2 = FuncOneArgNoRet
1728 Ref2(12)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001729 s:funcResult->assert_equal(12)
Bram Moolenaar4c683752020-04-05 21:38:23 +02001730
Bram Moolenaar53900992020-08-22 19:02:02 +02001731 s:funcResult = 0
Bram Moolenaar4c683752020-04-05 21:38:23 +02001732 Ref2 = FuncNoArgRetNumber
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001733 Ref2()->assert_equal(1234)
1734 s:funcResult->assert_equal(22)
Bram Moolenaar4c683752020-04-05 21:38:23 +02001735
Bram Moolenaar53900992020-08-22 19:02:02 +02001736 s:funcResult = 0
Bram Moolenaar4c683752020-04-05 21:38:23 +02001737 Ref2 = FuncOneArgRetNumber
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001738 Ref2(13)->assert_equal(13)
1739 s:funcResult->assert_equal(13)
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001740enddef
1741
Bram Moolenaar9978d472020-07-05 16:01:56 +02001742def Test_repeat_return_type()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001743 var res = 0
Bram Moolenaar9978d472020-07-05 16:01:56 +02001744 for n in repeat([1], 3)
1745 res += n
1746 endfor
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001747 res->assert_equal(3)
Bram Moolenaarfce82b32020-07-05 16:07:21 +02001748
1749 res = 0
1750 for n in add([1, 2], 3)
1751 res += n
1752 endfor
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001753 res->assert_equal(6)
Bram Moolenaar9978d472020-07-05 16:01:56 +02001754enddef
1755
Bram Moolenaar846178a2020-07-05 17:04:13 +02001756def Test_argv_return_type()
1757 next fileone filetwo
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001758 var res = ''
Bram Moolenaar846178a2020-07-05 17:04:13 +02001759 for name in argv()
1760 res ..= name
1761 endfor
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001762 res->assert_equal('fileonefiletwo')
Bram Moolenaar846178a2020-07-05 17:04:13 +02001763enddef
1764
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001765def Test_func_type_part()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001766 var RefVoid: func: void
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001767 RefVoid = FuncNoArgNoRet
1768 RefVoid = FuncOneArgNoRet
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001769 CheckDefFailure(['var RefVoid: func: void', 'RefVoid = FuncNoArgRetNumber'], 'E1012: Type mismatch; expected func(...) but got func(): number')
1770 CheckDefFailure(['var RefVoid: func: void', 'RefVoid = FuncNoArgRetString'], 'E1012: Type mismatch; expected func(...) but got func(): string')
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001771
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001772 var RefAny: func(): any
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001773 RefAny = FuncNoArgRetNumber
1774 RefAny = FuncNoArgRetString
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001775 CheckDefFailure(['var RefAny: func(): any', 'RefAny = FuncNoArgNoRet'], 'E1012: Type mismatch; expected func(): any but got func()')
1776 CheckDefFailure(['var RefAny: func(): any', 'RefAny = FuncOneArgNoRet'], 'E1012: Type mismatch; expected func(): any but got func(number)')
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001777
Bram Moolenaar6abd3dc2020-10-04 14:17:32 +02001778 var RefAnyNoArgs: func: any = RefAny
1779
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001780 var RefNr: func: number
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001781 RefNr = FuncNoArgRetNumber
1782 RefNr = FuncOneArgRetNumber
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001783 CheckDefFailure(['var RefNr: func: number', 'RefNr = FuncNoArgNoRet'], 'E1012: Type mismatch; expected func(...): number but got func()')
1784 CheckDefFailure(['var RefNr: func: number', 'RefNr = FuncNoArgRetString'], 'E1012: Type mismatch; expected func(...): number but got func(): string')
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001785
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001786 var RefStr: func: string
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001787 RefStr = FuncNoArgRetString
1788 RefStr = FuncOneArgRetString
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001789 CheckDefFailure(['var RefStr: func: string', 'RefStr = FuncNoArgNoRet'], 'E1012: Type mismatch; expected func(...): string but got func()')
1790 CheckDefFailure(['var RefStr: func: string', 'RefStr = FuncNoArgRetNumber'], 'E1012: Type mismatch; expected func(...): string but got func(): number')
Bram Moolenaarec5929d2020-04-07 20:53:39 +02001791enddef
1792
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001793def Test_func_type_fails()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001794 CheckDefFailure(['var ref1: func()'], 'E704:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001795
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001796 CheckDefFailure(['var Ref1: func()', 'Ref1 = FuncNoArgRetNumber'], 'E1012: Type mismatch; expected func() but got func(): number')
1797 CheckDefFailure(['var Ref1: func()', 'Ref1 = FuncOneArgNoRet'], 'E1012: Type mismatch; expected func() but got func(number)')
1798 CheckDefFailure(['var Ref1: func()', 'Ref1 = FuncOneArgRetNumber'], 'E1012: Type mismatch; expected func() but got func(number): number')
1799 CheckDefFailure(['var Ref1: func(bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1012: Type mismatch; expected func(bool) but got func(bool, number)')
1800 CheckDefFailure(['var Ref1: func(?bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1012: Type mismatch; expected func(?bool) but got func(bool, number)')
1801 CheckDefFailure(['var Ref1: func(...bool)', 'Ref1 = FuncTwoArgNoRet'], 'E1012: Type mismatch; expected func(...bool) but got func(bool, number)')
Bram Moolenaar08938ee2020-04-11 23:17:17 +02001802
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001803 CheckDefFailure(['var RefWrong: func(string ,number)'], 'E1068:')
1804 CheckDefFailure(['var RefWrong: func(string,number)'], 'E1069:')
1805 CheckDefFailure(['var RefWrong: func(bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool)'], 'E1005:')
1806 CheckDefFailure(['var RefWrong: func(bool):string'], 'E1069:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001807enddef
1808
Bram Moolenaar89228602020-04-05 22:14:54 +02001809def Test_func_return_type()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001810 var nr: number
Bram Moolenaar89228602020-04-05 22:14:54 +02001811 nr = FuncNoArgRetNumber()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001812 nr->assert_equal(1234)
Bram Moolenaar89228602020-04-05 22:14:54 +02001813
1814 nr = FuncOneArgRetAny(122)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001815 nr->assert_equal(122)
Bram Moolenaar89228602020-04-05 22:14:54 +02001816
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001817 var str: string
Bram Moolenaar89228602020-04-05 22:14:54 +02001818 str = FuncOneArgRetAny('yes')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001819 str->assert_equal('yes')
Bram Moolenaar89228602020-04-05 22:14:54 +02001820
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001821 CheckDefFailure(['var str: string', 'str = FuncNoArgRetNumber()'], 'E1012: Type mismatch; expected string but got number')
Bram Moolenaar89228602020-04-05 22:14:54 +02001822enddef
1823
Bram Moolenaar6abd3dc2020-10-04 14:17:32 +02001824def Test_func_common_type()
1825 def FuncOne(n: number): number
1826 return n
1827 enddef
1828 def FuncTwo(s: string): number
1829 return len(s)
1830 enddef
1831 def FuncThree(n: number, s: string): number
1832 return n + len(s)
1833 enddef
1834 var list = [FuncOne, FuncTwo, FuncThree]
1835 assert_equal(8, list[0](8))
1836 assert_equal(4, list[1]('word'))
1837 assert_equal(7, list[2](3, 'word'))
1838enddef
1839
Bram Moolenaar5e774c72020-04-12 21:53:00 +02001840def MultiLine(
1841 arg1: string,
1842 arg2 = 1234,
1843 ...rest: list<string>
1844 ): string
1845 return arg1 .. arg2 .. join(rest, '-')
1846enddef
1847
Bram Moolenaar2c330432020-04-13 14:41:35 +02001848def MultiLineComment(
1849 arg1: string, # comment
1850 arg2 = 1234, # comment
1851 ...rest: list<string> # comment
1852 ): string # comment
1853 return arg1 .. arg2 .. join(rest, '-')
1854enddef
1855
Bram Moolenaar5e774c72020-04-12 21:53:00 +02001856def Test_multiline()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001857 MultiLine('text')->assert_equal('text1234')
1858 MultiLine('text', 777)->assert_equal('text777')
1859 MultiLine('text', 777, 'one')->assert_equal('text777one')
1860 MultiLine('text', 777, 'one', 'two')->assert_equal('text777one-two')
Bram Moolenaar5e774c72020-04-12 21:53:00 +02001861enddef
1862
Bram Moolenaar23e03252020-04-12 22:22:31 +02001863func Test_multiline_not_vim9()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001864 call MultiLine('text')->assert_equal('text1234')
1865 call MultiLine('text', 777)->assert_equal('text777')
1866 call MultiLine('text', 777, 'one')->assert_equal('text777one')
1867 call MultiLine('text', 777, 'one', 'two')->assert_equal('text777one-two')
Bram Moolenaar23e03252020-04-12 22:22:31 +02001868endfunc
1869
Bram Moolenaar5e774c72020-04-12 21:53:00 +02001870
Bram Moolenaaree4e0c12020-04-06 21:35:05 +02001871" When using CheckScriptFailure() for the below test, E1010 is generated instead
1872" of E1056.
1873func Test_E1056_1059()
1874 let caught_1056 = 0
1875 try
1876 def F():
1877 return 1
1878 enddef
1879 catch /E1056:/
1880 let caught_1056 = 1
1881 endtry
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001882 eval caught_1056->assert_equal(1)
Bram Moolenaaree4e0c12020-04-06 21:35:05 +02001883
1884 let caught_1059 = 0
1885 try
1886 def F5(items : list)
1887 echo 'a'
1888 enddef
1889 catch /E1059:/
1890 let caught_1059 = 1
1891 endtry
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001892 eval caught_1059->assert_equal(1)
Bram Moolenaaree4e0c12020-04-06 21:35:05 +02001893endfunc
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02001894
Bram Moolenaar015f4262020-05-05 21:25:22 +02001895func DelMe()
1896 echo 'DelMe'
1897endfunc
1898
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001899def Test_error_reporting()
1900 # comment lines at the start of the function
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001901 var lines =<< trim END
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001902 " comment
1903 def Func()
1904 # comment
1905 # comment
1906 invalid
1907 enddef
1908 defcompile
1909 END
Bram Moolenaar08052222020-09-14 17:04:31 +02001910 writefile(lines, 'Xdef')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001911 try
1912 source Xdef
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001913 assert_report('should have failed')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001914 catch /E476:/
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001915 v:exception->assert_match('Invalid command: invalid')
1916 v:throwpoint->assert_match(', line 3$')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001917 endtry
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001918 delfunc! g:Func
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001919
1920 # comment lines after the start of the function
1921 lines =<< trim END
1922 " comment
1923 def Func()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001924 var x = 1234
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001925 # comment
1926 # comment
1927 invalid
1928 enddef
1929 defcompile
1930 END
Bram Moolenaar08052222020-09-14 17:04:31 +02001931 writefile(lines, 'Xdef')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001932 try
1933 source Xdef
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001934 assert_report('should have failed')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001935 catch /E476:/
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001936 v:exception->assert_match('Invalid command: invalid')
1937 v:throwpoint->assert_match(', line 4$')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001938 endtry
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001939 delfunc! g:Func
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001940
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001941 lines =<< trim END
1942 vim9script
1943 def Func()
Bram Moolenaare0de1712020-12-02 17:36:54 +01001944 var db = {foo: 1, bar: 2}
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001945 # comment
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001946 var x = db.asdf
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001947 enddef
1948 defcompile
1949 Func()
1950 END
Bram Moolenaar08052222020-09-14 17:04:31 +02001951 writefile(lines, 'Xdef')
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001952 try
1953 source Xdef
1954 assert_report('should have failed')
1955 catch /E716:/
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001956 v:throwpoint->assert_match('_Func, line 3$')
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001957 endtry
Bram Moolenaar2d870f82020-12-05 13:41:01 +01001958 delfunc! g:Func
Bram Moolenaar7517ffd2020-08-14 18:35:07 +02001959
Bram Moolenaar08052222020-09-14 17:04:31 +02001960 delete('Xdef')
Bram Moolenaarbf8feb52020-08-08 14:26:31 +02001961enddef
1962
Bram Moolenaar015f4262020-05-05 21:25:22 +02001963def Test_deleted_function()
1964 CheckDefExecFailure([
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001965 'var RefMe: func = function("g:DelMe")',
Bram Moolenaar015f4262020-05-05 21:25:22 +02001966 'delfunc g:DelMe',
1967 'echo RefMe()'], 'E117:')
1968enddef
1969
1970def Test_unknown_function()
1971 CheckDefExecFailure([
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001972 'var Ref: func = function("NotExist")',
Bram Moolenaar9b7bf9e2020-07-11 22:14:59 +02001973 'delfunc g:NotExist'], 'E700:')
Bram Moolenaar015f4262020-05-05 21:25:22 +02001974enddef
1975
Bram Moolenaar328eac22021-01-07 19:23:08 +01001976def RefFunc(Ref: func(any): any): string
Bram Moolenaarc8cd2b32020-05-01 19:29:08 +02001977 return Ref('more')
1978enddef
1979
1980def Test_closure_simple()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001981 var local = 'some '
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001982 RefFunc((s) => local .. s)->assert_equal('some more')
Bram Moolenaarc8cd2b32020-05-01 19:29:08 +02001983enddef
1984
Bram Moolenaarbf67ea12020-05-02 17:52:42 +02001985def MakeRef()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001986 var local = 'some '
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001987 g:Ref = (s) => local .. s
Bram Moolenaarbf67ea12020-05-02 17:52:42 +02001988enddef
1989
1990def Test_closure_ref_after_return()
1991 MakeRef()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02001992 g:Ref('thing')->assert_equal('some thing')
Bram Moolenaarbf67ea12020-05-02 17:52:42 +02001993 unlet g:Ref
1994enddef
1995
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02001996def MakeTwoRefs()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02001997 var local = ['some']
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01001998 g:Extend = (s) => local->add(s)
1999 g:Read = () => local
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002000enddef
2001
2002def Test_closure_two_refs()
2003 MakeTwoRefs()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002004 join(g:Read(), ' ')->assert_equal('some')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002005 g:Extend('more')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002006 join(g:Read(), ' ')->assert_equal('some more')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002007 g:Extend('even')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002008 join(g:Read(), ' ')->assert_equal('some more even')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002009
2010 unlet g:Extend
2011 unlet g:Read
2012enddef
2013
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002014def ReadRef(Ref: func(): list<string>): string
2015 return join(Ref(), ' ')
2016enddef
2017
Bram Moolenaar5e654232020-09-16 15:22:00 +02002018def ExtendRef(Ref: func(string): list<string>, add: string)
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002019 Ref(add)
2020enddef
2021
2022def Test_closure_two_indirect_refs()
Bram Moolenaarf7779c62020-05-03 15:38:16 +02002023 MakeTwoRefs()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002024 ReadRef(g:Read)->assert_equal('some')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002025 ExtendRef(g:Extend, 'more')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002026 ReadRef(g:Read)->assert_equal('some more')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002027 ExtendRef(g:Extend, 'even')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002028 ReadRef(g:Read)->assert_equal('some more even')
Bram Moolenaar5adc55c2020-05-02 23:12:58 +02002029
2030 unlet g:Extend
2031 unlet g:Read
2032enddef
Bram Moolenaarbf67ea12020-05-02 17:52:42 +02002033
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002034def MakeArgRefs(theArg: string)
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002035 var local = 'loc_val'
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002036 g:UseArg = (s) => theArg .. '/' .. local .. '/' .. s
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002037enddef
2038
2039def MakeArgRefsVarargs(theArg: string, ...rest: list<string>)
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002040 var local = 'the_loc'
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002041 g:UseVararg = (s) => theArg .. '/' .. local .. '/' .. s .. '/' .. join(rest)
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002042enddef
2043
2044def Test_closure_using_argument()
2045 MakeArgRefs('arg_val')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002046 g:UseArg('call_val')->assert_equal('arg_val/loc_val/call_val')
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002047
2048 MakeArgRefsVarargs('arg_val', 'one', 'two')
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002049 g:UseVararg('call_val')->assert_equal('arg_val/the_loc/call_val/one two')
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002050
2051 unlet g:UseArg
2052 unlet g:UseVararg
Bram Moolenaar44ec21c2021-02-12 21:50:57 +01002053
2054 var lines =<< trim END
2055 vim9script
2056 def Test(Fun: func(number): number): list<number>
2057 return map([1, 2, 3], (_, i) => Fun(i))
2058 enddef
2059 def Inc(nr: number): number
2060 return nr + 2
2061 enddef
2062 assert_equal([3, 4, 5], Test(Inc))
2063 END
2064 CheckScriptSuccess(lines)
Bram Moolenaar2fd4cd72020-05-03 22:30:49 +02002065enddef
2066
Bram Moolenaar85d5e2b2020-10-10 14:13:01 +02002067def MakeGetAndAppendRefs()
2068 var local = 'a'
2069
2070 def Append(arg: string)
2071 local ..= arg
2072 enddef
2073 g:Append = Append
2074
2075 def Get(): string
2076 return local
2077 enddef
2078 g:Get = Get
2079enddef
2080
2081def Test_closure_append_get()
2082 MakeGetAndAppendRefs()
2083 g:Get()->assert_equal('a')
2084 g:Append('-b')
2085 g:Get()->assert_equal('a-b')
2086 g:Append('-c')
2087 g:Get()->assert_equal('a-b-c')
2088
2089 unlet g:Append
2090 unlet g:Get
2091enddef
Bram Moolenaarb68b3462020-05-06 21:06:30 +02002092
Bram Moolenaar04b12692020-05-04 23:24:44 +02002093def Test_nested_closure()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002094 var local = 'text'
Bram Moolenaar04b12692020-05-04 23:24:44 +02002095 def Closure(arg: string): string
2096 return local .. arg
2097 enddef
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002098 Closure('!!!')->assert_equal('text!!!')
Bram Moolenaar04b12692020-05-04 23:24:44 +02002099enddef
2100
Bram Moolenaar6f5b6df2020-05-16 21:20:12 +02002101func GetResult(Ref)
2102 return a:Ref('some')
2103endfunc
2104
2105def Test_call_closure_not_compiled()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002106 var text = 'text'
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002107 g:Ref = (s) => s .. text
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002108 GetResult(g:Ref)->assert_equal('sometext')
Bram Moolenaar6f5b6df2020-05-16 21:20:12 +02002109enddef
2110
Bram Moolenaar7cbfaa52020-09-18 21:25:32 +02002111def Test_double_closure_fails()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002112 var lines =<< trim END
Bram Moolenaar7cbfaa52020-09-18 21:25:32 +02002113 vim9script
2114 def Func()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002115 var name = 0
2116 for i in range(2)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002117 timer_start(0, () => name)
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002118 endfor
Bram Moolenaar7cbfaa52020-09-18 21:25:32 +02002119 enddef
2120 Func()
2121 END
Bram Moolenaar148ce7a2020-09-23 21:57:23 +02002122 CheckScriptSuccess(lines)
Bram Moolenaar7cbfaa52020-09-18 21:25:32 +02002123enddef
2124
Bram Moolenaar85d5e2b2020-10-10 14:13:01 +02002125def Test_nested_closure_used()
2126 var lines =<< trim END
2127 vim9script
2128 def Func()
2129 var x = 'hello'
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002130 var Closure = () => x
2131 g:Myclosure = () => Closure()
Bram Moolenaar85d5e2b2020-10-10 14:13:01 +02002132 enddef
2133 Func()
2134 assert_equal('hello', g:Myclosure())
2135 END
2136 CheckScriptSuccess(lines)
2137enddef
Bram Moolenaar0876c782020-10-07 19:08:04 +02002138
Bram Moolenaarc70bdab2020-09-26 19:59:38 +02002139def Test_nested_closure_fails()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002140 var lines =<< trim END
Bram Moolenaarc70bdab2020-09-26 19:59:38 +02002141 vim9script
2142 def FuncA()
2143 FuncB(0)
2144 enddef
2145 def FuncB(n: number): list<string>
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002146 return map([0], (_, v) => n)
Bram Moolenaarc70bdab2020-09-26 19:59:38 +02002147 enddef
2148 FuncA()
2149 END
2150 CheckScriptFailure(lines, 'E1012:')
2151enddef
2152
Bram Moolenaarf112f302020-12-20 17:47:52 +01002153def Test_global_closure()
2154 var lines =<< trim END
2155 vim9script
2156 def ReverseEveryNLines(n: number, line1: number, line2: number)
2157 var mods = 'sil keepj keepp lockm '
2158 var range = ':' .. line1 .. ',' .. line2
2159 def g:Offset(): number
2160 var offset = (line('.') - line1 + 1) % n
2161 return offset != 0 ? offset : n
2162 enddef
2163 exe mods .. range .. 'g/^/exe "m .-" .. g:Offset()'
2164 enddef
2165
2166 new
2167 repeat(['aaa', 'bbb', 'ccc'], 3)->setline(1)
2168 ReverseEveryNLines(3, 1, 9)
2169 END
2170 CheckScriptSuccess(lines)
2171 var expected = repeat(['ccc', 'bbb', 'aaa'], 3)
2172 assert_equal(expected, getline(1, 9))
2173 bwipe!
2174enddef
2175
Bram Moolenaarcd45ed02020-12-22 17:35:54 +01002176def Test_global_closure_called_directly()
2177 var lines =<< trim END
2178 vim9script
2179 def Outer()
2180 var x = 1
2181 def g:Inner()
2182 var y = x
2183 x += 1
2184 assert_equal(1, y)
2185 enddef
2186 g:Inner()
2187 assert_equal(2, x)
2188 enddef
2189 Outer()
2190 END
2191 CheckScriptSuccess(lines)
2192 delfunc g:Inner
2193enddef
2194
Bram Moolenaar34c54eb2020-11-25 19:15:19 +01002195def Test_failure_in_called_function()
2196 # this was using the frame index as the return value
2197 var lines =<< trim END
2198 vim9script
2199 au TerminalWinOpen * eval [][0]
2200 def PopupTerm(a: any)
2201 # make sure typvals on stack are string
2202 ['a', 'b', 'c', 'd', 'e', 'f', 'g']->join()
2203 FireEvent()
2204 enddef
2205 def FireEvent()
2206 do TerminalWinOpen
2207 enddef
2208 # use try/catch to make eval fail
2209 try
2210 call PopupTerm(0)
2211 catch
2212 endtry
2213 au! TerminalWinOpen
2214 END
2215 CheckScriptSuccess(lines)
2216enddef
2217
Bram Moolenaar5366e1a2020-10-01 13:01:34 +02002218def Test_nested_lambda()
2219 var lines =<< trim END
2220 vim9script
2221 def Func()
2222 var x = 4
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002223 var Lambda1 = () => 7
2224 var Lambda2 = () => [Lambda1(), x]
Bram Moolenaar5366e1a2020-10-01 13:01:34 +02002225 var res = Lambda2()
2226 assert_equal([7, 4], res)
2227 enddef
2228 Func()
2229 END
2230 CheckScriptSuccess(lines)
2231enddef
2232
Bram Moolenaarc04f2a42021-06-09 19:30:03 +02002233def Test_double_nested_lambda()
2234 var lines =<< trim END
2235 vim9script
2236 def F(head: string): func(string): func(string): string
2237 return (sep: string): func(string): string => ((tail: string): string => {
2238 return head .. sep .. tail
2239 })
2240 enddef
2241 assert_equal('hello-there', F('hello')('-')('there'))
2242 END
2243 CheckScriptSuccess(lines)
2244enddef
2245
Bram Moolenaar074f84c2021-05-18 11:47:44 +02002246def Test_nested_inline_lambda()
2247 # TODO: use the "text" argument
2248 var lines =<< trim END
2249 vim9script
2250 def F(text: string): func(string): func(string): string
2251 return (arg: string): func(string): string => ((sep: string): string => {
2252 return sep .. arg
2253 })
2254 enddef
2255 assert_equal('--there', F('unused')('there')('--'))
2256 END
2257 CheckScriptSuccess(lines)
2258enddef
2259
Bram Moolenaar52bf81c2020-11-17 18:50:44 +01002260def Shadowed(): list<number>
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002261 var FuncList: list<func: number> = [() => 42]
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002262 return FuncList->mapnew((_, Shadowed) => Shadowed())
Bram Moolenaar52bf81c2020-11-17 18:50:44 +01002263enddef
2264
2265def Test_lambda_arg_shadows_func()
2266 assert_equal([42], Shadowed())
2267enddef
2268
Bram Moolenaaracd4c5e2020-06-22 19:39:03 +02002269def Line_continuation_in_def(dir: string = ''): string
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002270 var path: string = empty(dir)
2271 \ ? 'empty'
2272 \ : 'full'
2273 return path
Bram Moolenaaracd4c5e2020-06-22 19:39:03 +02002274enddef
2275
2276def Test_line_continuation_in_def()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002277 Line_continuation_in_def('.')->assert_equal('full')
Bram Moolenaaracd4c5e2020-06-22 19:39:03 +02002278enddef
2279
Bram Moolenaar2ea95b62020-11-19 21:47:56 +01002280def Test_script_var_in_lambda()
2281 var lines =<< trim END
2282 vim9script
2283 var script = 'test'
Bram Moolenaarbb8a7ce2021-04-10 20:10:26 +02002284 assert_equal(['test'], map(['one'], (_, _) => script))
Bram Moolenaar2ea95b62020-11-19 21:47:56 +01002285 END
2286 CheckScriptSuccess(lines)
2287enddef
2288
Bram Moolenaar5e654232020-09-16 15:22:00 +02002289def Line_continuation_in_lambda(): list<string>
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002290 var x = range(97, 100)
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002291 ->mapnew((_, v) => nr2char(v)
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002292 ->toupper())
Bram Moolenaar7a4b8982020-07-08 17:36:21 +02002293 ->reverse()
2294 return x
2295enddef
2296
2297def Test_line_continuation_in_lambda()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002298 Line_continuation_in_lambda()->assert_equal(['D', 'C', 'B', 'A'])
Bram Moolenaarf898f7c2021-01-16 18:09:52 +01002299
2300 var lines =<< trim END
2301 vim9script
2302 var res = [{n: 1, m: 2, s: 'xxx'}]
2303 ->mapnew((_, v: dict<any>): string => printf('%d:%d:%s',
2304 v.n,
2305 v.m,
2306 substitute(v.s, '.*', 'yyy', '')
2307 ))
2308 assert_equal(['1:2:yyy'], res)
2309 END
2310 CheckScriptSuccess(lines)
Bram Moolenaar7a4b8982020-07-08 17:36:21 +02002311enddef
2312
Bram Moolenaarb6571982021-01-08 22:24:19 +01002313def Test_list_lambda()
2314 timer_start(1000, (_) => 0)
2315 var body = execute(timer_info()[0].callback
2316 ->string()
2317 ->substitute("('", ' ', '')
2318 ->substitute("')", '', '')
2319 ->substitute('function\zs', ' ', ''))
Bram Moolenaar767034c2021-04-09 17:24:52 +02002320 assert_match('def <lambda>\d\+(_: any): number\n1 return 0\n enddef', body)
Bram Moolenaarb6571982021-01-08 22:24:19 +01002321enddef
2322
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02002323def Test_legacy_lambda()
2324 legacy echo {x -> 'hello ' .. x}('foo')
Bram Moolenaardc4c2302021-04-25 13:54:42 +02002325
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02002326 var lines =<< trim END
2327 echo {x -> 'hello ' .. x}('foo')
2328 END
2329 CheckDefAndScriptFailure(lines, 'E720:')
Bram Moolenaardc4c2302021-04-25 13:54:42 +02002330
2331 lines =<< trim END
2332 vim9script
2333 def Func()
2334 echo (() => 'no error')()
2335 enddef
2336 legacy call s:Func()
2337 END
2338 CheckScriptSuccess(lines)
Bram Moolenaar96cf4ba2021-04-24 14:15:41 +02002339enddef
2340
Bram Moolenaarce024c32021-06-26 13:00:49 +02002341def Test_legacy()
2342 var lines =<< trim END
2343 vim9script
2344 func g:LegacyFunction()
2345 let g:legacyvar = 1
2346 endfunc
2347 def Testit()
2348 legacy call g:LegacyFunction()
2349 enddef
2350 Testit()
2351 assert_equal(1, g:legacyvar)
2352 unlet g:legacyvar
2353 delfunc g:LegacyFunction
2354 END
2355 CheckScriptSuccess(lines)
2356enddef
2357
Bram Moolenaarc3cb1c92021-06-02 16:47:53 +02002358def Test_legacy_errors()
2359 for cmd in ['if', 'elseif', 'else', 'endif',
2360 'for', 'endfor', 'continue', 'break',
2361 'while', 'endwhile',
2362 'try', 'catch', 'finally', 'endtry']
2363 CheckDefFailure(['legacy ' .. cmd .. ' expr'], 'E1189:')
2364 endfor
2365enddef
2366
Bram Moolenaarab360522021-01-10 14:02:28 +01002367def DoFilterThis(a: string): list<string>
2368 # closure nested inside another closure using argument
2369 var Filter = (l) => filter(l, (_, v) => stridx(v, a) == 0)
2370 return ['x', 'y', 'a', 'x2', 'c']->Filter()
2371enddef
2372
2373def Test_nested_closure_using_argument()
2374 assert_equal(['x', 'x2'], DoFilterThis('x'))
2375enddef
2376
Bram Moolenaar0186e582021-01-10 18:33:11 +01002377def Test_triple_nested_closure()
2378 var what = 'x'
2379 var Match = (val: string, cmp: string): bool => stridx(val, cmp) == 0
2380 var Filter = (l) => filter(l, (_, v) => Match(v, what))
2381 assert_equal(['x', 'x2'], ['x', 'y', 'a', 'x2', 'c']->Filter())
2382enddef
2383
Bram Moolenaar8f510af2020-07-05 18:48:23 +02002384func Test_silent_echo()
Bram Moolenaar47e7d702020-07-05 18:18:42 +02002385 CheckScreendump
2386
2387 let lines =<< trim END
2388 vim9script
2389 def EchoNothing()
2390 silent echo ''
2391 enddef
2392 defcompile
2393 END
Bram Moolenaar8f510af2020-07-05 18:48:23 +02002394 call writefile(lines, 'XTest_silent_echo')
Bram Moolenaar47e7d702020-07-05 18:18:42 +02002395
2396 " Check that the balloon shows up after a mouse move
2397 let buf = RunVimInTerminal('-S XTest_silent_echo', {'rows': 6})
Bram Moolenaar8f510af2020-07-05 18:48:23 +02002398 call term_sendkeys(buf, ":abc")
Bram Moolenaar47e7d702020-07-05 18:18:42 +02002399 call VerifyScreenDump(buf, 'Test_vim9_silent_echo', {})
2400
2401 " clean up
2402 call StopVimInTerminal(buf)
2403 call delete('XTest_silent_echo')
Bram Moolenaar8f510af2020-07-05 18:48:23 +02002404endfunc
Bram Moolenaar47e7d702020-07-05 18:18:42 +02002405
Bram Moolenaar171fb922020-10-28 16:54:47 +01002406def SilentlyError()
2407 execute('silent! invalid')
2408 g:did_it = 'yes'
2409enddef
2410
Bram Moolenaar28ee8922020-10-28 20:20:00 +01002411func UserError()
2412 silent! invalid
2413endfunc
2414
2415def SilentlyUserError()
2416 UserError()
2417 g:did_it = 'yes'
2418enddef
Bram Moolenaar171fb922020-10-28 16:54:47 +01002419
2420" This can't be a :def function, because the assert would not be reached.
Bram Moolenaar171fb922020-10-28 16:54:47 +01002421func Test_ignore_silent_error()
2422 let g:did_it = 'no'
2423 call SilentlyError()
2424 call assert_equal('yes', g:did_it)
2425
Bram Moolenaar28ee8922020-10-28 20:20:00 +01002426 let g:did_it = 'no'
2427 call SilentlyUserError()
2428 call assert_equal('yes', g:did_it)
Bram Moolenaar171fb922020-10-28 16:54:47 +01002429
2430 unlet g:did_it
2431endfunc
2432
Bram Moolenaarcd030c42020-10-30 21:49:40 +01002433def Test_ignore_silent_error_in_filter()
2434 var lines =<< trim END
2435 vim9script
2436 def Filter(winid: number, key: string): bool
2437 if key == 'o'
2438 silent! eval [][0]
2439 return true
2440 endif
2441 return popup_filter_menu(winid, key)
2442 enddef
2443
Bram Moolenaare0de1712020-12-02 17:36:54 +01002444 popup_create('popup', {filter: Filter})
Bram Moolenaarcd030c42020-10-30 21:49:40 +01002445 feedkeys("o\r", 'xnt')
2446 END
2447 CheckScriptSuccess(lines)
2448enddef
2449
Bram Moolenaar4b9bd692020-09-05 21:57:53 +02002450def Fibonacci(n: number): number
2451 if n < 2
2452 return n
2453 else
2454 return Fibonacci(n - 1) + Fibonacci(n - 2)
2455 endif
2456enddef
2457
Bram Moolenaar985116a2020-07-12 17:31:09 +02002458def Test_recursive_call()
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002459 Fibonacci(20)->assert_equal(6765)
Bram Moolenaar985116a2020-07-12 17:31:09 +02002460enddef
2461
Bram Moolenaar08f7a412020-07-13 20:41:08 +02002462def TreeWalk(dir: string): list<any>
Bram Moolenaar75ab91f2021-01-10 22:42:50 +01002463 return readdir(dir)->mapnew((_, val) =>
Bram Moolenaar08f7a412020-07-13 20:41:08 +02002464 fnamemodify(dir .. '/' .. val, ':p')->isdirectory()
Bram Moolenaar2bede172020-11-19 18:53:18 +01002465 ? {[val]: TreeWalk(dir .. '/' .. val)}
Bram Moolenaar08f7a412020-07-13 20:41:08 +02002466 : val
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002467 )
Bram Moolenaar08f7a412020-07-13 20:41:08 +02002468enddef
2469
2470def Test_closure_in_map()
2471 mkdir('XclosureDir/tdir', 'p')
2472 writefile(['111'], 'XclosureDir/file1')
2473 writefile(['222'], 'XclosureDir/file2')
2474 writefile(['333'], 'XclosureDir/tdir/file3')
2475
Bram Moolenaare0de1712020-12-02 17:36:54 +01002476 TreeWalk('XclosureDir')->assert_equal(['file1', 'file2', {tdir: ['file3']}])
Bram Moolenaar08f7a412020-07-13 20:41:08 +02002477
2478 delete('XclosureDir', 'rf')
2479enddef
2480
Bram Moolenaar7b5d5442020-10-04 13:42:34 +02002481def Test_invalid_function_name()
2482 var lines =<< trim END
2483 vim9script
2484 def s: list<string>
2485 END
2486 CheckScriptFailure(lines, 'E129:')
2487
2488 lines =<< trim END
2489 vim9script
2490 def g: list<string>
2491 END
2492 CheckScriptFailure(lines, 'E129:')
2493
2494 lines =<< trim END
2495 vim9script
2496 def <SID>: list<string>
2497 END
2498 CheckScriptFailure(lines, 'E884:')
2499
2500 lines =<< trim END
2501 vim9script
2502 def F list<string>
2503 END
2504 CheckScriptFailure(lines, 'E488:')
2505enddef
2506
Bram Moolenaara90afb92020-07-15 22:38:56 +02002507def Test_partial_call()
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002508 var Xsetlist = function('setloclist', [0])
Bram Moolenaare0de1712020-12-02 17:36:54 +01002509 Xsetlist([], ' ', {title: 'test'})
2510 getloclist(0, {title: 1})->assert_equal({title: 'test'})
Bram Moolenaara90afb92020-07-15 22:38:56 +02002511
2512 Xsetlist = function('setloclist', [0, [], ' '])
Bram Moolenaare0de1712020-12-02 17:36:54 +01002513 Xsetlist({title: 'test'})
2514 getloclist(0, {title: 1})->assert_equal({title: 'test'})
Bram Moolenaara90afb92020-07-15 22:38:56 +02002515
2516 Xsetlist = function('setqflist')
Bram Moolenaare0de1712020-12-02 17:36:54 +01002517 Xsetlist([], ' ', {title: 'test'})
2518 getqflist({title: 1})->assert_equal({title: 'test'})
Bram Moolenaara90afb92020-07-15 22:38:56 +02002519
2520 Xsetlist = function('setqflist', [[], ' '])
Bram Moolenaare0de1712020-12-02 17:36:54 +01002521 Xsetlist({title: 'test'})
2522 getqflist({title: 1})->assert_equal({title: 'test'})
Bram Moolenaar6abd3dc2020-10-04 14:17:32 +02002523
2524 var Len: func: number = function('len', ['word'])
2525 assert_equal(4, Len())
Bram Moolenaara90afb92020-07-15 22:38:56 +02002526enddef
2527
Bram Moolenaar2dd0a2c2020-08-08 15:10:27 +02002528def Test_cmd_modifier()
2529 tab echo '0'
Bram Moolenaard2c61702020-09-06 15:58:36 +02002530 CheckDefFailure(['5tab echo 3'], 'E16:')
Bram Moolenaar2dd0a2c2020-08-08 15:10:27 +02002531enddef
2532
2533def Test_restore_modifiers()
2534 # check that when compiling a :def function command modifiers are not messed
2535 # up.
Bram Moolenaar7a9cbca2020-09-27 22:47:05 +02002536 var lines =<< trim END
Bram Moolenaar2dd0a2c2020-08-08 15:10:27 +02002537 vim9script
2538 set eventignore=
2539 autocmd QuickFixCmdPost * copen
2540 def AutocmdsDisabled()
Bram Moolenaar6cf7e3b2020-10-28 14:31:16 +01002541 eval 0
Bram Moolenaar2dd0a2c2020-08-08 15:10:27 +02002542 enddef
2543 func Func()
2544 noautocmd call s:AutocmdsDisabled()
2545 let g:ei_after = &eventignore
2546 endfunc
2547 Func()
2548 END
2549 CheckScriptSuccess(lines)
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002550 g:ei_after->assert_equal('')
Bram Moolenaar2dd0a2c2020-08-08 15:10:27 +02002551enddef
2552
Bram Moolenaardfa3d552020-09-10 22:05:08 +02002553def StackTop()
2554 eval 1
2555 eval 2
2556 # call not on fourth line
2557 StackBot()
2558enddef
2559
2560def StackBot()
2561 # throw an error
2562 eval [][0]
2563enddef
2564
2565def Test_callstack_def()
2566 try
2567 StackTop()
2568 catch
Bram Moolenaarc0c71e92020-09-11 19:09:48 +02002569 v:throwpoint->assert_match('Test_callstack_def\[2\]..StackTop\[4\]..StackBot, line 2')
Bram Moolenaardfa3d552020-09-10 22:05:08 +02002570 endtry
2571enddef
2572
Bram Moolenaare8211a32020-10-09 22:04:29 +02002573" Re-using spot for variable used in block
2574def Test_block_scoped_var()
2575 var lines =<< trim END
2576 vim9script
2577 def Func()
2578 var x = ['a', 'b', 'c']
2579 if 1
2580 var y = 'x'
Bram Moolenaarbb8a7ce2021-04-10 20:10:26 +02002581 map(x, (_, _) => y)
Bram Moolenaare8211a32020-10-09 22:04:29 +02002582 endif
2583 var z = x
2584 assert_equal(['x', 'x', 'x'], z)
2585 enddef
2586 Func()
2587 END
2588 CheckScriptSuccess(lines)
2589enddef
2590
Bram Moolenaareeece9e2020-11-20 19:26:48 +01002591def Test_reset_did_emsg()
2592 var lines =<< trim END
2593 @s = 'blah'
2594 au BufWinLeave * #
2595 def Func()
2596 var winid = popup_create('popup', {})
2597 exe '*s'
2598 popup_close(winid)
2599 enddef
2600 Func()
2601 END
2602 CheckScriptFailure(lines, 'E492:', 8)
Bram Moolenaar2d870f82020-12-05 13:41:01 +01002603 delfunc! g:Func
Bram Moolenaareeece9e2020-11-20 19:26:48 +01002604enddef
2605
Bram Moolenaar57f799e2020-12-12 20:42:19 +01002606def Test_did_emsg_reset()
2607 # executing an autocommand resets did_emsg, this should not result in a
2608 # builtin function considered failing
2609 var lines =<< trim END
2610 vim9script
2611 au BufWinLeave * #
2612 def Func()
Bram Moolenaar767034c2021-04-09 17:24:52 +02002613 popup_menu('', {callback: (a, b) => popup_create('', {})->popup_close()})
Bram Moolenaar57f799e2020-12-12 20:42:19 +01002614 eval [][0]
2615 enddef
2616 nno <F3> <cmd>call <sid>Func()<cr>
2617 feedkeys("\<F3>\e", 'xt')
2618 END
2619 writefile(lines, 'XemsgReset')
2620 assert_fails('so XemsgReset', ['E684:', 'E684:'], lines, 2)
2621 delete('XemsgReset')
2622 nunmap <F3>
2623 au! BufWinLeave
2624enddef
2625
Bram Moolenaar56602ba2020-12-05 21:22:08 +01002626def Test_abort_with_silent_call()
2627 var lines =<< trim END
2628 vim9script
2629 g:result = 'none'
2630 def Func()
2631 g:result += 3
2632 g:result = 'yes'
2633 enddef
2634 # error is silenced, but function aborts on error
2635 silent! Func()
2636 assert_equal('none', g:result)
2637 unlet g:result
2638 END
2639 CheckScriptSuccess(lines)
2640enddef
2641
Bram Moolenaarf665e972020-12-05 19:17:16 +01002642def Test_continues_with_silent_error()
2643 var lines =<< trim END
2644 vim9script
2645 g:result = 'none'
2646 def Func()
2647 silent! g:result += 3
2648 g:result = 'yes'
2649 enddef
2650 # error is silenced, function does not abort
2651 Func()
2652 assert_equal('yes', g:result)
2653 unlet g:result
2654 END
2655 CheckScriptSuccess(lines)
2656enddef
2657
Bram Moolenaaraf0df472020-12-02 20:51:22 +01002658def Test_abort_even_with_silent()
2659 var lines =<< trim END
2660 vim9script
2661 g:result = 'none'
2662 def Func()
2663 eval {-> ''}() .. '' .. {}['X']
2664 g:result = 'yes'
2665 enddef
Bram Moolenaarf665e972020-12-05 19:17:16 +01002666 silent! Func()
Bram Moolenaaraf0df472020-12-02 20:51:22 +01002667 assert_equal('none', g:result)
Bram Moolenaar4029cab2020-12-05 18:13:27 +01002668 unlet g:result
2669 END
2670 CheckScriptSuccess(lines)
2671enddef
2672
Bram Moolenaarf665e972020-12-05 19:17:16 +01002673def Test_cmdmod_silent_restored()
2674 var lines =<< trim END
2675 vim9script
2676 def Func()
2677 g:result = 'none'
2678 silent! g:result += 3
2679 g:result = 'none'
2680 g:result += 3
2681 enddef
2682 Func()
2683 END
2684 # can't use CheckScriptFailure, it ignores the :silent!
2685 var fname = 'Xdefsilent'
2686 writefile(lines, fname)
2687 var caught = 'no'
2688 try
2689 exe 'source ' .. fname
2690 catch /E1030:/
2691 caught = 'yes'
2692 assert_match('Func, line 4', v:throwpoint)
2693 endtry
2694 assert_equal('yes', caught)
2695 delete(fname)
2696enddef
2697
Bram Moolenaar2fecb532021-03-24 22:00:56 +01002698def Test_cmdmod_silent_nested()
2699 var lines =<< trim END
2700 vim9script
2701 var result = ''
2702
2703 def Error()
2704 result ..= 'Eb'
2705 eval [][0]
2706 result ..= 'Ea'
2707 enddef
2708
2709 def Crash()
2710 result ..= 'Cb'
2711 sil! Error()
2712 result ..= 'Ca'
2713 enddef
2714
2715 Crash()
2716 assert_equal('CbEbEaCa', result)
2717 END
2718 CheckScriptSuccess(lines)
2719enddef
2720
Bram Moolenaar4029cab2020-12-05 18:13:27 +01002721def Test_dict_member_with_silent()
2722 var lines =<< trim END
2723 vim9script
2724 g:result = 'none'
2725 var d: dict<any>
2726 def Func()
2727 try
Bram Moolenaar2949cfd2020-12-31 21:28:47 +01002728 g:result = map([], (_, v) => ({}[v]))->join() .. d['']
Bram Moolenaar4029cab2020-12-05 18:13:27 +01002729 catch
2730 endtry
2731 enddef
2732 silent! Func()
2733 assert_equal('0', g:result)
2734 unlet g:result
Bram Moolenaaraf0df472020-12-02 20:51:22 +01002735 END
2736 CheckScriptSuccess(lines)
2737enddef
2738
Bram Moolenaarf9041332021-01-21 19:41:16 +01002739def Test_skip_cmds_with_silent()
2740 var lines =<< trim END
2741 vim9script
2742
2743 def Func(b: bool)
2744 Crash()
2745 enddef
2746
2747 def Crash()
2748 sil! :/not found/d _
2749 sil! :/not found/put _
2750 enddef
2751
2752 Func(true)
2753 END
2754 CheckScriptSuccess(lines)
2755enddef
2756
Bram Moolenaar5b3d1bb2020-12-22 12:20:08 +01002757def Test_opfunc()
2758 nnoremap <F3> <cmd>set opfunc=Opfunc<cr>g@
2759 def g:Opfunc(_: any): string
2760 setline(1, 'ASDF')
2761 return ''
2762 enddef
2763 new
2764 setline(1, 'asdf')
2765 feedkeys("\<F3>$", 'x')
2766 assert_equal('ASDF', getline(1))
2767
2768 bwipe!
2769 nunmap <F3>
2770enddef
2771
Bram Moolenaar077a4232020-12-22 18:33:27 +01002772" this was crashing on exit
2773def Test_nested_lambda_in_closure()
2774 var lines =<< trim END
2775 vim9script
Bram Moolenaar227c58a2021-04-28 20:40:44 +02002776 command WriteDone writefile(['Done'], 'XnestedDone')
Bram Moolenaar077a4232020-12-22 18:33:27 +01002777 def Outer()
2778 def g:Inner()
2779 echo map([1, 2, 3], {_, v -> v + 1})
2780 enddef
2781 g:Inner()
2782 enddef
2783 defcompile
Bram Moolenaar227c58a2021-04-28 20:40:44 +02002784 # not reached
Bram Moolenaar077a4232020-12-22 18:33:27 +01002785 END
Bram Moolenaar227c58a2021-04-28 20:40:44 +02002786 if !RunVim([], lines, '--clean -c WriteDone -c quit')
Bram Moolenaar077a4232020-12-22 18:33:27 +01002787 return
2788 endif
2789 assert_equal(['Done'], readfile('XnestedDone'))
2790 delete('XnestedDone')
2791enddef
2792
Bram Moolenaar04947cc2021-03-06 19:26:46 +01002793def Test_check_func_arg_types()
2794 var lines =<< trim END
2795 vim9script
2796 def F1(x: string): string
2797 return x
2798 enddef
2799
2800 def F2(x: number): number
2801 return x + 1
2802 enddef
2803
2804 def G(g: func): dict<func>
2805 return {f: g}
2806 enddef
2807
2808 def H(d: dict<func>): string
2809 return d.f('a')
2810 enddef
2811 END
2812
2813 CheckScriptSuccess(lines + ['echo H(G(F1))'])
2814 CheckScriptFailure(lines + ['echo H(G(F2))'], 'E1013:')
2815enddef
2816
Bram Moolenaar701cc6c2021-04-10 13:33:48 +02002817def Test_compile_error()
2818 var lines =<< trim END
2819 def g:Broken()
2820 echo 'a' + {}
2821 enddef
2822 call g:Broken()
2823 END
2824 # First call: compilation error
2825 CheckScriptFailure(lines, 'E1051: Wrong argument type for +')
2826
2827 # Second call won't try compiling again
2828 assert_fails('call g:Broken()', 'E1091: Function is not compiled: Broken')
Bram Moolenaar599410c2021-04-10 14:03:43 +02002829 delfunc g:Broken
2830
2831 # No error when compiling with :silent!
2832 lines =<< trim END
2833 def g:Broken()
2834 echo 'a' + []
2835 enddef
2836 silent! defcompile
2837 END
2838 CheckScriptSuccess(lines)
2839
2840 # Calling the function won't try compiling again
2841 assert_fails('call g:Broken()', 'E1091: Function is not compiled: Broken')
2842 delfunc g:Broken
Bram Moolenaar701cc6c2021-04-10 13:33:48 +02002843enddef
2844
Bram Moolenaar962c43b2021-04-10 17:18:09 +02002845def Test_ignored_argument()
2846 var lines =<< trim END
2847 vim9script
2848 def Ignore(_, _): string
2849 return 'yes'
2850 enddef
2851 assert_equal('yes', Ignore(1, 2))
2852
2853 func Ok(_)
2854 return a:_
2855 endfunc
2856 assert_equal('ok', Ok('ok'))
2857
2858 func Oktoo()
2859 let _ = 'too'
2860 return _
2861 endfunc
2862 assert_equal('too', Oktoo())
Bram Moolenaarda479c72021-04-10 21:01:38 +02002863
2864 assert_equal([[1], [2], [3]], range(3)->mapnew((_, v) => [v]->map((_, w) => w + 1)))
Bram Moolenaar962c43b2021-04-10 17:18:09 +02002865 END
2866 CheckScriptSuccess(lines)
2867
2868 lines =<< trim END
2869 def Ignore(_: string): string
2870 return _
2871 enddef
2872 defcompile
2873 END
2874 CheckScriptFailure(lines, 'E1181:', 1)
2875
2876 lines =<< trim END
2877 var _ = 1
2878 END
2879 CheckDefAndScriptFailure(lines, 'E1181:', 1)
Yegappan Lakshmanan34fcb692021-05-25 20:14:00 +02002880
2881 lines =<< trim END
2882 var x = _
2883 END
2884 CheckDefAndScriptFailure(lines, 'E1181:', 1)
Bram Moolenaar962c43b2021-04-10 17:18:09 +02002885enddef
2886
Bram Moolenaarbb8a7ce2021-04-10 20:10:26 +02002887def Test_too_many_arguments()
2888 var lines =<< trim END
2889 echo [0, 1, 2]->map(() => 123)
2890 END
2891 CheckDefExecAndScriptFailure(lines, 'E1106: 2 arguments too many', 1)
2892
2893 lines =<< trim END
2894 echo [0, 1, 2]->map((_) => 123)
2895 END
2896 CheckDefExecAndScriptFailure(lines, 'E1106: One argument too many', 1)
2897enddef
Bram Moolenaar077a4232020-12-22 18:33:27 +01002898
Bram Moolenaara6aa1642021-04-23 19:32:23 +02002899def Test_closing_brace_at_start_of_line()
2900 var lines =<< trim END
2901 def Func()
2902 enddef
2903 Func(
2904 )
2905 END
2906 call CheckDefAndScriptSuccess(lines)
2907enddef
2908
Bram Moolenaar20677332021-06-06 17:02:53 +02002909if has('python3')
2910 def Test_python3_heredoc()
2911 py3 << trim EOF
2912 import vim
2913 vim.vars['didit'] = 'yes'
2914 EOF
2915 assert_equal('yes', g:didit)
2916
2917 python3 << trim EOF
2918 import vim
2919 vim.vars['didit'] = 'again'
2920 EOF
2921 assert_equal('again', g:didit)
2922 enddef
2923endif
2924
2925" This messes up syntax highlight, keep near the end.
2926if has('lua')
2927 def Test_lua_heredoc()
2928 g:d = {}
2929 lua << trim EOF
2930 x = vim.eval('g:d')
2931 x['key'] = 'val'
2932 EOF
2933 assert_equal('val', g:d.key)
2934 enddef
2935endif
2936
Bram Moolenaarf7779c62020-05-03 15:38:16 +02002937
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +02002938" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker