comparison src/testdir/test_vim9_builtin.vim @ 27503:4cea92e99a5a v8.2.4279

patch 8.2.4279: Vim9: cannot change item type with map() after range() Commit: https://github.com/vim/vim/commit/8133018f50bc447570825801e93d5ed67e8dac90 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Feb 1 12:11:58 2022 +0000 patch 8.2.4279: Vim9: cannot change item type with map() after range() Problem: Vim9: cannot change item type with map() after range(). Solution: Split the return type in current type and declared type. (closes #9665)
author Bram Moolenaar <Bram@vim.org>
date Tue, 01 Feb 2022 13:15:03 +0100
parents 7480a2e2ca0f
children f00a7a2bee21
comparison
equal deleted inserted replaced
27502:aad2a09123be 27503:4cea92e99a5a
75 endif 75 endif
76 enddef 76 enddef
77 77
78 def Test_add() 78 def Test_add()
79 v9.CheckDefAndScriptFailure(['add({}, 1)'], ['E1013: Argument 1: type mismatch, expected list<any> but got dict<unknown>', 'E1226: List or Blob required for argument 1']) 79 v9.CheckDefAndScriptFailure(['add({}, 1)'], ['E1013: Argument 1: type mismatch, expected list<any> but got dict<unknown>', 'E1226: List or Blob required for argument 1'])
80 v9.CheckDefFailure(['add([1], "a")'], 'E1012: Type mismatch; expected number but got string') 80 v9.CheckDefExecFailure([
81 'var ln: list<number> = [1]',
82 'add(ln, "a")'],
83 'E1012: Type mismatch; expected number but got string')
84 assert_equal([1, 'a'], add([1], 'a'))
85 assert_equal(0z1234, add(0z12, 0x34))
81 86
82 var lines =<< trim END 87 var lines =<< trim END
83 vim9script 88 vim9script
84 g:thelist = [1] 89 g:thelist = [1]
85 lockvar g:thelist 90 lockvar g:thelist
2802 2807
2803 def Test_range() 2808 def Test_range()
2804 v9.CheckDefAndScriptFailure(['range("a")'], ['E1013: Argument 1: type mismatch, expected number but got string', 'E1210: Number required for argument 1']) 2809 v9.CheckDefAndScriptFailure(['range("a")'], ['E1013: Argument 1: type mismatch, expected number but got string', 'E1210: Number required for argument 1'])
2805 v9.CheckDefAndScriptFailure(['range(10, "b")'], ['E1013: Argument 2: type mismatch, expected number but got string', 'E1210: Number required for argument 2']) 2810 v9.CheckDefAndScriptFailure(['range(10, "b")'], ['E1013: Argument 2: type mismatch, expected number but got string', 'E1210: Number required for argument 2'])
2806 v9.CheckDefAndScriptFailure(['range(10, 20, "c")'], ['E1013: Argument 3: type mismatch, expected number but got string', 'E1210: Number required for argument 3']) 2811 v9.CheckDefAndScriptFailure(['range(10, 20, "c")'], ['E1013: Argument 3: type mismatch, expected number but got string', 'E1210: Number required for argument 3'])
2812
2813 # returns a list<number> but it's not declared as such
2814 assert_equal(['x', 'x'], range(2)->map((i, v) => 'x'))
2807 enddef 2815 enddef
2808 2816
2809 def Test_readdir() 2817 def Test_readdir()
2810 eval expand('sautest')->readdir((e) => e[0] !=# '.') 2818 eval expand('sautest')->readdir((e) => e[0] !=# '.')
2811 eval expand('sautest')->readdirex((e) => e.name[0] !=# '.') 2819 eval expand('sautest')->readdirex((e) => e.name[0] !=# '.')
2978 remove(d, 'b') 2986 remove(d, 'b')
2979 assert_equal({a: 10, c: 30}, d) 2987 assert_equal({a: 10, c: 30}, d)
2980 var d2: any = {1: 'a', 2: 'b', 3: 'c'} 2988 var d2: any = {1: 'a', 2: 'b', 3: 'c'}
2981 remove(d2, 2) 2989 remove(d2, 2)
2982 assert_equal({1: 'a', 3: 'c'}, d2) 2990 assert_equal({1: 'a', 3: 'c'}, d2)
2991
2992 # using declared type
2993 var x: string = range(2)->extend(['x'])->remove(2)
2994 assert_equal('x', x)
2983 enddef 2995 enddef
2984 2996
2985 def Test_remove_return_type() 2997 def Test_remove_return_type()
2986 var l = remove({one: [1, 2], two: [3, 4]}, 'one') 2998 var l = remove({one: [1, 2], two: [3, 4]}, 'one')
2987 var res = 0 2999 var res = 0