blob: cab9f863049a07e184b44e473ce71c0e94e9b8a2 [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 Moolenaar61a6d4e2020-03-01 23:32:25 +010066 " type becomes list<any>
67 let somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
Bram Moolenaar5381c7a2020-03-02 22:53:32 +010068 " type becomes dict<any>
69 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 Moolenaar585fea72020-04-02 22:33:21 +0200107 " test freeing ISN_STOREOPT
108 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
134 " Test default values.
135 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
173func Test_assignment_failure()
174 call CheckDefFailure(['let var=234'], 'E1004:')
175 call CheckDefFailure(['let var =234'], 'E1004:')
176 call CheckDefFailure(['let var= 234'], 'E1004:')
177
178 call CheckDefFailure(['let true = 1'], 'E1034:')
179 call CheckDefFailure(['let false = 1'], 'E1034:')
180
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200181 call CheckDefFailure(['let [a; b; c] = g:list'], 'E452:')
182
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200183 call CheckDefFailure(['let somevar'], "E1022:")
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200184 call CheckDefFailure(['let &option'], 'E1052:')
185 call CheckDefFailure(['&g:option = 5'], 'E113:')
186
187 call CheckDefFailure(['let $VAR = 5'], 'E1065:')
188
189 call CheckDefFailure(['let @~ = 5'], 'E354:')
190 call CheckDefFailure(['let @a = 5'], 'E1066:')
191
192 call CheckDefFailure(['let g:var = 5'], 'E1016:')
193
194 call CheckDefFailure(['let anr = 4', 'anr ..= "text"'], 'E1019:')
195 call CheckDefFailure(['let xnr += 4'], 'E1020:')
196
Bram Moolenaar33fa29c2020-03-28 19:41:33 +0100197 call CheckScriptFailure(['vim9script', 'def Func()', 'let dummy = s:notfound', 'enddef'], 'E1050:')
198
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100199 call CheckDefFailure(['let var: list<string> = [123]'], 'expected list<string> but got list<number>')
200 call CheckDefFailure(['let var: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
201
202 call CheckDefFailure(['let var: dict<string> = #{key: 123}'], 'expected dict<string> but got dict<number>')
203 call CheckDefFailure(['let var: dict<number> = #{key: "xx"}'], 'expected dict<number> but got dict<string>')
204
205 call CheckDefFailure(['let var = feedkeys("0")'], 'E1031:')
206 call CheckDefFailure(['let var: number = feedkeys("0")'], 'expected number but got void')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100207
Bram Moolenaard77a8522020-04-03 21:59:57 +0200208 call CheckDefFailure(['let var: dict <number>'], 'E1068:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100209 call CheckDefFailure(['let var: dict<number'], 'E1009:')
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100210endfunc
211
212func Test_wrong_type()
213 call CheckDefFailure(['let var: list<nothing>'], 'E1010:')
214 call CheckDefFailure(['let var: list<list<nothing>>'], 'E1010:')
215 call CheckDefFailure(['let var: dict<nothing>'], 'E1010:')
216 call CheckDefFailure(['let var: dict<dict<nothing>>'], 'E1010:')
217
218 call CheckDefFailure(['let var: dict<number'], 'E1009:')
219 call CheckDefFailure(['let var: dict<list<number>'], 'E1009:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100220
221 call CheckDefFailure(['let var: ally'], 'E1010:')
222 call CheckDefFailure(['let var: bram'], 'E1010:')
223 call CheckDefFailure(['let var: cathy'], 'E1010:')
224 call CheckDefFailure(['let var: dom'], 'E1010:')
225 call CheckDefFailure(['let var: freddy'], 'E1010:')
226 call CheckDefFailure(['let var: john'], 'E1010:')
227 call CheckDefFailure(['let var: larry'], 'E1010:')
228 call CheckDefFailure(['let var: ned'], 'E1010:')
229 call CheckDefFailure(['let var: pam'], 'E1010:')
230 call CheckDefFailure(['let var: sam'], 'E1010:')
231 call CheckDefFailure(['let var: vim'], 'E1010:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100232endfunc
233
234func Test_const()
235 call CheckDefFailure(['const var = 234', 'var = 99'], 'E1018:')
236 call CheckDefFailure(['const one = 234', 'let one = 99'], 'E1017:')
237 call CheckDefFailure(['const two'], 'E1021:')
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200238 call CheckDefFailure(['const &option'], 'E996:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100239endfunc
240
241def Test_block()
242 let outer = 1
243 {
244 let inner = 2
245 assert_equal(1, outer)
246 assert_equal(2, inner)
247 }
248 assert_equal(1, outer)
249enddef
250
251func Test_block_failure()
252 call CheckDefFailure(['{', 'let inner = 1', '}', 'echo inner'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200253 call CheckDefFailure(['}'], 'E1025:')
254 call CheckDefFailure(['{', 'echo 1'], 'E1026:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100255endfunc
256
Bram Moolenaar585fea72020-04-02 22:33:21 +0200257def Test_cmd_modifier()
258 tab echo '0'
259 call CheckDefFailure(['5tab echo 3'], 'E16:')
260enddef
261
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100262def Test_try_catch()
263 let l = []
264 try
265 add(l, '1')
266 throw 'wrong'
267 add(l, '2')
268 catch
269 add(l, v:exception)
270 finally
271 add(l, '3')
272 endtry
273 assert_equal(['1', 'wrong', '3'], l)
274enddef
275
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100276def ThrowFromDef()
277 throw 'getout'
278enddef
279
280func CatchInFunc()
281 try
282 call ThrowFromDef()
283 catch
284 let g:thrown_func = v:exception
285 endtry
286endfunc
287
288def CatchInDef()
289 try
290 ThrowFromDef()
291 catch
292 g:thrown_def = v:exception
293 endtry
294enddef
295
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100296def ReturnFinally(): string
297 try
298 return 'intry'
299 finally
300 g:in_finally = 'finally'
301 endtry
302 return 'end'
303enddef
304
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100305def Test_try_catch_nested()
306 CatchInFunc()
307 assert_equal('getout', g:thrown_func)
308
309 CatchInDef()
310 assert_equal('getout', g:thrown_def)
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100311
312 assert_equal('intry', ReturnFinally())
313 assert_equal('finally', g:in_finally)
314enddef
315
316def Test_try_catch_match()
317 let seq = 'a'
318 try
319 throw 'something'
320 catch /nothing/
321 seq ..= 'x'
322 catch /some/
323 seq ..= 'b'
324 catch /asdf/
325 seq ..= 'x'
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200326 catch ?a\?sdf?
327 seq ..= 'y'
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100328 finally
329 seq ..= 'c'
330 endtry
331 assert_equal('abc', seq)
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100332enddef
333
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200334def Test_try_catch_fails()
335 call CheckDefFailure(['catch'], 'E603:')
336 call CheckDefFailure(['try', 'echo 0', 'catch','catch'], 'E1033:')
337 call CheckDefFailure(['try', 'echo 0', 'catch /pat'], 'E1067:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200338 call CheckDefFailure(['finally'], 'E606:')
339 call CheckDefFailure(['try', 'echo 0', 'finally', 'echo 1', 'finally'], 'E607:')
340 call CheckDefFailure(['endtry'], 'E602:')
341 call CheckDefFailure(['while 1', 'endtry'], 'E170:')
342 call CheckDefFailure(['for i in range(5)', 'endtry'], 'E170:')
343 call CheckDefFailure(['if 2', 'endtry'], 'E171:')
344 call CheckDefFailure(['try', 'echo 1', 'endtry'], 'E1032:')
345
346 call CheckDefFailure(['throw'], 'E471:')
347 call CheckDefFailure(['throw xxx'], 'E1001:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200348enddef
349
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100350let s:export_script_lines =<< trim END
351 vim9script
352 let name: string = 'bob'
353 def Concat(arg: string): string
354 return name .. arg
355 enddef
356 let g:result = Concat('bie')
357 let g:localname = name
358
359 export const CONST = 1234
360 export let exported = 9876
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100361 export let exp_name = 'John'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100362 export def Exported(): string
363 return 'Exported'
364 enddef
365END
366
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100367def Test_vim9_import_export()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100368 let import_script_lines =<< trim END
369 vim9script
370 import {exported, Exported} from './Xexport.vim'
371 g:imported = exported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100372 exported += 3
373 g:imported_added = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100374 g:imported_func = Exported()
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100375
376 import {exp_name} from './Xexport.vim'
377 g:imported_name = exp_name
378 exp_name ..= ' Doe'
379 g:imported_name_appended = exp_name
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100380 g:imported_later = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100381 END
382
383 writefile(import_script_lines, 'Ximport.vim')
384 writefile(s:export_script_lines, 'Xexport.vim')
385
386 source Ximport.vim
387
388 assert_equal('bobbie', g:result)
389 assert_equal('bob', g:localname)
390 assert_equal(9876, g:imported)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100391 assert_equal(9879, g:imported_added)
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100392 assert_equal(9879, g:imported_later)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100393 assert_equal('Exported', g:imported_func)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100394 assert_equal('John', g:imported_name)
395 assert_equal('John Doe', g:imported_name_appended)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100396 assert_false(exists('g:name'))
397
398 unlet g:result
399 unlet g:localname
400 unlet g:imported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100401 unlet g:imported_added
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100402 unlet g:imported_later
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100403 unlet g:imported_func
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100404 unlet g:imported_name g:imported_name_appended
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100405 delete('Ximport.vim')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100406
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100407 let import_in_def_lines =<< trim END
408 vim9script
409 def ImportInDef()
410 import exported from './Xexport.vim'
411 g:imported = exported
412 exported += 7
413 g:imported_added = exported
414 enddef
415 ImportInDef()
416 END
417 writefile(import_in_def_lines, 'Ximport2.vim')
418 source Ximport2.vim
419 " TODO: this should be 9879
420 assert_equal(9876, g:imported)
421 assert_equal(9883, g:imported_added)
422 unlet g:imported
423 unlet g:imported_added
424 delete('Ximport2.vim')
425
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100426 let import_star_as_lines =<< trim END
427 vim9script
428 import * as Export from './Xexport.vim'
429 def UseExport()
430 g:imported = Export.exported
431 enddef
432 UseExport()
433 END
434 writefile(import_star_as_lines, 'Ximport.vim')
435 source Ximport.vim
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100436 assert_equal(9883, g:imported)
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100437
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100438 let import_star_as_lines_no_dot =<< trim END
439 vim9script
440 import * as Export from './Xexport.vim'
441 def Func()
442 let dummy = 1
443 let imported = Export + dummy
444 enddef
445 END
446 writefile(import_star_as_lines_no_dot, 'Ximport.vim')
447 assert_fails('source Ximport.vim', 'E1060:')
448
449 let import_star_as_lines_dot_space =<< trim END
450 vim9script
451 import * as Export from './Xexport.vim'
452 def Func()
453 let imported = Export . exported
454 enddef
455 END
456 writefile(import_star_as_lines_dot_space, 'Ximport.vim')
457 assert_fails('source Ximport.vim', 'E1074:')
458
459 let import_star_as_lines_missing_name =<< trim END
460 vim9script
461 import * as Export from './Xexport.vim'
462 def Func()
463 let imported = Export.
464 enddef
465 END
466 writefile(import_star_as_lines_missing_name, 'Ximport.vim')
467 assert_fails('source Ximport.vim', 'E1048:')
468
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100469 let import_star_lines =<< trim END
470 vim9script
471 import * from './Xexport.vim'
472 g:imported = exported
473 END
474 writefile(import_star_lines, 'Ximport.vim')
475 assert_fails('source Ximport.vim', 'E1045:')
476
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100477 " try to import something that exists but is not exported
478 let import_not_exported_lines =<< trim END
479 vim9script
480 import name from './Xexport.vim'
481 END
482 writefile(import_not_exported_lines, 'Ximport.vim')
483 assert_fails('source Ximport.vim', 'E1049:')
484
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100485 " try to import something that is already defined
486 let import_already_defined =<< trim END
487 vim9script
488 let exported = 'something'
489 import exported from './Xexport.vim'
490 END
491 writefile(import_already_defined, 'Ximport.vim')
492 assert_fails('source Ximport.vim', 'E1073:')
493
494 " try to import something that is already defined
495 import_already_defined =<< trim END
496 vim9script
497 let exported = 'something'
498 import * as exported from './Xexport.vim'
499 END
500 writefile(import_already_defined, 'Ximport.vim')
501 assert_fails('source Ximport.vim', 'E1073:')
502
503 " try to import something that is already defined
504 import_already_defined =<< trim END
505 vim9script
506 let exported = 'something'
507 import {exported} from './Xexport.vim'
508 END
509 writefile(import_already_defined, 'Ximport.vim')
510 assert_fails('source Ximport.vim', 'E1073:')
511
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100512 " import a very long name, requires making a copy
513 let import_long_name_lines =<< trim END
514 vim9script
515 import name012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789 from './Xexport.vim'
516 END
517 writefile(import_long_name_lines, 'Ximport.vim')
518 assert_fails('source Ximport.vim', 'E1048:')
519
520 let import_no_from_lines =<< trim END
521 vim9script
522 import name './Xexport.vim'
523 END
524 writefile(import_no_from_lines, 'Ximport.vim')
525 assert_fails('source Ximport.vim', 'E1070:')
526
527 let import_invalid_string_lines =<< trim END
528 vim9script
529 import name from Xexport.vim
530 END
531 writefile(import_invalid_string_lines, 'Ximport.vim')
532 assert_fails('source Ximport.vim', 'E1071:')
533
534 let import_wrong_name_lines =<< trim END
535 vim9script
536 import name from './XnoExport.vim'
537 END
538 writefile(import_wrong_name_lines, 'Ximport.vim')
539 assert_fails('source Ximport.vim', 'E1053:')
540
541 let import_missing_comma_lines =<< trim END
542 vim9script
543 import {exported name} from './Xexport.vim'
544 END
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100545 writefile(import_missing_comma_lines, 'Ximport3.vim')
546 assert_fails('source Ximport3.vim', 'E1046:')
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100547
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100548 delete('Ximport.vim')
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100549 delete('Ximport3.vim')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100550 delete('Xexport.vim')
551
Bram Moolenaar750802b2020-02-23 18:08:33 +0100552 " Check that in a Vim9 script 'cpo' is set to the Vim default.
553 set cpo&vi
554 let cpo_before = &cpo
555 let lines =<< trim END
556 vim9script
557 g:cpo_in_vim9script = &cpo
558 END
559 writefile(lines, 'Xvim9_script')
560 source Xvim9_script
561 assert_equal(cpo_before, &cpo)
562 set cpo&vim
563 assert_equal(&cpo, g:cpo_in_vim9script)
564 delete('Xvim9_script')
565enddef
566
567def Test_vim9script_fails()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100568 CheckScriptFailure(['scriptversion 2', 'vim9script'], 'E1039:')
569 CheckScriptFailure(['vim9script', 'scriptversion 2'], 'E1040:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100570 CheckScriptFailure(['export let some = 123'], 'E1042:')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100571 CheckScriptFailure(['import some from "./Xexport.vim"'], 'E1042:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100572 CheckScriptFailure(['vim9script', 'export let g:some'], 'E1044:')
573 CheckScriptFailure(['vim9script', 'export echo 134'], 'E1043:')
574
575 assert_fails('vim9script', 'E1038')
576 assert_fails('export something', 'E1042')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100577enddef
578
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100579def Test_vim9script_reload()
580 let lines =<< trim END
581 vim9script
582 const var = ''
583 let valone = 1234
584 def MyFunc(arg: string)
585 valone = 5678
586 enddef
587 END
588 let morelines =<< trim END
589 let valtwo = 222
590 export def GetValtwo(): number
591 return valtwo
592 enddef
593 END
594 writefile(lines + morelines, 'Xreload.vim')
595 source Xreload.vim
596 source Xreload.vim
597 source Xreload.vim
598
599 let testlines =<< trim END
600 vim9script
601 def TheFunc()
602 import GetValtwo from './Xreload.vim'
603 assert_equal(222, GetValtwo())
604 enddef
605 TheFunc()
606 END
607 writefile(testlines, 'Ximport.vim')
608 source Ximport.vim
609
610 " test that when not using "morelines" valtwo is still defined
611 " need to source Xreload.vim again, import doesn't reload a script
612 writefile(lines, 'Xreload.vim')
613 source Xreload.vim
614 source Ximport.vim
615
616 " cannot declare a var twice
617 lines =<< trim END
618 vim9script
619 let valone = 1234
620 let valone = 5678
621 END
622 writefile(lines, 'Xreload.vim')
623 assert_fails('source Xreload.vim', 'E1041:')
624
625 delete('Xreload.vim')
626 delete('Ximport.vim')
627enddef
628
629def Test_import_absolute()
630 let import_lines = [
631 \ 'vim9script',
632 \ 'import exported from "' .. escape(getcwd(), '\') .. '/Xexport_abs.vim"',
Bram Moolenaarb283a8a2020-02-02 22:24:04 +0100633 \ 'def UseExported()',
634 \ ' g:imported_abs = exported',
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100635 \ ' exported = 8888',
636 \ ' g:imported_after = exported',
Bram Moolenaarb283a8a2020-02-02 22:24:04 +0100637 \ 'enddef',
638 \ 'UseExported()',
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100639 \ 'g:import_disassembled = execute("disass UseExported")',
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100640 \ ]
641 writefile(import_lines, 'Ximport_abs.vim')
642 writefile(s:export_script_lines, 'Xexport_abs.vim')
643
644 source Ximport_abs.vim
645
646 assert_equal(9876, g:imported_abs)
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100647 assert_equal(8888, g:imported_after)
Bram Moolenaarb283a8a2020-02-02 22:24:04 +0100648 assert_match('<SNR>\d\+_UseExported.*'
649 \ .. 'g:imported_abs = exported.*'
650 \ .. '0 LOADSCRIPT exported from .*Xexport_abs.vim.*'
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100651 \ .. '1 STOREG g:imported_abs.*'
652 \ .. 'exported = 8888.*'
653 \ .. '3 STORESCRIPT exported in .*Xexport_abs.vim.*'
654 \ .. 'g:imported_after = exported.*'
655 \ .. '4 LOADSCRIPT exported from .*Xexport_abs.vim.*'
656 \ .. '5 STOREG g:imported_after.*'
657 \, g:import_disassembled)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100658 unlet g:imported_abs
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100659 unlet g:import_disassembled
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100660
661 delete('Ximport_abs.vim')
662 delete('Xexport_abs.vim')
663enddef
664
665def Test_import_rtp()
666 let import_lines = [
667 \ 'vim9script',
668 \ 'import exported from "Xexport_rtp.vim"',
669 \ 'g:imported_rtp = exported',
670 \ ]
671 writefile(import_lines, 'Ximport_rtp.vim')
672 mkdir('import')
673 writefile(s:export_script_lines, 'import/Xexport_rtp.vim')
674
675 let save_rtp = &rtp
676 &rtp = getcwd()
677 source Ximport_rtp.vim
678 &rtp = save_rtp
679
680 assert_equal(9876, g:imported_rtp)
681 unlet g:imported_rtp
682
683 delete('Ximport_rtp.vim')
684 delete('import/Xexport_rtp.vim')
685 delete('import', 'd')
686enddef
687
688def Test_fixed_size_list()
689 " will be allocated as one piece of memory, check that changes work
690 let l = [1, 2, 3, 4]
691 l->remove(0)
692 l->add(5)
693 l->insert(99, 1)
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100694 assert_equal([2, 99, 3, 4, 5], l)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100695enddef
696
Bram Moolenaar158906c2020-02-06 20:39:45 +0100697def IfElse(what: number): string
698 let res = ''
699 if what == 1
700 res = "one"
701 elseif what == 2
702 res = "two"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100703 else
Bram Moolenaar158906c2020-02-06 20:39:45 +0100704 res = "three"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100705 endif
Bram Moolenaar158906c2020-02-06 20:39:45 +0100706 return res
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100707enddef
708
Bram Moolenaar158906c2020-02-06 20:39:45 +0100709def Test_if_elseif_else()
710 assert_equal('one', IfElse(1))
711 assert_equal('two', IfElse(2))
712 assert_equal('three', IfElse(3))
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100713enddef
714
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200715def Test_if_elseif_else_fails()
716 call CheckDefFailure(['elseif true'], 'E582:')
717 call CheckDefFailure(['else'], 'E581:')
718 call CheckDefFailure(['endif'], 'E580:')
719 call CheckDefFailure(['if true', 'elseif xxx'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200720 call CheckDefFailure(['if true', 'echo 1'], 'E171:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200721enddef
722
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100723let g:bool_true = v:true
724let g:bool_false = v:false
725
726def Test_if_const_expr()
727 let res = false
728 if true ? true : false
729 res = true
730 endif
731 assert_equal(true, res)
732
Bram Moolenaar585fea72020-04-02 22:33:21 +0200733 g:glob = 2
734 if false
735 execute('let g:glob = 3')
736 endif
737 assert_equal(2, g:glob)
738 if true
739 execute('let g:glob = 3')
740 endif
741 assert_equal(3, g:glob)
742
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100743 res = false
744 if g:bool_true ? true : false
745 res = true
746 endif
747 assert_equal(true, res)
748
749 res = false
750 if true ? g:bool_true : false
751 res = true
752 endif
753 assert_equal(true, res)
754
755 res = false
756 if true ? true : g:bool_false
757 res = true
758 endif
759 assert_equal(true, res)
760
761 res = false
762 if true ? false : true
763 res = true
764 endif
765 assert_equal(false, res)
766
767 res = false
768 if false ? false : true
769 res = true
770 endif
771 assert_equal(true, res)
772
773 res = false
774 if false ? true : false
775 res = true
776 endif
777 assert_equal(false, res)
778
779 res = false
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200780 if has('xyz') ? true : false
781 res = true
782 endif
783 assert_equal(false, res)
784
785 res = false
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100786 if true && true
787 res = true
788 endif
789 assert_equal(true, res)
790
791 res = false
792 if true && false
793 res = true
794 endif
795 assert_equal(false, res)
796
797 res = false
798 if g:bool_true && false
799 res = true
800 endif
801 assert_equal(false, res)
802
803 res = false
804 if true && g:bool_false
805 res = true
806 endif
807 assert_equal(false, res)
808
809 res = false
810 if false && false
811 res = true
812 endif
813 assert_equal(false, res)
814
815 res = false
816 if true || false
817 res = true
818 endif
819 assert_equal(true, res)
820
821 res = false
822 if g:bool_true || false
823 res = true
824 endif
825 assert_equal(true, res)
826
827 res = false
828 if true || g:bool_false
829 res = true
830 endif
831 assert_equal(true, res)
832
833 res = false
834 if false || false
835 res = true
836 endif
837 assert_equal(false, res)
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200838enddef
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100839
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200840def Test_if_const_expr_fails()
841 call CheckDefFailure(['if "aaa" == "bbb'], 'E114:')
842 call CheckDefFailure(["if 'aaa' == 'bbb"], 'E115:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200843 call CheckDefFailure(["if has('aaa'"], 'E110:')
844 call CheckDefFailure(["if has('aaa') ? true false"], 'E109:')
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100845enddef
846
Bram Moolenaarad39c092020-02-26 18:23:43 +0100847def Test_execute_cmd()
848 new
849 setline(1, 'default')
850 execute 'call setline(1, "execute-string")'
851 assert_equal('execute-string', getline(1))
852 let cmd1 = 'call setline(1,'
853 let cmd2 = '"execute-var")'
854 execute cmd1 cmd2
855 assert_equal('execute-var', getline(1))
856 execute cmd1 cmd2 '|call setline(1, "execute-var-string")'
857 assert_equal('execute-var-string', getline(1))
858 let cmd_first = 'call '
859 let cmd_last = 'setline(1, "execute-var-var")'
860 execute cmd_first .. cmd_last
861 assert_equal('execute-var-var', getline(1))
862 bwipe!
Bram Moolenaar585fea72020-04-02 22:33:21 +0200863
864 call CheckDefFailure(['execute xxx'], 'E1001:')
Bram Moolenaarad39c092020-02-26 18:23:43 +0100865enddef
866
867def Test_echo_cmd()
Bram Moolenaar585fea72020-04-02 22:33:21 +0200868 echo 'some'
869 echon 'thing'
Bram Moolenaarad39c092020-02-26 18:23:43 +0100870 assert_match('^something$', Screenline(&lines))
871
872 let str1 = 'some'
873 let str2 = 'more'
874 echo str1 str2
875 assert_match('^some more$', Screenline(&lines))
876enddef
877
Bram Moolenaar41fe0612020-03-01 16:22:40 +0100878def Test_for_outside_of_function()
879 let lines =<< trim END
880 vim9script
881 new
882 for var in range(0, 3)
883 append(line('$'), var)
884 endfor
885 assert_equal(['', '0', '1', '2', '3'], getline(1, '$'))
886 bwipe!
887 END
888 writefile(lines, 'Xvim9for.vim')
889 source Xvim9for.vim
890 delete('Xvim9for.vim')
891enddef
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100892
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200893def Test_for_loop()
894 let result = ''
895 for cnt in range(7)
896 if cnt == 4
897 break
898 endif
899 if cnt == 2
900 continue
901 endif
902 result ..= cnt .. '_'
903 endfor
904 assert_equal('0_1_3_', result)
905enddef
906
907def Test_for_loop_fails()
908 call CheckDefFailure(['for # in range(5)'], 'E690:')
909 call CheckDefFailure(['for i In range(5)'], 'E690:')
910 call CheckDefFailure(['let x = 5', 'for x in range(5)'], 'E1023:')
911 call CheckScriptFailure(['def Func(arg)', 'for arg in range(5)', 'enddef'], 'E1006:')
912 call CheckDefFailure(['for i in "text"'], 'E1024:')
913 call CheckDefFailure(['for i in xxx'], 'E1001:')
914 call CheckDefFailure(['endfor'], 'E588:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200915 call CheckDefFailure(['for i in range(3)', 'echo 3'], 'E170:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200916enddef
917
Bram Moolenaard0df1aa2020-03-04 21:50:46 +0100918def Test_while_loop()
919 let result = ''
920 let cnt = 0
921 while cnt < 555
922 if cnt == 3
923 break
924 endif
925 cnt += 1
926 if cnt == 2
927 continue
928 endif
929 result ..= cnt .. '_'
930 endwhile
931 assert_equal('1_3_', result)
932enddef
933
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200934def Test_while_loop_fails()
935 call CheckDefFailure(['while xxx'], 'E1001:')
936 call CheckDefFailure(['endwhile'], 'E588:')
937 call CheckDefFailure(['continue'], 'E586:')
938 call CheckDefFailure(['if true', 'continue'], 'E586:')
939 call CheckDefFailure(['break'], 'E587:')
940 call CheckDefFailure(['if true', 'break'], 'E587:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200941 call CheckDefFailure(['while 1', 'echo 3'], 'E170:')
Bram Moolenaarbd5da372020-03-31 23:13:10 +0200942enddef
943
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100944def Test_interrupt_loop()
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100945 let caught = false
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100946 let x = 0
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100947 try
948 while 1
949 x += 1
950 if x == 100
951 feedkeys("\<C-C>", 'Lt')
952 endif
953 endwhile
954 catch
955 caught = true
956 assert_equal(100, x)
957 endtry
958 assert_true(caught, 'should have caught an exception')
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100959enddef
Bram Moolenaar20431c92020-03-20 18:39:46 +0100960
Bram Moolenaar585fea72020-04-02 22:33:21 +0200961" Keep this last, it messes up highlighting.
962def Test_substitute_cmd()
963 new
964 setline(1, 'something')
965 :substitute(some(other(
966 assert_equal('otherthing', getline(1))
967 bwipe!
968
969 " also when the context is Vim9 script
970 let lines =<< trim END
971 vim9script
972 new
973 setline(1, 'something')
974 :substitute(some(other(
975 assert_equal('otherthing', getline(1))
976 bwipe!
977 END
978 writefile(lines, 'Xvim9lines')
979 source Xvim9lines
980
981 delete('Xvim9lines')
982enddef
983
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100984" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker