vim: src/testdir/test_vim9_builtin.vim comparison

comparison src/testdir/test_vim9_builtin.vim @ 30588:56fabd53c7b8 v9.0.0629

patch 9.0.0629: get an error for using const only when executing Commit: https://github.com/vim/vim/commit/a5d1a67bee5672786c4b172f66ae4391e7b0cc57 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Sep 30 17:57:47 2022 +0100 patch 9.0.0629: get an error for using const only when executing Problem: Get an error for using const only when executing. Solution: Check for const at compile time for filter(), map(), remove(), reverse(), sort() and uniq().

author	Bram Moolenaar <Bram@vim.org>
date	Fri, 30 Sep 2022 19:00:05 +0200
parents	ee039a6049ff
children	9f37bcd4d5c5

comparison

equal deleted inserted replaced

-:8b4040d04c32
+:56fabd53c7b8
 var dict = {aa: [1], ab: [2], ac: [3], de: [4]}
 var res = dict->filter((k, _) => k =~ 'a' && k !~ 'b')
 res->assert_equal({aa: [1], ac: [3]})
 enddef
+def Test_filter_const()
+var lines =<< trim END
+const l = [1, 2, 3]
+filter(l, 'v:val == 2')
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
+lines =<< trim END
+const d = {a: 1, b: 2}
+filter(d, 'v:val == 2')
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const dict<number>')
+enddef
 def Test_foldclosed()
 v9.CheckDefAndScriptFailure(['foldclosed(function("min"))'], ['E1013: Argument 1: type mismatch, expected string but got func(...): unknown', 'E1220: String or Number required for argument 1'])
 v9.CheckDefExecAndScriptFailure(['foldclosed("")'], 'E1209: Invalid value for a line number')
 assert_equal(-1, foldclosed(1))
 assert_equal(-1, foldclosed('$'))
 var d: dict<number> = {a: 1}
 g:gd = d
 map(g:gd, (k, v) => true)
 END
 v9.CheckDefExecAndScriptFailure(lines, 'E1012: Type mismatch; expected number but got bool')
+enddef
+def Test_map_const()
+var lines =<< trim END
+const l = [1, 2, 3]
+map(l, 'SomeFunc')
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
+lines =<< trim END
+const d = {a: 1, b: 2}
+map(d, 'SomeFunc')
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const dict<number>')
 enddef
 def Test_map_function_arg()
 var lines =<< trim END
 def MapOne(i: number, v: string): string
 CheckFeature clientserver
 CheckEnv DISPLAY
 v9.CheckDefAndScriptFailure(['remote_startserver({})'], ['E1013: Argument 1: type mismatch, expected string but got dict<unknown>', 'E1174: String required for argument 1'])
 enddef
-def Test_remove_const_list()
+def Test_remove_literal_list()
 var l: list<number> = [1, 2, 3, 4]
 assert_equal([1, 2], remove(l, 0, 1))
 assert_equal([3, 4], l)
+enddef
+def Test_remove_const()
+var lines =<< trim END
+const l = [1, 2, 3, 4]
+remove(l, 1)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
+lines =<< trim END
+const d = {a: 1, b: 2}
+remove(d, 'a')
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const dict<number>')
+lines =<< trim END
+const b = 0z010203
+remove(b, 1)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const blob')
 enddef
 def Test_remove()
 v9.CheckDefAndScriptFailure(['remove("a", 1)'], ['E1013: Argument 1: type mismatch, expected list<any> but got string', 'E1228: List, Dictionary or Blob required for argument 1'])
 v9.CheckDefAndScriptFailure(['remove([], "b")'], ['E1013: Argument 2: type mismatch, expected number but got string', 'E1210: Number required for argument 2'])
 res += n
 endfor
 res->assert_equal(6)
 enddef
+def Test_reverse_const()
+var lines =<< trim END
+const l = [1, 2, 3, 4]
+reverse(l)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
+lines =<< trim END
+const b = 0z010203
+reverse(b)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const blob')
+enddef
 def Test_rubyeval()
 if !has('ruby')
 CheckFeature ruby
 endif
 v9.CheckDefAndScriptFailure(['rubyeval([2])'], ['E1013: Argument 1: type mismatch, expected string but got list<number>', 'E1174: String required for argument 1'])
 SortedList()->assert_equal([1, 2, 3])
 END
 v9.CheckScriptSuccess(lines)
 enddef
+def Test_sort_const()
+var lines =<< trim END
+const l = [1, 2, 3, 4]
+sort(l)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
+enddef
 def Test_sort_compare_func_fails()
 v9.CheckDefAndScriptFailure(['sort("a")'], ['E1013: Argument 1: type mismatch, expected list<any> but got string', 'E1211: List required for argument 1'])
 v9.CheckDefAndScriptFailure(['sort([1], "", [1])'], ['E1013: Argument 3: type mismatch, expected dict<any> but got list<number>', 'E1206: Dictionary required for argument 3'])
 var lines =<< trim END
 def Test_uniq()
 v9.CheckDefAndScriptFailure(['uniq("a")'], ['E1013: Argument 1: type mismatch, expected list<any> but got string', 'E1211: List required for argument 1'])
 v9.CheckDefAndScriptFailure(['uniq([1], "", [1])'], ['E1013: Argument 3: type mismatch, expected dict<any> but got list<number>', 'E1206: Dictionary required for argument 3'])
 v9.CheckDefFailure(['var l: list<number> = uniq(["a", "b"])'], 'E1012: Type mismatch; expected list<number> but got list<string>')
+enddef
+def Test_uniq_const()
+var lines =<< trim END
+const l = [1, 2, 3, 4]
+uniq(l)
+END
+v9.CheckDefFailure(lines, 'E1307: Argument 1: Trying to modify a const list<number>')
 enddef
 def Test_values()
 v9.CheckDefAndScriptFailure(['values([])'], ['E1013: Argument 1: type mismatch, expected dict<any> but got list<unknown>', 'E1206: Dictionary required for argument 1'])
 assert_equal([], {}->values())

Mercurial > vim

comparison src/testdir/test_vim9_builtin.vim @ 30588:56fabd53c7b8 v9.0.0629