1" Test using builtin functions in the Vim9 script language.
2
3source check.vim
4source vim9.vim
5
6" Test for passing too many or too few arguments to builtin functions
7func Test_internalfunc_arg_error()
8  let l =<< trim END
9    def! FArgErr(): float
10      return ceil(1.1, 2)
11    enddef
12    defcompile
13  END
14  call writefile(l, 'Xinvalidarg')
15  call assert_fails('so Xinvalidarg', 'E118:', '', 1, 'FArgErr')
16  let l =<< trim END
17    def! FArgErr(): float
18      return ceil()
19    enddef
20    defcompile
21  END
22  call writefile(l, 'Xinvalidarg')
23  call assert_fails('so Xinvalidarg', 'E119:', '', 1, 'FArgErr')
24  call delete('Xinvalidarg')
25endfunc
26
27" Test for builtin functions returning different types
28func Test_InternalFuncRetType()
29  let lines =<< trim END
30    def RetFloat(): float
31      return ceil(1.456)
32    enddef
33
34    def RetListAny(): list<any>
35      return items({k: 'v'})
36    enddef
37
38    def RetListString(): list<string>
39      return split('a:b:c', ':')
40    enddef
41
42    def RetListDictAny(): list<dict<any>>
43      return getbufinfo()
44    enddef
45
46    def RetDictNumber(): dict<number>
47      return wordcount()
48    enddef
49
50    def RetDictString(): dict<string>
51      return environ()
52    enddef
53  END
54  call writefile(lines, 'Xscript')
55  source Xscript
56
57  call RetFloat()->assert_equal(2.0)
58  call RetListAny()->assert_equal([['k', 'v']])
59  call RetListString()->assert_equal(['a', 'b', 'c'])
60  call RetListDictAny()->assert_notequal([])
61  call RetDictNumber()->assert_notequal({})
62  call RetDictString()->assert_notequal({})
63  call delete('Xscript')
64endfunc
65
66def Test_abs()
67  assert_equal(0, abs(0))
68  assert_equal(2, abs(-2))
69  assert_equal(3, abs(3))
70  CheckDefFailure(['abs("text")'], 'E1013: Argument 1: type mismatch, expected number but got string', 1)
71  if has('float')
72    assert_equal(0, abs(0))
73    assert_equal(2.0, abs(-2.0))
74    assert_equal(3.0, abs(3.0))
75  endif
76enddef
77
78def Test_add_list()
79  var l: list<number>  # defaults to empty list
80  add(l, 9)
81  assert_equal([9], l)
82
83  var lines =<< trim END
84      var l: list<number>
85      add(l, "x")
86  END
87  CheckDefFailure(lines, 'E1012:', 2)
88
89  lines =<< trim END
90      var l: list<number> = test_null_list()
91      add(l, 123)
92  END
93  CheckDefExecFailure(lines, 'E1130:', 2)
94enddef
95
96def Test_add_blob()
97  var b1: blob = 0z12
98  add(b1, 0x34)
99  assert_equal(0z1234, b1)
100
101  var b2: blob # defaults to empty blob
102  add(b2, 0x67)
103  assert_equal(0z67, b2)
104
105  var lines =<< trim END
106      var b: blob
107      add(b, "x")
108  END
109  CheckDefFailure(lines, 'E1012:', 2)
110
111  lines =<< trim END
112      var b: blob = test_null_blob()
113      add(b, 123)
114  END
115  CheckDefExecFailure(lines, 'E1131:', 2)
116enddef
117
118def Test_append()
119  new
120  setline(1, range(3))
121  var res1: number = append(1, 'one')
122  assert_equal(0, res1)
123  var res2: bool = append(3, 'two')
124  assert_equal(false, res2)
125  assert_equal(['0', 'one', '1', 'two', '2'], getline(1, 6))
126enddef
127
128def Test_buflisted()
129  var res: bool = buflisted('asdf')
130  assert_equal(false, res)
131enddef
132
133def Test_bufname()
134  split SomeFile
135  bufname('%')->assert_equal('SomeFile')
136  edit OtherFile
137  bufname('#')->assert_equal('SomeFile')
138  close
139enddef
140
141def Test_bufnr()
142  var buf = bufnr()
143  bufnr('%')->assert_equal(buf)
144
145  buf = bufnr('Xdummy', true)
146  buf->assert_notequal(-1)
147  exe 'bwipe! ' .. buf
148enddef
149
150def Test_bufwinid()
151  var origwin = win_getid()
152  below split SomeFile
153  var SomeFileID = win_getid()
154  below split OtherFile
155  below split SomeFile
156  bufwinid('SomeFile')->assert_equal(SomeFileID)
157
158  win_gotoid(origwin)
159  only
160  bwipe SomeFile
161  bwipe OtherFile
162enddef
163
164def Test_call_call()
165  var l = [3, 2, 1]
166  call('reverse', [l])
167  l->assert_equal([1, 2, 3])
168enddef
169
170def Test_char2nr()
171  char2nr('あ', true)->assert_equal(12354)
172enddef
173
174def Test_col()
175  new
176  setline(1, 'asdf')
177  col([1, '$'])->assert_equal(5)
178enddef
179
180def Test_copy_return_type()
181  var l = copy([1, 2, 3])
182  var res = 0
183  for n in l
184    res += n
185  endfor
186  res->assert_equal(6)
187
188  var dl = deepcopy([1, 2, 3])
189  res = 0
190  for n in dl
191    res += n
192  endfor
193  res->assert_equal(6)
194
195  dl = deepcopy([1, 2, 3], true)
196enddef
197
198def Test_count()
199  count('ABC ABC ABC', 'b', true)->assert_equal(3)
200  count('ABC ABC ABC', 'b', false)->assert_equal(0)
201enddef
202
203def Test_cursor()
204  new
205  setline(1, range(4))
206  cursor(2, 1)
207  assert_equal(2, getcurpos()[1])
208  cursor('$', 1)
209  assert_equal(4, getcurpos()[1])
210
211  var lines =<< trim END
212    cursor('2', 1)
213  END
214  CheckDefExecAndScriptFailure(lines, 'E475:')
215enddef
216
217def Test_delete()
218  var res: bool = delete('doesnotexist')
219  assert_equal(true, res)
220enddef
221
222def Test_executable()
223  assert_false(executable(""))
224  assert_false(executable(test_null_string()))
225
226  CheckDefExecFailure(['echo executable(123)'], 'E928:')
227  CheckDefExecFailure(['echo executable(true)'], 'E928:')
228enddef
229
230def Test_exepath()
231  CheckDefExecFailure(['echo exepath(true)'], 'E928:')
232  CheckDefExecFailure(['echo exepath(v:null)'], 'E928:')
233  CheckDefExecFailure(['echo exepath("")'], 'E1142:')
234enddef
235
236def Test_expand()
237  split SomeFile
238  expand('%', true, true)->assert_equal(['SomeFile'])
239  close
240enddef
241
242def Test_extend_arg_types()
243  g:number_one = 1
244  g:string_keep = 'keep'
245  var lines =<< trim END
246      assert_equal([1, 2, 3], extend([1, 2], [3]))
247      assert_equal([3, 1, 2], extend([1, 2], [3], 0))
248      assert_equal([1, 3, 2], extend([1, 2], [3], 1))
249      assert_equal([1, 3, 2], extend([1, 2], [3], g:number_one))
250
251      assert_equal({a: 1, b: 2, c: 3}, extend({a: 1, b: 2}, {c: 3}))
252      assert_equal({a: 1, b: 4}, extend({a: 1, b: 2}, {b: 4}))
253      assert_equal({a: 1, b: 2}, extend({a: 1, b: 2}, {b: 4}, 'keep'))
254      assert_equal({a: 1, b: 2}, extend({a: 1, b: 2}, {b: 4}, g:string_keep))
255
256      var res: list<dict<any>>
257      extend(res, mapnew([1, 2], (_, v) => ({})))
258      assert_equal([{}, {}], res)
259  END
260  CheckDefAndScriptSuccess(lines)
261
262  CheckDefFailure(['extend([1, 2], 3)'], 'E1013: Argument 2: type mismatch, expected list<number> but got number')
263  CheckDefFailure(['extend([1, 2], ["x"])'], 'E1013: Argument 2: type mismatch, expected list<number> but got list<string>')
264  CheckDefFailure(['extend([1, 2], [3], "x")'], 'E1013: Argument 3: type mismatch, expected number but got string')
265
266  CheckDefFailure(['extend({a: 1}, 42)'], 'E1013: Argument 2: type mismatch, expected dict<number> but got number')
267  CheckDefFailure(['extend({a: 1}, {b: "x"})'], 'E1013: Argument 2: type mismatch, expected dict<number> but got dict<string>')
268  CheckDefFailure(['extend({a: 1}, {b: 2}, 1)'], 'E1013: Argument 3: type mismatch, expected string but got number')
269
270  CheckDefFailure(['extend([1], ["b"])'], 'E1013: Argument 2: type mismatch, expected list<number> but got list<string>')
271  CheckDefExecFailure(['extend([1], ["b", 1])'], 'E1013: Argument 2: type mismatch, expected list<number> but got list<any>')
272enddef
273
274def Test_extendnew()
275  assert_equal([1, 2, 'a'], extendnew([1, 2], ['a']))
276  assert_equal({one: 1, two: 'a'}, extendnew({one: 1}, {two: 'a'}))
277
278  CheckDefFailure(['extendnew({a: 1}, 42)'], 'E1013: Argument 2: type mismatch, expected dict<number> but got number')
279  CheckDefFailure(['extendnew({a: 1}, [42])'], 'E1013: Argument 2: type mismatch, expected dict<number> but got list<number>')
280  CheckDefFailure(['extendnew([1, 2], "x")'], 'E1013: Argument 2: type mismatch, expected list<number> but got string')
281  CheckDefFailure(['extendnew([1, 2], {x: 1})'], 'E1013: Argument 2: type mismatch, expected list<number> but got dict<number>')
282enddef
283
284def Test_extend_return_type()
285  var l = extend([1, 2], [3])
286  var res = 0
287  for n in l
288    res += n
289  endfor
290  res->assert_equal(6)
291enddef
292
293func g:ExtendDict(d)
294  call extend(a:d, #{xx: 'x'})
295endfunc
296
297def Test_extend_dict_item_type()
298  var lines =<< trim END
299       var d: dict<number> = {a: 1}
300       extend(d, {b: 2})
301  END
302  CheckDefAndScriptSuccess(lines)
303
304  lines =<< trim END
305       var d: dict<number> = {a: 1}
306       extend(d, {b: 'x'})
307  END
308  CheckDefAndScriptFailure(lines, 'E1013: Argument 2: type mismatch, expected dict<number> but got dict<string>', 2)
309
310  lines =<< trim END
311       var d: dict<number> = {a: 1}
312       g:ExtendDict(d)
313  END
314  CheckDefExecFailure(lines, 'E1012: Type mismatch; expected number but got string', 0)
315  CheckScriptFailure(['vim9script'] + lines, 'E1012:', 1)
316enddef
317
318func g:ExtendList(l)
319  call extend(a:l, ['x'])
320endfunc
321
322def Test_extend_list_item_type()
323  var lines =<< trim END
324       var l: list<number> = [1]
325       extend(l, [2])
326  END
327  CheckDefAndScriptSuccess(lines)
328
329  lines =<< trim END
330       var l: list<number> = [1]
331       extend(l, ['x'])
332  END
333  CheckDefAndScriptFailure(lines, 'E1013: Argument 2: type mismatch, expected list<number> but got list<string>', 2)
334
335  lines =<< trim END
336       var l: list<number> = [1]
337       g:ExtendList(l)
338  END
339  CheckDefExecFailure(lines, 'E1012: Type mismatch; expected number but got string', 0)
340  CheckScriptFailure(['vim9script'] + lines, 'E1012:', 1)
341enddef
342
343def Test_job_info_return_type()
344  if has('job')
345    job_start(&shell)
346    var jobs = job_info()
347    assert_equal('list<job>', typename(jobs))
348    assert_equal('dict<any>', typename(job_info(jobs[0])))
349    job_stop(jobs[0])
350  endif
351enddef
352
353def Test_filereadable()
354  assert_false(filereadable(""))
355  assert_false(filereadable(test_null_string()))
356
357  CheckDefExecFailure(['echo filereadable(123)'], 'E928:')
358  CheckDefExecFailure(['echo filereadable(true)'], 'E928:')
359enddef
360
361def Test_filewritable()
362  assert_false(filewritable(""))
363  assert_false(filewritable(test_null_string()))
364
365  CheckDefExecFailure(['echo filewritable(123)'], 'E928:')
366  CheckDefExecFailure(['echo filewritable(true)'], 'E928:')
367enddef
368
369def Test_finddir()
370  CheckDefExecFailure(['echo finddir(true)'], 'E928:')
371  CheckDefExecFailure(['echo finddir(v:null)'], 'E928:')
372  CheckDefExecFailure(['echo finddir("")'], 'E1142:')
373enddef
374
375def Test_findfile()
376  CheckDefExecFailure(['echo findfile(true)'], 'E928:')
377  CheckDefExecFailure(['echo findfile(v:null)'], 'E928:')
378  CheckDefExecFailure(['echo findfile("")'], 'E1142:')
379enddef
380
381def Test_flattennew()
382  var lines =<< trim END
383      var l = [1, [2, [3, 4]], 5]
384      call assert_equal([1, 2, 3, 4, 5], flattennew(l))
385      call assert_equal([1, [2, [3, 4]], 5], l)
386
387      call assert_equal([1, 2, [3, 4], 5], flattennew(l, 1))
388      call assert_equal([1, [2, [3, 4]], 5], l)
389  END
390  CheckDefAndScriptSuccess(lines)
391
392  lines =<< trim END
393      echo flatten([1, 2, 3])
394  END
395  CheckDefAndScriptFailure(lines, 'E1158:')
396enddef
397
398def Test_fnamemodify()
399  CheckDefSuccess(['echo fnamemodify(test_null_string(), ":p")'])
400  CheckDefSuccess(['echo fnamemodify("", ":p")'])
401  CheckDefSuccess(['echo fnamemodify("file", test_null_string())'])
402  CheckDefSuccess(['echo fnamemodify("file", "")'])
403
404  CheckDefExecFailure(['echo fnamemodify(true, ":p")'], 'E928:')
405  CheckDefExecFailure(['echo fnamemodify(v:null, ":p")'], 'E928:')
406  CheckDefExecFailure(['echo fnamemodify("file", true)'], 'E928:')
407enddef
408
409def Wrong_dict_key_type(items: list<number>): list<number>
410  return filter(items, (_, val) => get({[val]: 1}, 'x'))
411enddef
412
413def Test_filter_wrong_dict_key_type()
414  assert_fails('Wrong_dict_key_type([1, v:null, 3])', 'E1013:')
415enddef
416
417def Test_filter_return_type()
418  var l = filter([1, 2, 3], () => 1)
419  var res = 0
420  for n in l
421    res += n
422  endfor
423  res->assert_equal(6)
424enddef
425
426def Test_filter_missing_argument()
427  var dict = {aa: [1], ab: [2], ac: [3], de: [4]}
428  var res = dict->filter((k) => k =~ 'a' && k !~ 'b')
429  res->assert_equal({aa: [1], ac: [3]})
430enddef
431
432def Test_garbagecollect()
433  garbagecollect(true)
434enddef
435
436def Test_getbufinfo()
437  var bufinfo = getbufinfo(bufnr())
438  getbufinfo('%')->assert_equal(bufinfo)
439
440  edit Xtestfile1
441  hide edit Xtestfile2
442  hide enew
443  getbufinfo({bufloaded: true, buflisted: true, bufmodified: false})
444      ->len()->assert_equal(3)
445  bwipe Xtestfile1 Xtestfile2
446enddef
447
448def Test_getbufline()
449  e SomeFile
450  var buf = bufnr()
451  e #
452  var lines = ['aaa', 'bbb', 'ccc']
453  setbufline(buf, 1, lines)
454  getbufline('#', 1, '$')->assert_equal(lines)
455  getbufline(-1, '$', '$')->assert_equal([])
456  getbufline(-1, 1, '$')->assert_equal([])
457
458  bwipe!
459enddef
460
461def Test_getchangelist()
462  new
463  setline(1, 'some text')
464  var changelist = bufnr()->getchangelist()
465  getchangelist('%')->assert_equal(changelist)
466  bwipe!
467enddef
468
469def Test_getchar()
470  while getchar(0)
471  endwhile
472  getchar(true)->assert_equal(0)
473enddef
474
475def Test_getcompletion()
476  set wildignore=*.vim,*~
477  var l = getcompletion('run', 'file', true)
478  l->assert_equal([])
479  set wildignore&
480enddef
481
482def Test_getloclist_return_type()
483  var l = getloclist(1)
484  l->assert_equal([])
485
486  var d = getloclist(1, {items: 0})
487  d->assert_equal({items: []})
488enddef
489
490def Test_getfperm()
491  assert_equal('', getfperm(""))
492  assert_equal('', getfperm(test_null_string()))
493
494  CheckDefExecFailure(['echo getfperm(true)'], 'E928:')
495  CheckDefExecFailure(['echo getfperm(v:null)'], 'E928:')
496enddef
497
498def Test_getfsize()
499  assert_equal(-1, getfsize(""))
500  assert_equal(-1, getfsize(test_null_string()))
501
502  CheckDefExecFailure(['echo getfsize(true)'], 'E928:')
503  CheckDefExecFailure(['echo getfsize(v:null)'], 'E928:')
504enddef
505
506def Test_getftime()
507  assert_equal(-1, getftime(""))
508  assert_equal(-1, getftime(test_null_string()))
509
510  CheckDefExecFailure(['echo getftime(true)'], 'E928:')
511  CheckDefExecFailure(['echo getftime(v:null)'], 'E928:')
512enddef
513
514def Test_getftype()
515  assert_equal('', getftype(""))
516  assert_equal('', getftype(test_null_string()))
517
518  CheckDefExecFailure(['echo getftype(true)'], 'E928:')
519  CheckDefExecFailure(['echo getftype(v:null)'], 'E928:')
520enddef
521
522def Test_getqflist_return_type()
523  var l = getqflist()
524  l->assert_equal([])
525
526  var d = getqflist({items: 0})
527  d->assert_equal({items: []})
528enddef
529
530def Test_getreg()
531  var lines = ['aaa', 'bbb', 'ccc']
532  setreg('a', lines)
533  getreg('a', true, true)->assert_equal(lines)
534  assert_fails('getreg("ab")', 'E1162:')
535enddef
536
537def Test_getreg_return_type()
538  var s1: string = getreg('"')
539  var s2: string = getreg('"', 1)
540  var s3: list<string> = getreg('"', 1, 1)
541enddef
542
543def Test_getreginfo()
544  var text = 'abc'
545  setreg('a', text)
546  getreginfo('a')->assert_equal({regcontents: [text], regtype: 'v', isunnamed: false})
547  assert_fails('getreginfo("ab")', 'E1162:')
548enddef
549
550def Test_getregtype()
551  var lines = ['aaa', 'bbb', 'ccc']
552  setreg('a', lines)
553  getregtype('a')->assert_equal('V')
554  assert_fails('getregtype("ab")', 'E1162:')
555enddef
556
557def Test_glob()
558  glob('runtest.vim', true, true, true)->assert_equal(['runtest.vim'])
559enddef
560
561def Test_globpath()
562  globpath('.', 'runtest.vim', true, true, true)->assert_equal(['./runtest.vim'])
563enddef
564
565def Test_has()
566  has('eval', true)->assert_equal(1)
567enddef
568
569def Test_hasmapto()
570  hasmapto('foobar', 'i', true)->assert_equal(0)
571  iabbrev foo foobar
572  hasmapto('foobar', 'i', true)->assert_equal(1)
573  iunabbrev foo
574enddef
575
576def Test_index()
577  index(['a', 'b', 'a', 'B'], 'b', 2, true)->assert_equal(3)
578enddef
579
580let s:number_one = 1
581let s:number_two = 2
582let s:string_keep = 'keep'
583
584def Test_insert()
585  var l = insert([2, 1], 3)
586  var res = 0
587  for n in l
588    res += n
589  endfor
590  res->assert_equal(6)
591
592  assert_equal([1, 2, 3], insert([2, 3], 1))
593  assert_equal([1, 2, 3], insert([2, 3], s:number_one))
594  assert_equal([1, 2, 3], insert([1, 2], 3, 2))
595  assert_equal([1, 2, 3], insert([1, 2], 3, s:number_two))
596  assert_equal(['a', 'b', 'c'], insert(['b', 'c'], 'a'))
597  assert_equal(0z1234, insert(0z34, 0x12))
598
599  CheckDefFailure(['insert([2, 3], "a")'], 'E1013: Argument 2: type mismatch, expected number but got string', 1)
600  CheckDefFailure(['insert([2, 3], 1, "x")'], 'E1013: Argument 3: type mismatch, expected number but got string', 1)
601enddef
602
603def Test_keys_return_type()
604  const var: list<string> = {a: 1, b: 2}->keys()
605  var->assert_equal(['a', 'b'])
606enddef
607
608def Test_list2str_str2list_utf8()
609  var s = "\u3042\u3044"
610  var l = [0x3042, 0x3044]
611  str2list(s, true)->assert_equal(l)
612  list2str(l, true)->assert_equal(s)
613enddef
614
615def SID(): number
616  return expand('<SID>')
617          ->matchstr('<SNR>\zs\d\+\ze_$')
618          ->str2nr()
619enddef
620
621def Test_map_function_arg()
622  var lines =<< trim END
623      def MapOne(i: number, v: string): string
624        return i .. ':' .. v
625      enddef
626      var l = ['a', 'b', 'c']
627      map(l, MapOne)
628      assert_equal(['0:a', '1:b', '2:c'], l)
629  END
630  CheckDefAndScriptSuccess(lines)
631enddef
632
633def Test_map_item_type()
634  var lines =<< trim END
635      var l = ['a', 'b', 'c']
636      map(l, (k, v) => k .. '/' .. v )
637      assert_equal(['0/a', '1/b', '2/c'], l)
638  END
639  CheckDefAndScriptSuccess(lines)
640
641  lines =<< trim END
642    var l: list<number> = [0]
643    echo map(l, (_, v) => [])
644  END
645  CheckDefExecAndScriptFailure(lines, 'E1012: Type mismatch; expected number but got list<unknown>', 2)
646
647  lines =<< trim END
648    var l: list<number> = range(2)
649    echo map(l, (_, v) => [])
650  END
651  CheckDefExecAndScriptFailure(lines, 'E1012: Type mismatch; expected number but got list<unknown>', 2)
652
653  lines =<< trim END
654    var d: dict<number> = {key: 0}
655    echo map(d, (_, v) => [])
656  END
657  CheckDefExecAndScriptFailure(lines, 'E1012: Type mismatch; expected number but got list<unknown>', 2)
658enddef
659
660def Test_maparg()
661  var lnum = str2nr(expand('<sflnum>'))
662  map foo bar
663  maparg('foo', '', false, true)->assert_equal({
664        lnum: lnum + 1,
665        script: 0,
666        mode: ' ',
667        silent: 0,
668        noremap: 0,
669        lhs: 'foo',
670        lhsraw: 'foo',
671        nowait: 0,
672        expr: 0,
673        sid: SID(),
674        rhs: 'bar',
675        buffer: 0})
676  unmap foo
677enddef
678
679def Test_mapcheck()
680  iabbrev foo foobar
681  mapcheck('foo', 'i', true)->assert_equal('foobar')
682  iunabbrev foo
683enddef
684
685def Test_maparg_mapset()
686  nnoremap <F3> :echo "hit F3"<CR>
687  var mapsave = maparg('<F3>', 'n', false, true)
688  mapset('n', false, mapsave)
689
690  nunmap <F3>
691enddef
692
693def Test_max()
694  g:flag = true
695  var l1: list<number> = g:flag
696          ? [1, max([2, 3])]
697          : [4, 5]
698  assert_equal([1, 3], l1)
699
700  g:flag = false
701  var l2: list<number> = g:flag
702          ? [1, max([2, 3])]
703          : [4, 5]
704  assert_equal([4, 5], l2)
705enddef
706
707def Test_min()
708  g:flag = true
709  var l1: list<number> = g:flag
710          ? [1, min([2, 3])]
711          : [4, 5]
712  assert_equal([1, 2], l1)
713
714  g:flag = false
715  var l2: list<number> = g:flag
716          ? [1, min([2, 3])]
717          : [4, 5]
718  assert_equal([4, 5], l2)
719enddef
720
721def Test_nr2char()
722  nr2char(97, true)->assert_equal('a')
723enddef
724
725def Test_readdir()
726   eval expand('sautest')->readdir((e) => e[0] !=# '.')
727   eval expand('sautest')->readdirex((e) => e.name[0] !=# '.')
728enddef
729
730def Test_readblob()
731  var blob = 0z12341234
732  writefile(blob, 'Xreadblob')
733  var read: blob = readblob('Xreadblob')
734  assert_equal(blob, read)
735
736  var lines =<< trim END
737      var read: list<string> = readblob('Xreadblob')
738  END
739  CheckDefAndScriptFailure(lines, 'E1012: Type mismatch; expected list<string> but got blob', 1)
740  delete('Xreadblob')
741enddef
742
743def Test_readfile()
744  var text = ['aaa', 'bbb', 'ccc']
745  writefile(text, 'Xreadfile')
746  var read: list<string> = readfile('Xreadfile')
747  assert_equal(text, read)
748
749  var lines =<< trim END
750      var read: dict<string> = readfile('Xreadfile')
751  END
752  CheckDefAndScriptFailure(lines, 'E1012: Type mismatch; expected dict<string> but got list<string>', 1)
753  delete('Xreadfile')
754enddef
755
756def Test_remove_return_type()
757  var l = remove({one: [1, 2], two: [3, 4]}, 'one')
758  var res = 0
759  for n in l
760    res += n
761  endfor
762  res->assert_equal(3)
763enddef
764
765def Test_reverse_return_type()
766  var l = reverse([1, 2, 3])
767  var res = 0
768  for n in l
769    res += n
770  endfor
771  res->assert_equal(6)
772enddef
773
774def Test_search()
775  new
776  setline(1, ['foo', 'bar'])
777  var val = 0
778  # skip expr returns boolean
779  search('bar', 'W', 0, 0, () => val == 1)->assert_equal(2)
780  :1
781  search('bar', 'W', 0, 0, () => val == 0)->assert_equal(0)
782  # skip expr returns number, only 0 and 1 are accepted
783  :1
784  search('bar', 'W', 0, 0, () => 0)->assert_equal(2)
785  :1
786  search('bar', 'W', 0, 0, () => 1)->assert_equal(0)
787  assert_fails("search('bar', '', 0, 0, () => -1)", 'E1023:')
788  assert_fails("search('bar', '', 0, 0, () => -1)", 'E1023:')
789enddef
790
791def Test_searchcount()
792  new
793  setline(1, "foo bar")
794  :/foo
795  searchcount({recompute: true})
796      ->assert_equal({
797          exact_match: 1,
798          current: 1,
799          total: 1,
800          maxcount: 99,
801          incomplete: 0})
802  bwipe!
803enddef
804
805def Test_set_get_bufline()
806  # similar to Test_setbufline_getbufline()
807  var lines =<< trim END
808      new
809      var b = bufnr('%')
810      hide
811      assert_equal(0, setbufline(b, 1, ['foo', 'bar']))
812      assert_equal(['foo'], getbufline(b, 1))
813      assert_equal(['bar'], getbufline(b, '$'))
814      assert_equal(['foo', 'bar'], getbufline(b, 1, 2))
815      exe "bd!" b
816      assert_equal([], getbufline(b, 1, 2))
817
818      split Xtest
819      setline(1, ['a', 'b', 'c'])
820      b = bufnr('%')
821      wincmd w
822
823      assert_equal(1, setbufline(b, 5, 'x'))
824      assert_equal(1, setbufline(b, 5, ['x']))
825      assert_equal(1, setbufline(b, 5, []))
826      assert_equal(1, setbufline(b, 5, test_null_list()))
827
828      assert_equal(1, 'x'->setbufline(bufnr('$') + 1, 1))
829      assert_equal(1, ['x']->setbufline(bufnr('$') + 1, 1))
830      assert_equal(1, []->setbufline(bufnr('$') + 1, 1))
831      assert_equal(1, test_null_list()->setbufline(bufnr('$') + 1, 1))
832
833      assert_equal(['a', 'b', 'c'], getbufline(b, 1, '$'))
834
835      assert_equal(0, setbufline(b, 4, ['d', 'e']))
836      assert_equal(['c'], b->getbufline(3))
837      assert_equal(['d'], getbufline(b, 4))
838      assert_equal(['e'], getbufline(b, 5))
839      assert_equal([], getbufline(b, 6))
840      assert_equal([], getbufline(b, 2, 1))
841
842      if has('job')
843        setbufline(b, 2, [function('eval'), {key: 123}, test_null_job()])
844        assert_equal(["function('eval')",
845                        "{'key': 123}",
846                        "no process"],
847                        getbufline(b, 2, 4))
848      endif
849
850      exe 'bwipe! ' .. b
851  END
852  CheckDefAndScriptSuccess(lines)
853enddef
854
855def Test_searchdecl()
856  searchdecl('blah', true, true)->assert_equal(1)
857enddef
858
859def Test_setbufvar()
860  setbufvar(bufnr('%'), '&syntax', 'vim')
861  &syntax->assert_equal('vim')
862  setbufvar(bufnr('%'), '&ts', 16)
863  &ts->assert_equal(16)
864  setbufvar(bufnr('%'), '&ai', true)
865  &ai->assert_equal(true)
866  setbufvar(bufnr('%'), '&ft', 'filetype')
867  &ft->assert_equal('filetype')
868
869  settabwinvar(1, 1, '&syntax', 'vam')
870  &syntax->assert_equal('vam')
871  settabwinvar(1, 1, '&ts', 15)
872  &ts->assert_equal(15)
873  setlocal ts=8
874  settabwinvar(1, 1, '&list', false)
875  &list->assert_equal(false)
876  settabwinvar(1, 1, '&list', true)
877  &list->assert_equal(true)
878  setlocal list&
879
880  setbufvar('%', 'myvar', 123)
881  getbufvar('%', 'myvar')->assert_equal(123)
882enddef
883
884def Test_setloclist()
885  var items = [{filename: '/tmp/file', lnum: 1, valid: true}]
886  var what = {items: items}
887  setqflist([], ' ', what)
888  setloclist(0, [], ' ', what)
889enddef
890
891def Test_setreg()
892  setreg('a', ['aaa', 'bbb', 'ccc'])
893  var reginfo = getreginfo('a')
894  setreg('a', reginfo)
895  getreginfo('a')->assert_equal(reginfo)
896  assert_fails('setreg("ab", 0)', 'E1162:')
897enddef
898
899def Test_slice()
900  assert_equal('12345', slice('012345', 1))
901  assert_equal('123', slice('012345', 1, 4))
902  assert_equal('1234', slice('012345', 1, -1))
903  assert_equal('1', slice('012345', 1, -4))
904  assert_equal('', slice('012345', 1, -5))
905  assert_equal('', slice('012345', 1, -6))
906
907  assert_equal([1, 2, 3, 4, 5], slice(range(6), 1))
908  assert_equal([1, 2, 3], slice(range(6), 1, 4))
909  assert_equal([1, 2, 3, 4], slice(range(6), 1, -1))
910  assert_equal([1], slice(range(6), 1, -4))
911  assert_equal([], slice(range(6), 1, -5))
912  assert_equal([], slice(range(6), 1, -6))
913
914  assert_equal(0z1122334455, slice(0z001122334455, 1))
915  assert_equal(0z112233, slice(0z001122334455, 1, 4))
916  assert_equal(0z11223344, slice(0z001122334455, 1, -1))
917  assert_equal(0z11, slice(0z001122334455, 1, -4))
918  assert_equal(0z, slice(0z001122334455, 1, -5))
919  assert_equal(0z, slice(0z001122334455, 1, -6))
920enddef
921
922def Test_spellsuggest()
923  if !has('spell')
924    MissingFeature 'spell'
925  else
926    spellsuggest('marrch', 1, true)->assert_equal(['March'])
927  endif
928enddef
929
930def Test_sort_return_type()
931  var res: list<number>
932  res = [1, 2, 3]->sort()
933enddef
934
935def Test_sort_argument()
936  var lines =<< trim END
937    var res = ['b', 'a', 'c']->sort('i')
938    res->assert_equal(['a', 'b', 'c'])
939
940    def Compare(a: number, b: number): number
941      return a - b
942    enddef
943    var l = [3, 6, 7, 1, 8, 2, 4, 5]
944    sort(l, Compare)
945    assert_equal([1, 2, 3, 4, 5, 6, 7, 8], l)
946  END
947  CheckDefAndScriptSuccess(lines)
948enddef
949
950def Test_split()
951  split('  aa  bb  ', '\W\+', true)->assert_equal(['', 'aa', 'bb', ''])
952enddef
953
954def Run_str2float()
955  if !has('float')
956    MissingFeature 'float'
957  endif
958    str2float("1.00")->assert_equal(1.00)
959    str2float("2e-2")->assert_equal(0.02)
960
961    CheckDefFailure(['echo str2float(123)'], 'E1013:')
962    CheckScriptFailure(['vim9script', 'echo str2float(123)'], 'E1024:')
963  endif
964enddef
965
966def Test_str2nr()
967  str2nr("1'000'000", 10, true)->assert_equal(1000000)
968
969  CheckDefFailure(['echo str2nr(123)'], 'E1013:')
970  CheckScriptFailure(['vim9script', 'echo str2nr(123)'], 'E1024:')
971  CheckDefFailure(['echo str2nr("123", "x")'], 'E1013:')
972  CheckScriptFailure(['vim9script', 'echo str2nr("123", "x")'], 'E1030:')
973  CheckDefFailure(['echo str2nr("123", 10, "x")'], 'E1013:')
974  CheckScriptFailure(['vim9script', 'echo str2nr("123", 10, "x")'], 'E1135:')
975enddef
976
977def Test_strchars()
978  strchars("A\u20dd", true)->assert_equal(1)
979enddef
980
981def Test_submatch()
982  var pat = 'A\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)\(.\)'
983  var Rep = () => range(10)->mapnew((_, v) => submatch(v, true))->string()
984  var actual = substitute('A123456789', pat, Rep, '')
985  var expected = "[['A123456789'], ['1'], ['2'], ['3'], ['4'], ['5'], ['6'], ['7'], ['8'], ['9']]"
986  actual->assert_equal(expected)
987enddef
988
989def Test_synID()
990  new
991  setline(1, "text")
992  synID(1, 1, true)->assert_equal(0)
993  bwipe!
994enddef
995
996def Test_term_gettty()
997  if !has('terminal')
998    MissingFeature 'terminal'
999  else
1000    var buf = Run_shell_in_terminal({})
1001    term_gettty(buf, true)->assert_notequal('')
1002    StopShellInTerminal(buf)
1003  endif
1004enddef
1005
1006def Test_term_start()
1007  if !has('terminal')
1008    MissingFeature 'terminal'
1009  else
1010    botright new
1011    var winnr = winnr()
1012    term_start(&shell, {curwin: true})
1013    winnr()->assert_equal(winnr)
1014    bwipe!
1015  endif
1016enddef
1017
1018def Test_timer_paused()
1019  var id = timer_start(50, () => 0)
1020  timer_pause(id, true)
1021  var info = timer_info(id)
1022  info[0]['paused']->assert_equal(1)
1023  timer_stop(id)
1024enddef
1025
1026def Test_win_execute()
1027  assert_equal("\n" .. winnr(), win_execute(win_getid(), 'echo winnr()'))
1028  assert_equal('', win_execute(342343, 'echo winnr()'))
1029enddef
1030
1031def Test_win_splitmove()
1032  split
1033  win_splitmove(1, 2, {vertical: true, rightbelow: true})
1034  close
1035enddef
1036
1037def Test_winrestcmd()
1038  split
1039  var cmd = winrestcmd()
1040  wincmd _
1041  exe cmd
1042  assert_equal(cmd, winrestcmd())
1043  close
1044enddef
1045
1046def Test_winsaveview()
1047  var view: dict<number> = winsaveview()
1048
1049  var lines =<< trim END
1050      var view: list<number> = winsaveview()
1051  END
1052  CheckDefAndScriptFailure(lines, 'E1012: Type mismatch; expected list<number> but got dict<number>', 1)
1053enddef
1054
1055
1056
1057
1058" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker
1059