blob: 5b5d8d913ded57d126fe77219d51cd0a5755a4d8 [file] [log] [blame]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001" Test various aspects of the Vim9 script language.
2
Bram Moolenaar673660a2020-01-26 16:50:05 +01003source check.vim
Bram Moolenaarad39c092020-02-26 18:23:43 +01004source view_util.vim
Bram Moolenaar673660a2020-01-26 16:50:05 +01005
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01006" Check that "lines" inside ":def" results in an "error" message.
7func CheckDefFailure(lines, error)
Bram Moolenaar978d1702020-01-26 17:38:12 +01008 call writefile(['def Func()'] + a:lines + ['enddef'], 'Xdef')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01009 call assert_fails('so Xdef', a:error, a:lines)
10 call delete('Xdef')
11endfunc
12
13func CheckScriptFailure(lines, error)
14 call writefile(a:lines, 'Xdef')
15 call assert_fails('so Xdef', a:error, a:lines)
16 call delete('Xdef')
17endfunc
18
19def Test_syntax()
20 let var = 234
21 let other: list<string> = ['asdf']
22enddef
23
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010024let s:appendToMe = 'xxx'
25let s:addToMe = 111
Bram Moolenaar401d9ff2020-02-19 18:14:44 +010026let g:existing = 'yes'
Bram Moolenaara8c17702020-04-01 21:17:24 +020027let g:inc_counter = 1
28let $SOME_ENV_VAR = 'some'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010029
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010030def Test_assignment()
31 let bool1: bool = true
32 assert_equal(v:true, bool1)
33 let bool2: bool = false
34 assert_equal(v:false, bool2)
35
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010036 let list1: list<bool> = [false, true, false]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010037 let list2: list<number> = [1, 2, 3]
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010038 let list3: list<string> = ['sdf', 'asdf']
39 let list4: list<any> = ['yes', true, 1234]
40 let list5: list<blob> = [0z01, 0z02]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010041
Bram Moolenaar436472f2020-02-20 22:54:43 +010042 let listS: list<string> = []
43 let listN: list<number> = []
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010044
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010045 let dict1: dict<bool> = #{one: false, two: true}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010046 let dict2: dict<number> = #{one: 1, two: 2}
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010047 let dict3: dict<string> = #{key: 'value'}
48 let dict4: dict<any> = #{one: 1, two: '2'}
49 let dict5: dict<blob> = #{one: 0z01, tw: 0z02}
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010050
Bram Moolenaar9be61bb2020-03-30 22:51:24 +020051 let a: number = 6
52 assert_equal(6, a)
53
Bram Moolenaar42a480b2020-02-29 23:23:47 +010054 if has('channel')
55 let chan1: channel
Bram Moolenaarfbdd08e2020-03-01 14:04:46 +010056 let job1: job
Bram Moolenaarf51cb4e2020-03-01 17:55:14 +010057 let job2: job = job_start('willfail')
Bram Moolenaar42a480b2020-02-29 23:23:47 +010058 endif
Bram Moolenaarfbdd08e2020-03-01 14:04:46 +010059 if has('float')
60 let float1: float = 3.4
61 endif
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +020062 let Funky1: func
63 let Funky2: func = function('len')
64 let Party2: func = funcref('Test_syntax')
Bram Moolenaar42a480b2020-02-29 23:23:47 +010065
Bram Moolenaarcb711ab2020-04-16 13:00:29 +020066 # type becomes list<any>
Bram Moolenaar61a6d4e2020-03-01 23:32:25 +010067 let somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
Bram Moolenaarcb711ab2020-04-16 13:00:29 +020068 # type becomes dict<any>
Bram Moolenaar5381c7a2020-03-02 22:53:32 +010069 let somedict = rand() > 0 ? #{a: 1, b: 2} : #{a: 'a', b: 'b'}
Bram Moolenaar61a6d4e2020-03-01 23:32:25 +010070
Bram Moolenaar401d9ff2020-02-19 18:14:44 +010071 g:newvar = 'new'
72 assert_equal('new', g:newvar)
73
74 assert_equal('yes', g:existing)
75 g:existing = 'no'
76 assert_equal('no', g:existing)
77
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010078 v:char = 'abc'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010079 assert_equal('abc', v:char)
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010080
81 $ENVVAR = 'foobar'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010082 assert_equal('foobar', $ENVVAR)
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010083 $ENVVAR = ''
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010084
Bram Moolenaarfd1823e2020-02-19 20:23:11 +010085 s:appendToMe ..= 'yyy'
86 assert_equal('xxxyyy', s:appendToMe)
87 s:addToMe += 222
88 assert_equal(333, s:addToMe)
Bram Moolenaar0bbf7222020-02-19 22:31:48 +010089 s:newVar = 'new'
90 assert_equal('new', s:newVar)
Bram Moolenaara8c17702020-04-01 21:17:24 +020091
92 set ts=7
93 &ts += 1
94 assert_equal(8, &ts)
Bram Moolenaar80c34ca2020-04-01 23:05:18 +020095 &ts -= 3
96 assert_equal(5, &ts)
97 &ts *= 2
98 assert_equal(10, &ts)
99 &ts /= 3
100 assert_equal(3, &ts)
101 set ts=10
102 &ts %= 4
103 assert_equal(2, &ts)
Bram Moolenaara8c17702020-04-01 21:17:24 +0200104 call CheckDefFailure(['&notex += 3'], 'E113:')
105 call CheckDefFailure(['&ts ..= "xxx"'], 'E1019:')
106 call CheckDefFailure(['&path += 3'], 'E1013:')
Bram Moolenaarcb711ab2020-04-16 13:00:29 +0200107 # test freeing ISN_STOREOPT
Bram Moolenaar585fea72020-04-02 22:33:21 +0200108 call CheckDefFailure(['&ts = 3', 'let asdf'], 'E1022:')
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200109 &ts = 8
Bram Moolenaara8c17702020-04-01 21:17:24 +0200110
111 g:inc_counter += 1
112 assert_equal(2, g:inc_counter)
113
114 $SOME_ENV_VAR ..= 'more'
115 assert_equal('somemore', $SOME_ENV_VAR)
116 call CheckDefFailure(['$SOME_ENV_VAR += "more"'], 'E1013:')
117 call CheckDefFailure(['$SOME_ENV_VAR += 123'], 'E1013:')
118
119 @a = 'areg'
120 @a ..= 'add'
121 assert_equal('aregadd', @a)
122 call CheckDefFailure(['@a += "more"'], 'E1013:')
123 call CheckDefFailure(['@a += 123'], 'E1013:')
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200124
125 v:errmsg = 'none'
126 v:errmsg ..= 'again'
127 assert_equal('noneagain', v:errmsg)
128 call CheckDefFailure(['v:errmsg += "more"'], 'E1013:')
129 call CheckDefFailure(['v:errmsg += 123'], 'E1013:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200130enddef
131
132def Test_assignment_default()
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200133
Bram Moolenaarcb711ab2020-04-16 13:00:29 +0200134 # Test default values.
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200135 let thebool: bool
136 assert_equal(v:false, thebool)
137
138 let thenumber: number
139 assert_equal(0, thenumber)
140
141 if has('float')
142 let thefloat: float
143 assert_equal(0.0, thefloat)
144 endif
145
146 let thestring: string
147 assert_equal('', thestring)
148
149 let theblob: blob
150 assert_equal(0z, theblob)
151
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200152 let Thefunc: func
153 assert_equal(test_null_function(), Thefunc)
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200154
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200155 let thelist: list<any>
156 assert_equal([], thelist)
157
158 let thedict: dict<any>
159 assert_equal({}, thedict)
160
Bram Moolenaar2c869de2020-04-02 19:12:08 +0200161 if has('channel')
162 let thejob: job
163 assert_equal(test_null_job(), thejob)
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200164
Bram Moolenaar2c869de2020-04-02 19:12:08 +0200165 let thechannel: channel
166 assert_equal(test_null_channel(), thechannel)
167 endif
Bram Moolenaar585fea72020-04-02 22:33:21 +0200168
169 let nr = 1234 | nr = 5678
170 assert_equal(5678, nr)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100171enddef
172
Bram Moolenaarcab27672020-04-09 20:10:55 +0200173def Mess(): string
174 v:foldstart = 123
175 return 'xxx'
176enddef
177
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100178func Test_assignment_failure()
179 call CheckDefFailure(['let var=234'], 'E1004:')
180 call CheckDefFailure(['let var =234'], 'E1004:')
181 call CheckDefFailure(['let var= 234'], 'E1004:')
182
183 call CheckDefFailure(['let true = 1'], 'E1034:')
184 call CheckDefFailure(['let false = 1'], 'E1034:')
185
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200186 call CheckDefFailure(['let [a; b; c] = g:list'], 'E452:')
187
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200188 call CheckDefFailure(['let somevar'], "E1022:")
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200189 call CheckDefFailure(['let &option'], 'E1052:')
190 call CheckDefFailure(['&g:option = 5'], 'E113:')
191
192 call CheckDefFailure(['let $VAR = 5'], 'E1065:')
193
194 call CheckDefFailure(['let @~ = 5'], 'E354:')
195 call CheckDefFailure(['let @a = 5'], 'E1066:')
196
197 call CheckDefFailure(['let g:var = 5'], 'E1016:')
198
199 call CheckDefFailure(['let anr = 4', 'anr ..= "text"'], 'E1019:')
200 call CheckDefFailure(['let xnr += 4'], 'E1020:')
201
Bram Moolenaar33fa29c2020-03-28 19:41:33 +0100202 call CheckScriptFailure(['vim9script', 'def Func()', 'let dummy = s:notfound', 'enddef'], 'E1050:')
203
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100204 call CheckDefFailure(['let var: list<string> = [123]'], 'expected list<string> but got list<number>')
205 call CheckDefFailure(['let var: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
206
207 call CheckDefFailure(['let var: dict<string> = #{key: 123}'], 'expected dict<string> but got dict<number>')
208 call CheckDefFailure(['let var: dict<number> = #{key: "xx"}'], 'expected dict<number> but got dict<string>')
209
210 call CheckDefFailure(['let var = feedkeys("0")'], 'E1031:')
211 call CheckDefFailure(['let var: number = feedkeys("0")'], 'expected number but got void')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100212
Bram Moolenaard77a8522020-04-03 21:59:57 +0200213 call CheckDefFailure(['let var: dict <number>'], 'E1068:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100214 call CheckDefFailure(['let var: dict<number'], 'E1009:')
Bram Moolenaarcab27672020-04-09 20:10:55 +0200215
216 call assert_fails('s/^/\=Mess()/n', 'E794:')
217 call CheckDefFailure(['let var: dict<number'], 'E1009:')
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100218endfunc
219
220func Test_wrong_type()
221 call CheckDefFailure(['let var: list<nothing>'], 'E1010:')
222 call CheckDefFailure(['let var: list<list<nothing>>'], 'E1010:')
223 call CheckDefFailure(['let var: dict<nothing>'], 'E1010:')
224 call CheckDefFailure(['let var: dict<dict<nothing>>'], 'E1010:')
225
226 call CheckDefFailure(['let var: dict<number'], 'E1009:')
227 call CheckDefFailure(['let var: dict<list<number>'], 'E1009:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100228
229 call CheckDefFailure(['let var: ally'], 'E1010:')
230 call CheckDefFailure(['let var: bram'], 'E1010:')
231 call CheckDefFailure(['let var: cathy'], 'E1010:')
232 call CheckDefFailure(['let var: dom'], 'E1010:')
233 call CheckDefFailure(['let var: freddy'], 'E1010:')
234 call CheckDefFailure(['let var: john'], 'E1010:')
235 call CheckDefFailure(['let var: larry'], 'E1010:')
236 call CheckDefFailure(['let var: ned'], 'E1010:')
237 call CheckDefFailure(['let var: pam'], 'E1010:')
238 call CheckDefFailure(['let var: sam'], 'E1010:')
239 call CheckDefFailure(['let var: vim'], 'E1010:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100240endfunc
241
242func Test_const()
243 call CheckDefFailure(['const var = 234', 'var = 99'], 'E1018:')
244 call CheckDefFailure(['const one = 234', 'let one = 99'], 'E1017:')
245 call CheckDefFailure(['const two'], 'E1021:')
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200246 call CheckDefFailure(['const &option'], 'E996:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100247endfunc
248
249def Test_block()
250 let outer = 1
251 {
252 let inner = 2
253 assert_equal(1, outer)
254 assert_equal(2, inner)
255 }
256 assert_equal(1, outer)
257enddef
258
259func Test_block_failure()
260 call CheckDefFailure(['{', 'let inner = 1', '}', 'echo inner'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200261 call CheckDefFailure(['}'], 'E1025:')
262 call CheckDefFailure(['{', 'echo 1'], 'E1026:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100263endfunc
264
Bram Moolenaar585fea72020-04-02 22:33:21 +0200265def Test_cmd_modifier()
266 tab echo '0'
267 call CheckDefFailure(['5tab echo 3'], 'E16:')
268enddef
269
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100270def Test_try_catch()
271 let l = []
272 try
273 add(l, '1')
274 throw 'wrong'
275 add(l, '2')
276 catch
277 add(l, v:exception)
278 finally
279 add(l, '3')
280 endtry
281 assert_equal(['1', 'wrong', '3'], l)
282enddef
283
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100284def ThrowFromDef()
285 throw 'getout'
286enddef
287
288func CatchInFunc()
289 try
290 call ThrowFromDef()
291 catch
292 let g:thrown_func = v:exception
293 endtry
294endfunc
295
296def CatchInDef()
297 try
298 ThrowFromDef()
299 catch
300 g:thrown_def = v:exception
301 endtry
302enddef
303
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100304def ReturnFinally(): string
305 try
306 return 'intry'
307 finally
308 g:in_finally = 'finally'
309 endtry
310 return 'end'
311enddef
312
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100313def Test_try_catch_nested()
314 CatchInFunc()
315 assert_equal('getout', g:thrown_func)
316
317 CatchInDef()
318 assert_equal('getout', g:thrown_def)
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100319
320 assert_equal('intry', ReturnFinally())
321 assert_equal('finally', g:in_finally)
322enddef
323
324def Test_try_catch_match()
325 let seq = 'a'
326 try
327 throw 'something'
328 catch /nothing/
329 seq ..= 'x'
330 catch /some/
331 seq ..= 'b'
332 catch /asdf/
333 seq ..= 'x'
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200334 catch ?a\?sdf?
335 seq ..= 'y'
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100336 finally
337 seq ..= 'c'
338 endtry
339 assert_equal('abc', seq)
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100340enddef
341
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200342def Test_try_catch_fails()
343 call CheckDefFailure(['catch'], 'E603:')
344 call CheckDefFailure(['try', 'echo 0', 'catch','catch'], 'E1033:')
345 call CheckDefFailure(['try', 'echo 0', 'catch /pat'], 'E1067:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200346 call CheckDefFailure(['finally'], 'E606:')
347 call CheckDefFailure(['try', 'echo 0', 'finally', 'echo 1', 'finally'], 'E607:')
348 call CheckDefFailure(['endtry'], 'E602:')
349 call CheckDefFailure(['while 1', 'endtry'], 'E170:')
350 call CheckDefFailure(['for i in range(5)', 'endtry'], 'E170:')
351 call CheckDefFailure(['if 2', 'endtry'], 'E171:')
352 call CheckDefFailure(['try', 'echo 1', 'endtry'], 'E1032:')
353
354 call CheckDefFailure(['throw'], 'E471:')
355 call CheckDefFailure(['throw xxx'], 'E1001:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200356enddef
357
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100358let s:export_script_lines =<< trim END
359 vim9script
360 let name: string = 'bob'
361 def Concat(arg: string): string
362 return name .. arg
363 enddef
364 let g:result = Concat('bie')
365 let g:localname = name
366
367 export const CONST = 1234
368 export let exported = 9876
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100369 export let exp_name = 'John'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100370 export def Exported(): string
371 return 'Exported'
372 enddef
373END
374
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100375def Test_vim9_import_export()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100376 let import_script_lines =<< trim END
377 vim9script
378 import {exported, Exported} from './Xexport.vim'
379 g:imported = exported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100380 exported += 3
381 g:imported_added = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100382 g:imported_func = Exported()
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100383
384 import {exp_name} from './Xexport.vim'
385 g:imported_name = exp_name
386 exp_name ..= ' Doe'
387 g:imported_name_appended = exp_name
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100388 g:imported_later = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100389 END
390
391 writefile(import_script_lines, 'Ximport.vim')
392 writefile(s:export_script_lines, 'Xexport.vim')
393
394 source Ximport.vim
395
396 assert_equal('bobbie', g:result)
397 assert_equal('bob', g:localname)
398 assert_equal(9876, g:imported)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100399 assert_equal(9879, g:imported_added)
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100400 assert_equal(9879, g:imported_later)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100401 assert_equal('Exported', g:imported_func)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100402 assert_equal('John', g:imported_name)
403 assert_equal('John Doe', g:imported_name_appended)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100404 assert_false(exists('g:name'))
405
406 unlet g:result
407 unlet g:localname
408 unlet g:imported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100409 unlet g:imported_added
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100410 unlet g:imported_later
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100411 unlet g:imported_func
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100412 unlet g:imported_name g:imported_name_appended
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100413 delete('Ximport.vim')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100414
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100415 let import_in_def_lines =<< trim END
416 vim9script
417 def ImportInDef()
418 import exported from './Xexport.vim'
419 g:imported = exported
420 exported += 7
421 g:imported_added = exported
422 enddef
423 ImportInDef()
424 END
425 writefile(import_in_def_lines, 'Ximport2.vim')
426 source Ximport2.vim
427 " TODO: this should be 9879
428 assert_equal(9876, g:imported)
429 assert_equal(9883, g:imported_added)
430 unlet g:imported
431 unlet g:imported_added
432 delete('Ximport2.vim')
433
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100434 let import_star_as_lines =<< trim END
435 vim9script
436 import * as Export from './Xexport.vim'
437 def UseExport()
438 g:imported = Export.exported
439 enddef
440 UseExport()
441 END
442 writefile(import_star_as_lines, 'Ximport.vim')
443 source Ximport.vim
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100444 assert_equal(9883, g:imported)
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100445
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100446 let import_star_as_lines_no_dot =<< trim END
447 vim9script
448 import * as Export from './Xexport.vim'
449 def Func()
450 let dummy = 1
451 let imported = Export + dummy
452 enddef
453 END
454 writefile(import_star_as_lines_no_dot, 'Ximport.vim')
455 assert_fails('source Ximport.vim', 'E1060:')
456
457 let import_star_as_lines_dot_space =<< trim END
458 vim9script
459 import * as Export from './Xexport.vim'
460 def Func()
461 let imported = Export . exported
462 enddef
463 END
464 writefile(import_star_as_lines_dot_space, 'Ximport.vim')
465 assert_fails('source Ximport.vim', 'E1074:')
466
467 let import_star_as_lines_missing_name =<< trim END
468 vim9script
469 import * as Export from './Xexport.vim'
470 def Func()
471 let imported = Export.
472 enddef
473 END
474 writefile(import_star_as_lines_missing_name, 'Ximport.vim')
475 assert_fails('source Ximport.vim', 'E1048:')
476
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100477 let import_star_lines =<< trim END
478 vim9script
479 import * from './Xexport.vim'
480 g:imported = exported
481 END
482 writefile(import_star_lines, 'Ximport.vim')
483 assert_fails('source Ximport.vim', 'E1045:')
484
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100485 " try to import something that exists but is not exported
486 let import_not_exported_lines =<< trim END
487 vim9script
488 import name from './Xexport.vim'
489 END
490 writefile(import_not_exported_lines, 'Ximport.vim')
491 assert_fails('source Ximport.vim', 'E1049:')
492
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100493 " try to import something that is already defined
494 let import_already_defined =<< trim END
495 vim9script
496 let exported = 'something'
497 import exported from './Xexport.vim'
498 END
499 writefile(import_already_defined, 'Ximport.vim')
500 assert_fails('source Ximport.vim', 'E1073:')
501
502 " try to import something that is already defined
503 import_already_defined =<< trim END
504 vim9script
505 let exported = 'something'
506 import * as exported from './Xexport.vim'
507 END
508 writefile(import_already_defined, 'Ximport.vim')
509 assert_fails('source Ximport.vim', 'E1073:')
510
511 " try to import something that is already defined
512 import_already_defined =<< trim END
513 vim9script
514 let exported = 'something'
515 import {exported} from './Xexport.vim'
516 END
517 writefile(import_already_defined, 'Ximport.vim')
518 assert_fails('source Ximport.vim', 'E1073:')
519
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100520 " import a very long name, requires making a copy
521 let import_long_name_lines =<< trim END
522 vim9script
523 import name012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789 from './Xexport.vim'
524 END
525 writefile(import_long_name_lines, 'Ximport.vim')
526 assert_fails('source Ximport.vim', 'E1048:')
527
528 let import_no_from_lines =<< trim END
529 vim9script
530 import name './Xexport.vim'
531 END
532 writefile(import_no_from_lines, 'Ximport.vim')
533 assert_fails('source Ximport.vim', 'E1070:')
534
535 let import_invalid_string_lines =<< trim END
536 vim9script
537 import name from Xexport.vim
538 END
539 writefile(import_invalid_string_lines, 'Ximport.vim')
540 assert_fails('source Ximport.vim', 'E1071:')
541
542 let import_wrong_name_lines =<< trim END
543 vim9script
544 import name from './XnoExport.vim'
545 END
546 writefile(import_wrong_name_lines, 'Ximport.vim')
547 assert_fails('source Ximport.vim', 'E1053:')
548
549 let import_missing_comma_lines =<< trim END
550 vim9script
551 import {exported name} from './Xexport.vim'
552 END
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100553 writefile(import_missing_comma_lines, 'Ximport3.vim')
554 assert_fails('source Ximport3.vim', 'E1046:')
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100555
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100556 delete('Ximport.vim')
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100557 delete('Ximport3.vim')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100558 delete('Xexport.vim')
559
Bram Moolenaar750802b2020-02-23 18:08:33 +0100560 " Check that in a Vim9 script 'cpo' is set to the Vim default.
561 set cpo&vi
562 let cpo_before = &cpo
563 let lines =<< trim END
564 vim9script
565 g:cpo_in_vim9script = &cpo
566 END
567 writefile(lines, 'Xvim9_script')
568 source Xvim9_script
569 assert_equal(cpo_before, &cpo)
570 set cpo&vim
571 assert_equal(&cpo, g:cpo_in_vim9script)
572 delete('Xvim9_script')
573enddef
574
575def Test_vim9script_fails()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100576 CheckScriptFailure(['scriptversion 2', 'vim9script'], 'E1039:')
577 CheckScriptFailure(['vim9script', 'scriptversion 2'], 'E1040:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100578 CheckScriptFailure(['export let some = 123'], 'E1042:')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100579 CheckScriptFailure(['import some from "./Xexport.vim"'], 'E1042:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100580 CheckScriptFailure(['vim9script', 'export let g:some'], 'E1044:')
581 CheckScriptFailure(['vim9script', 'export echo 134'], 'E1043:')
582
583 assert_fails('vim9script', 'E1038')
584 assert_fails('export something', 'E1042')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100585enddef
586
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100587def Test_vim9script_reload()
588 let lines =<< trim END
589 vim9script
590 const var = ''
591 let valone = 1234
592 def MyFunc(arg: string)
593 valone = 5678
594 enddef
595 END
596 let morelines =<< trim END
597 let valtwo = 222
598 export def GetValtwo(): number
599 return valtwo
600 enddef
601 END
Bram Moolenaar675f7162020-04-12 22:53:54 +0200602 writefile(lines + morelines,
603 'Xreload.vim')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100604 source Xreload.vim
605 source Xreload.vim
606 source Xreload.vim
607
608 let testlines =<< trim END
609 vim9script
610 def TheFunc()
611 import GetValtwo from './Xreload.vim'
612 assert_equal(222, GetValtwo())
613 enddef
614 TheFunc()
615 END
616 writefile(testlines, 'Ximport.vim')
617 source Ximport.vim
618
619 " test that when not using "morelines" valtwo is still defined
620 " need to source Xreload.vim again, import doesn't reload a script
621 writefile(lines, 'Xreload.vim')
622 source Xreload.vim
623 source Ximport.vim
624
625 " cannot declare a var twice
626 lines =<< trim END
627 vim9script
628 let valone = 1234
629 let valone = 5678
630 END
631 writefile(lines, 'Xreload.vim')
632 assert_fails('source Xreload.vim', 'E1041:')
633
634 delete('Xreload.vim')
635 delete('Ximport.vim')
636enddef
637
638def Test_import_absolute()
639 let import_lines = [
Bram Moolenaare6085c52020-04-12 20:19:16 +0200640 'vim9script',
641 'import exported from "' .. escape(getcwd(), '\') .. '/Xexport_abs.vim"',
642 'def UseExported()',
643 ' g:imported_abs = exported',
644 ' exported = 8888',
645 ' g:imported_after = exported',
646 'enddef',
647 'UseExported()',
648 'g:import_disassembled = execute("disass UseExported")',
649 ]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100650 writefile(import_lines, 'Ximport_abs.vim')
651 writefile(s:export_script_lines, 'Xexport_abs.vim')
652
653 source Ximport_abs.vim
654
655 assert_equal(9876, g:imported_abs)
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100656 assert_equal(8888, g:imported_after)
Bram Moolenaar675f7162020-04-12 22:53:54 +0200657 assert_match('<SNR>\d\+_UseExported.*' ..
658 'g:imported_abs = exported.*' ..
659 '0 LOADSCRIPT exported from .*Xexport_abs.vim.*' ..
660 '1 STOREG g:imported_abs.*' ..
661 'exported = 8888.*' ..
662 '3 STORESCRIPT exported in .*Xexport_abs.vim.*' ..
663 'g:imported_after = exported.*' ..
664 '4 LOADSCRIPT exported from .*Xexport_abs.vim.*' ..
665 '5 STOREG g:imported_after.*',
Bram Moolenaare6085c52020-04-12 20:19:16 +0200666 g:import_disassembled)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100667 unlet g:imported_abs
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100668 unlet g:import_disassembled
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100669
670 delete('Ximport_abs.vim')
671 delete('Xexport_abs.vim')
672enddef
673
674def Test_import_rtp()
675 let import_lines = [
Bram Moolenaare6085c52020-04-12 20:19:16 +0200676 'vim9script',
677 'import exported from "Xexport_rtp.vim"',
678 'g:imported_rtp = exported',
679 ]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100680 writefile(import_lines, 'Ximport_rtp.vim')
681 mkdir('import')
682 writefile(s:export_script_lines, 'import/Xexport_rtp.vim')
683
684 let save_rtp = &rtp
685 &rtp = getcwd()
686 source Ximport_rtp.vim
687 &rtp = save_rtp
688
689 assert_equal(9876, g:imported_rtp)
690 unlet g:imported_rtp
691
692 delete('Ximport_rtp.vim')
693 delete('import/Xexport_rtp.vim')
694 delete('import', 'd')
695enddef
696
697def Test_fixed_size_list()
698 " will be allocated as one piece of memory, check that changes work
699 let l = [1, 2, 3, 4]
700 l->remove(0)
701 l->add(5)
702 l->insert(99, 1)
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100703 assert_equal([2, 99, 3, 4, 5], l)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100704enddef
705
Bram Moolenaar158906c2020-02-06 20:39:45 +0100706def IfElse(what: number): string
707 let res = ''
708 if what == 1
709 res = "one"
710 elseif what == 2
711 res = "two"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100712 else
Bram Moolenaar158906c2020-02-06 20:39:45 +0100713 res = "three"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100714 endif
Bram Moolenaar158906c2020-02-06 20:39:45 +0100715 return res
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100716enddef
717
Bram Moolenaar158906c2020-02-06 20:39:45 +0100718def Test_if_elseif_else()
719 assert_equal('one', IfElse(1))
720 assert_equal('two', IfElse(2))
721 assert_equal('three', IfElse(3))
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100722enddef
723
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200724def Test_if_elseif_else_fails()
725 call CheckDefFailure(['elseif true'], 'E582:')
726 call CheckDefFailure(['else'], 'E581:')
727 call CheckDefFailure(['endif'], 'E580:')
728 call CheckDefFailure(['if true', 'elseif xxx'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200729 call CheckDefFailure(['if true', 'echo 1'], 'E171:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200730enddef
731
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100732let g:bool_true = v:true
733let g:bool_false = v:false
734
735def Test_if_const_expr()
736 let res = false
737 if true ? true : false
738 res = true
739 endif
740 assert_equal(true, res)
741
Bram Moolenaar585fea72020-04-02 22:33:21 +0200742 g:glob = 2
743 if false
744 execute('let g:glob = 3')
745 endif
746 assert_equal(2, g:glob)
747 if true
748 execute('let g:glob = 3')
749 endif
750 assert_equal(3, g:glob)
751
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100752 res = false
753 if g:bool_true ? true : false
754 res = true
755 endif
756 assert_equal(true, res)
757
758 res = false
759 if true ? g:bool_true : false
760 res = true
761 endif
762 assert_equal(true, res)
763
764 res = false
765 if true ? true : g:bool_false
766 res = true
767 endif
768 assert_equal(true, res)
769
770 res = false
771 if true ? false : true
772 res = true
773 endif
774 assert_equal(false, res)
775
776 res = false
777 if false ? false : true
778 res = true
779 endif
780 assert_equal(true, res)
781
782 res = false
783 if false ? true : false
784 res = true
785 endif
786 assert_equal(false, res)
787
788 res = false
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200789 if has('xyz') ? true : false
790 res = true
791 endif
792 assert_equal(false, res)
793
794 res = false
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100795 if true && true
796 res = true
797 endif
798 assert_equal(true, res)
799
800 res = false
801 if true && false
802 res = true
803 endif
804 assert_equal(false, res)
805
806 res = false
807 if g:bool_true && false
808 res = true
809 endif
810 assert_equal(false, res)
811
812 res = false
813 if true && g:bool_false
814 res = true
815 endif
816 assert_equal(false, res)
817
818 res = false
819 if false && false
820 res = true
821 endif
822 assert_equal(false, res)
823
824 res = false
825 if true || false
826 res = true
827 endif
828 assert_equal(true, res)
829
830 res = false
831 if g:bool_true || false
832 res = true
833 endif
834 assert_equal(true, res)
835
836 res = false
837 if true || g:bool_false
838 res = true
839 endif
840 assert_equal(true, res)
841
842 res = false
843 if false || false
844 res = true
845 endif
846 assert_equal(false, res)
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200847enddef
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100848
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200849def Test_if_const_expr_fails()
850 call CheckDefFailure(['if "aaa" == "bbb'], 'E114:')
851 call CheckDefFailure(["if 'aaa' == 'bbb"], 'E115:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200852 call CheckDefFailure(["if has('aaa'"], 'E110:')
853 call CheckDefFailure(["if has('aaa') ? true false"], 'E109:')
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100854enddef
855
Bram Moolenaarad39c092020-02-26 18:23:43 +0100856def Test_execute_cmd()
857 new
858 setline(1, 'default')
859 execute 'call setline(1, "execute-string")'
860 assert_equal('execute-string', getline(1))
861 let cmd1 = 'call setline(1,'
862 let cmd2 = '"execute-var")'
863 execute cmd1 cmd2
864 assert_equal('execute-var', getline(1))
865 execute cmd1 cmd2 '|call setline(1, "execute-var-string")'
866 assert_equal('execute-var-string', getline(1))
867 let cmd_first = 'call '
868 let cmd_last = 'setline(1, "execute-var-var")'
869 execute cmd_first .. cmd_last
870 assert_equal('execute-var-var', getline(1))
871 bwipe!
Bram Moolenaar585fea72020-04-02 22:33:21 +0200872
873 call CheckDefFailure(['execute xxx'], 'E1001:')
Bram Moolenaarad39c092020-02-26 18:23:43 +0100874enddef
875
876def Test_echo_cmd()
Bram Moolenaar585fea72020-04-02 22:33:21 +0200877 echo 'some'
878 echon 'thing'
Bram Moolenaarad39c092020-02-26 18:23:43 +0100879 assert_match('^something$', Screenline(&lines))
880
881 let str1 = 'some'
882 let str2 = 'more'
883 echo str1 str2
884 assert_match('^some more$', Screenline(&lines))
885enddef
886
Bram Moolenaar41fe0612020-03-01 16:22:40 +0100887def Test_for_outside_of_function()
888 let lines =<< trim END
889 vim9script
890 new
891 for var in range(0, 3)
892 append(line('$'), var)
893 endfor
894 assert_equal(['', '0', '1', '2', '3'], getline(1, '$'))
895 bwipe!
896 END
897 writefile(lines, 'Xvim9for.vim')
898 source Xvim9for.vim
899 delete('Xvim9for.vim')
900enddef
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100901
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200902def Test_for_loop()
903 let result = ''
904 for cnt in range(7)
905 if cnt == 4
906 break
907 endif
908 if cnt == 2
909 continue
910 endif
911 result ..= cnt .. '_'
912 endfor
913 assert_equal('0_1_3_', result)
914enddef
915
916def Test_for_loop_fails()
Bram Moolenaar675f7162020-04-12 22:53:54 +0200917 CheckDefFailure(['for # in range(5)'], 'E690:')
918 CheckDefFailure(['for i In range(5)'], 'E690:')
919 CheckDefFailure(['let x = 5', 'for x in range(5)'], 'E1023:')
Bram Moolenaar6e949782020-04-13 17:21:00 +0200920 CheckScriptFailure(['def Func(arg: any)', 'for arg in range(5)', 'enddef'], 'E1006:')
Bram Moolenaar675f7162020-04-12 22:53:54 +0200921 CheckDefFailure(['for i in "text"'], 'E1024:')
922 CheckDefFailure(['for i in xxx'], 'E1001:')
923 CheckDefFailure(['endfor'], 'E588:')
924 CheckDefFailure(['for i in range(3)', 'echo 3'], 'E170:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200925enddef
926
Bram Moolenaard0df1aa2020-03-04 21:50:46 +0100927def Test_while_loop()
928 let result = ''
929 let cnt = 0
930 while cnt < 555
931 if cnt == 3
932 break
933 endif
934 cnt += 1
935 if cnt == 2
936 continue
937 endif
938 result ..= cnt .. '_'
939 endwhile
940 assert_equal('1_3_', result)
941enddef
942
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200943def Test_while_loop_fails()
Bram Moolenaar675f7162020-04-12 22:53:54 +0200944 CheckDefFailure(['while xxx'], 'E1001:')
945 CheckDefFailure(['endwhile'], 'E588:')
946 CheckDefFailure(['continue'], 'E586:')
947 CheckDefFailure(['if true', 'continue'], 'E586:')
948 CheckDefFailure(['break'], 'E587:')
949 CheckDefFailure(['if true', 'break'], 'E587:')
950 CheckDefFailure(['while 1', 'echo 3'], 'E170:')
Bram Moolenaarbd5da372020-03-31 23:13:10 +0200951enddef
952
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100953def Test_interrupt_loop()
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100954 let caught = false
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100955 let x = 0
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100956 try
957 while 1
958 x += 1
959 if x == 100
960 feedkeys("\<C-C>", 'Lt')
961 endif
962 endwhile
963 catch
964 caught = true
965 assert_equal(100, x)
966 endtry
967 assert_true(caught, 'should have caught an exception')
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100968enddef
Bram Moolenaar20431c92020-03-20 18:39:46 +0100969
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200970def Test_automatic_line_continuation()
971 let mylist = [
972 'one',
973 'two',
974 'three',
975 ] " comment
976 assert_equal(['one', 'two', 'three'], mylist)
977
978 let mydict = {
979 'one': 1,
980 'two': 2,
981 'three':
982 3,
983 } " comment
984 assert_equal({'one': 1, 'two': 2, 'three': 3}, mydict)
985 mydict = #{
Bram Moolenaar2c330432020-04-13 14:41:35 +0200986 one: 1, # comment
987 two: # comment
988 2, # comment
989 three: 3 # comment
990 }
991 assert_equal(#{one: 1, two: 2, three: 3}, mydict)
992 mydict = #{
993 one: 1,
994 two:
995 2,
996 three: 3
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200997 }
998 assert_equal(#{one: 1, two: 2, three: 3}, mydict)
Bram Moolenaare6085c52020-04-12 20:19:16 +0200999
1000 assert_equal(
1001 ['one', 'two', 'three'],
1002 split('one two three')
1003 )
Bram Moolenaar4fdae992020-04-12 16:38:57 +02001004enddef
1005
Bram Moolenaar585fea72020-04-02 22:33:21 +02001006" Keep this last, it messes up highlighting.
1007def Test_substitute_cmd()
1008 new
1009 setline(1, 'something')
1010 :substitute(some(other(
1011 assert_equal('otherthing', getline(1))
1012 bwipe!
1013
1014 " also when the context is Vim9 script
1015 let lines =<< trim END
1016 vim9script
1017 new
1018 setline(1, 'something')
1019 :substitute(some(other(
1020 assert_equal('otherthing', getline(1))
1021 bwipe!
1022 END
1023 writefile(lines, 'Xvim9lines')
1024 source Xvim9lines
1025
1026 delete('Xvim9lines')
1027enddef
1028
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001029" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker