blob: a96910e8335a3ddce956a3e9ebc563cb9215c9d3 [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
Bram Moolenaar7a092242020-04-16 22:10:49 +020013def CheckScriptFailure(lines: list<string>, error: string)
14 writefile(lines, 'Xdef')
15 assert_fails('so Xdef', error, lines)
16 delete('Xdef')
17enddef
18
19def CheckScriptSuccess(lines: list<string>)
20 writefile(lines, 'Xdef')
21 so Xdef
22 delete('Xdef')
23enddef
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010024
25def Test_syntax()
26 let var = 234
27 let other: list<string> = ['asdf']
28enddef
29
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010030let s:appendToMe = 'xxx'
31let s:addToMe = 111
Bram Moolenaar401d9ff2020-02-19 18:14:44 +010032let g:existing = 'yes'
Bram Moolenaara8c17702020-04-01 21:17:24 +020033let g:inc_counter = 1
34let $SOME_ENV_VAR = 'some'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010035
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010036def Test_assignment()
37 let bool1: bool = true
38 assert_equal(v:true, bool1)
39 let bool2: bool = false
40 assert_equal(v:false, bool2)
41
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010042 let list1: list<bool> = [false, true, false]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010043 let list2: list<number> = [1, 2, 3]
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010044 let list3: list<string> = ['sdf', 'asdf']
45 let list4: list<any> = ['yes', true, 1234]
46 let list5: list<blob> = [0z01, 0z02]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010047
Bram Moolenaar436472f2020-02-20 22:54:43 +010048 let listS: list<string> = []
49 let listN: list<number> = []
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010050
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010051 let dict1: dict<bool> = #{one: false, two: true}
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010052 let dict2: dict<number> = #{one: 1, two: 2}
Bram Moolenaar0c2ca582020-02-25 22:58:29 +010053 let dict3: dict<string> = #{key: 'value'}
54 let dict4: dict<any> = #{one: 1, two: '2'}
55 let dict5: dict<blob> = #{one: 0z01, tw: 0z02}
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010056
Bram Moolenaar9be61bb2020-03-30 22:51:24 +020057 let a: number = 6
58 assert_equal(6, a)
59
Bram Moolenaar42a480b2020-02-29 23:23:47 +010060 if has('channel')
61 let chan1: channel
Bram Moolenaarfbdd08e2020-03-01 14:04:46 +010062 let job1: job
Bram Moolenaarf51cb4e2020-03-01 17:55:14 +010063 let job2: job = job_start('willfail')
Bram Moolenaar42a480b2020-02-29 23:23:47 +010064 endif
Bram Moolenaarfbdd08e2020-03-01 14:04:46 +010065 if has('float')
66 let float1: float = 3.4
67 endif
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +020068 let Funky1: func
69 let Funky2: func = function('len')
70 let Party2: func = funcref('Test_syntax')
Bram Moolenaar42a480b2020-02-29 23:23:47 +010071
Bram Moolenaarcb711ab2020-04-16 13:00:29 +020072 # type becomes list<any>
Bram Moolenaar61a6d4e2020-03-01 23:32:25 +010073 let somelist = rand() > 0 ? [1, 2, 3] : ['a', 'b', 'c']
Bram Moolenaarcb711ab2020-04-16 13:00:29 +020074 # type becomes dict<any>
Bram Moolenaar5381c7a2020-03-02 22:53:32 +010075 let somedict = rand() > 0 ? #{a: 1, b: 2} : #{a: 'a', b: 'b'}
Bram Moolenaar61a6d4e2020-03-01 23:32:25 +010076
Bram Moolenaar401d9ff2020-02-19 18:14:44 +010077 g:newvar = 'new'
78 assert_equal('new', g:newvar)
79
80 assert_equal('yes', g:existing)
81 g:existing = 'no'
82 assert_equal('no', g:existing)
83
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010084 v:char = 'abc'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010085 assert_equal('abc', v:char)
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010086
87 $ENVVAR = 'foobar'
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010088 assert_equal('foobar', $ENVVAR)
Bram Moolenaarb283a8a2020-02-02 22:24:04 +010089 $ENVVAR = ''
Bram Moolenaar6e587dc2020-02-06 13:15:52 +010090
Bram Moolenaarfd1823e2020-02-19 20:23:11 +010091 s:appendToMe ..= 'yyy'
92 assert_equal('xxxyyy', s:appendToMe)
93 s:addToMe += 222
94 assert_equal(333, s:addToMe)
Bram Moolenaar0bbf7222020-02-19 22:31:48 +010095 s:newVar = 'new'
96 assert_equal('new', s:newVar)
Bram Moolenaara8c17702020-04-01 21:17:24 +020097
98 set ts=7
99 &ts += 1
100 assert_equal(8, &ts)
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200101 &ts -= 3
102 assert_equal(5, &ts)
103 &ts *= 2
104 assert_equal(10, &ts)
105 &ts /= 3
106 assert_equal(3, &ts)
107 set ts=10
108 &ts %= 4
109 assert_equal(2, &ts)
Bram Moolenaara8c17702020-04-01 21:17:24 +0200110 call CheckDefFailure(['&notex += 3'], 'E113:')
111 call CheckDefFailure(['&ts ..= "xxx"'], 'E1019:')
112 call CheckDefFailure(['&path += 3'], 'E1013:')
Bram Moolenaarcb711ab2020-04-16 13:00:29 +0200113 # test freeing ISN_STOREOPT
Bram Moolenaar585fea72020-04-02 22:33:21 +0200114 call CheckDefFailure(['&ts = 3', 'let asdf'], 'E1022:')
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200115 &ts = 8
Bram Moolenaara8c17702020-04-01 21:17:24 +0200116
117 g:inc_counter += 1
118 assert_equal(2, g:inc_counter)
119
120 $SOME_ENV_VAR ..= 'more'
121 assert_equal('somemore', $SOME_ENV_VAR)
122 call CheckDefFailure(['$SOME_ENV_VAR += "more"'], 'E1013:')
123 call CheckDefFailure(['$SOME_ENV_VAR += 123'], 'E1013:')
124
125 @a = 'areg'
126 @a ..= 'add'
127 assert_equal('aregadd', @a)
128 call CheckDefFailure(['@a += "more"'], 'E1013:')
129 call CheckDefFailure(['@a += 123'], 'E1013:')
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200130
131 v:errmsg = 'none'
132 v:errmsg ..= 'again'
133 assert_equal('noneagain', v:errmsg)
134 call CheckDefFailure(['v:errmsg += "more"'], 'E1013:')
135 call CheckDefFailure(['v:errmsg += 123'], 'E1013:')
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200136enddef
137
138def Test_assignment_default()
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200139
Bram Moolenaarcb711ab2020-04-16 13:00:29 +0200140 # Test default values.
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200141 let thebool: bool
142 assert_equal(v:false, thebool)
143
144 let thenumber: number
145 assert_equal(0, thenumber)
146
147 if has('float')
148 let thefloat: float
149 assert_equal(0.0, thefloat)
150 endif
151
152 let thestring: string
153 assert_equal('', thestring)
154
155 let theblob: blob
156 assert_equal(0z, theblob)
157
Bram Moolenaar5deeb3f2020-04-05 17:08:17 +0200158 let Thefunc: func
159 assert_equal(test_null_function(), Thefunc)
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200160
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200161 let thelist: list<any>
162 assert_equal([], thelist)
163
164 let thedict: dict<any>
165 assert_equal({}, thedict)
166
Bram Moolenaar2c869de2020-04-02 19:12:08 +0200167 if has('channel')
168 let thejob: job
169 assert_equal(test_null_job(), thejob)
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200170
Bram Moolenaar2c869de2020-04-02 19:12:08 +0200171 let thechannel: channel
172 assert_equal(test_null_channel(), thechannel)
173 endif
Bram Moolenaar585fea72020-04-02 22:33:21 +0200174
175 let nr = 1234 | nr = 5678
176 assert_equal(5678, nr)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100177enddef
178
Bram Moolenaarcab27672020-04-09 20:10:55 +0200179def Mess(): string
180 v:foldstart = 123
181 return 'xxx'
182enddef
183
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100184func Test_assignment_failure()
185 call CheckDefFailure(['let var=234'], 'E1004:')
186 call CheckDefFailure(['let var =234'], 'E1004:')
187 call CheckDefFailure(['let var= 234'], 'E1004:')
188
189 call CheckDefFailure(['let true = 1'], 'E1034:')
190 call CheckDefFailure(['let false = 1'], 'E1034:')
191
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200192 call CheckDefFailure(['let [a; b; c] = g:list'], 'E452:')
193
Bram Moolenaare69f6d02020-04-01 22:11:01 +0200194 call CheckDefFailure(['let somevar'], "E1022:")
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200195 call CheckDefFailure(['let &option'], 'E1052:')
196 call CheckDefFailure(['&g:option = 5'], 'E113:')
197
198 call CheckDefFailure(['let $VAR = 5'], 'E1065:')
199
200 call CheckDefFailure(['let @~ = 5'], 'E354:')
201 call CheckDefFailure(['let @a = 5'], 'E1066:')
202
203 call CheckDefFailure(['let g:var = 5'], 'E1016:')
204
205 call CheckDefFailure(['let anr = 4', 'anr ..= "text"'], 'E1019:')
206 call CheckDefFailure(['let xnr += 4'], 'E1020:')
207
Bram Moolenaar33fa29c2020-03-28 19:41:33 +0100208 call CheckScriptFailure(['vim9script', 'def Func()', 'let dummy = s:notfound', 'enddef'], 'E1050:')
209
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100210 call CheckDefFailure(['let var: list<string> = [123]'], 'expected list<string> but got list<number>')
211 call CheckDefFailure(['let var: list<number> = ["xx"]'], 'expected list<number> but got list<string>')
212
213 call CheckDefFailure(['let var: dict<string> = #{key: 123}'], 'expected dict<string> but got dict<number>')
214 call CheckDefFailure(['let var: dict<number> = #{key: "xx"}'], 'expected dict<number> but got dict<string>')
215
216 call CheckDefFailure(['let var = feedkeys("0")'], 'E1031:')
217 call CheckDefFailure(['let var: number = feedkeys("0")'], 'expected number but got void')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100218
Bram Moolenaard77a8522020-04-03 21:59:57 +0200219 call CheckDefFailure(['let var: dict <number>'], 'E1068:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100220 call CheckDefFailure(['let var: dict<number'], 'E1009:')
Bram Moolenaarcab27672020-04-09 20:10:55 +0200221
222 call assert_fails('s/^/\=Mess()/n', 'E794:')
223 call CheckDefFailure(['let var: dict<number'], 'E1009:')
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100224endfunc
225
226func Test_wrong_type()
227 call CheckDefFailure(['let var: list<nothing>'], 'E1010:')
228 call CheckDefFailure(['let var: list<list<nothing>>'], 'E1010:')
229 call CheckDefFailure(['let var: dict<nothing>'], 'E1010:')
230 call CheckDefFailure(['let var: dict<dict<nothing>>'], 'E1010:')
231
232 call CheckDefFailure(['let var: dict<number'], 'E1009:')
233 call CheckDefFailure(['let var: dict<list<number>'], 'E1009:')
Bram Moolenaar42a480b2020-02-29 23:23:47 +0100234
235 call CheckDefFailure(['let var: ally'], 'E1010:')
236 call CheckDefFailure(['let var: bram'], 'E1010:')
237 call CheckDefFailure(['let var: cathy'], 'E1010:')
238 call CheckDefFailure(['let var: dom'], 'E1010:')
239 call CheckDefFailure(['let var: freddy'], 'E1010:')
240 call CheckDefFailure(['let var: john'], 'E1010:')
241 call CheckDefFailure(['let var: larry'], 'E1010:')
242 call CheckDefFailure(['let var: ned'], 'E1010:')
243 call CheckDefFailure(['let var: pam'], 'E1010:')
244 call CheckDefFailure(['let var: sam'], 'E1010:')
245 call CheckDefFailure(['let var: vim'], 'E1010:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100246endfunc
247
248func Test_const()
249 call CheckDefFailure(['const var = 234', 'var = 99'], 'E1018:')
250 call CheckDefFailure(['const one = 234', 'let one = 99'], 'E1017:')
251 call CheckDefFailure(['const two'], 'E1021:')
Bram Moolenaar9be61bb2020-03-30 22:51:24 +0200252 call CheckDefFailure(['const &option'], 'E996:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100253endfunc
254
255def Test_block()
256 let outer = 1
257 {
258 let inner = 2
259 assert_equal(1, outer)
260 assert_equal(2, inner)
261 }
262 assert_equal(1, outer)
263enddef
264
265func Test_block_failure()
266 call CheckDefFailure(['{', 'let inner = 1', '}', 'echo inner'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200267 call CheckDefFailure(['}'], 'E1025:')
268 call CheckDefFailure(['{', 'echo 1'], 'E1026:')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100269endfunc
270
Bram Moolenaar585fea72020-04-02 22:33:21 +0200271def Test_cmd_modifier()
272 tab echo '0'
273 call CheckDefFailure(['5tab echo 3'], 'E16:')
274enddef
275
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100276def Test_try_catch()
277 let l = []
Bram Moolenaar7a092242020-04-16 22:10:49 +0200278 try # comment
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100279 add(l, '1')
280 throw 'wrong'
281 add(l, '2')
Bram Moolenaar7a092242020-04-16 22:10:49 +0200282 catch # comment
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100283 add(l, v:exception)
Bram Moolenaar7a092242020-04-16 22:10:49 +0200284 finally # comment
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100285 add(l, '3')
Bram Moolenaar7a092242020-04-16 22:10:49 +0200286 endtry # comment
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100287 assert_equal(['1', 'wrong', '3'], l)
288enddef
289
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100290def ThrowFromDef()
291 throw 'getout'
292enddef
293
294func CatchInFunc()
295 try
296 call ThrowFromDef()
297 catch
298 let g:thrown_func = v:exception
299 endtry
300endfunc
301
302def CatchInDef()
303 try
304 ThrowFromDef()
305 catch
306 g:thrown_def = v:exception
307 endtry
308enddef
309
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100310def ReturnFinally(): string
311 try
312 return 'intry'
313 finally
314 g:in_finally = 'finally'
315 endtry
316 return 'end'
317enddef
318
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100319def Test_try_catch_nested()
320 CatchInFunc()
321 assert_equal('getout', g:thrown_func)
322
323 CatchInDef()
324 assert_equal('getout', g:thrown_def)
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100325
326 assert_equal('intry', ReturnFinally())
327 assert_equal('finally', g:in_finally)
328enddef
329
330def Test_try_catch_match()
331 let seq = 'a'
332 try
333 throw 'something'
334 catch /nothing/
335 seq ..= 'x'
336 catch /some/
337 seq ..= 'b'
338 catch /asdf/
339 seq ..= 'x'
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200340 catch ?a\?sdf?
341 seq ..= 'y'
Bram Moolenaarf575adf2020-02-20 20:41:06 +0100342 finally
343 seq ..= 'c'
344 endtry
345 assert_equal('abc', seq)
Bram Moolenaar257cc5e2020-02-19 17:06:11 +0100346enddef
347
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200348def Test_try_catch_fails()
349 call CheckDefFailure(['catch'], 'E603:')
350 call CheckDefFailure(['try', 'echo 0', 'catch','catch'], 'E1033:')
351 call CheckDefFailure(['try', 'echo 0', 'catch /pat'], 'E1067:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200352 call CheckDefFailure(['finally'], 'E606:')
353 call CheckDefFailure(['try', 'echo 0', 'finally', 'echo 1', 'finally'], 'E607:')
354 call CheckDefFailure(['endtry'], 'E602:')
355 call CheckDefFailure(['while 1', 'endtry'], 'E170:')
356 call CheckDefFailure(['for i in range(5)', 'endtry'], 'E170:')
357 call CheckDefFailure(['if 2', 'endtry'], 'E171:')
358 call CheckDefFailure(['try', 'echo 1', 'endtry'], 'E1032:')
359
360 call CheckDefFailure(['throw'], 'E471:')
361 call CheckDefFailure(['throw xxx'], 'E1001:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200362enddef
363
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100364let s:export_script_lines =<< trim END
365 vim9script
366 let name: string = 'bob'
367 def Concat(arg: string): string
368 return name .. arg
369 enddef
370 let g:result = Concat('bie')
371 let g:localname = name
372
373 export const CONST = 1234
374 export let exported = 9876
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100375 export let exp_name = 'John'
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100376 export def Exported(): string
377 return 'Exported'
378 enddef
379END
380
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100381def Test_vim9_import_export()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100382 let import_script_lines =<< trim END
383 vim9script
384 import {exported, Exported} from './Xexport.vim'
385 g:imported = exported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100386 exported += 3
387 g:imported_added = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100388 g:imported_func = Exported()
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100389
390 import {exp_name} from './Xexport.vim'
391 g:imported_name = exp_name
392 exp_name ..= ' Doe'
393 g:imported_name_appended = exp_name
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100394 g:imported_later = exported
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100395 END
396
397 writefile(import_script_lines, 'Ximport.vim')
398 writefile(s:export_script_lines, 'Xexport.vim')
399
400 source Ximport.vim
401
402 assert_equal('bobbie', g:result)
403 assert_equal('bob', g:localname)
404 assert_equal(9876, g:imported)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100405 assert_equal(9879, g:imported_added)
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100406 assert_equal(9879, g:imported_later)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100407 assert_equal('Exported', g:imported_func)
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100408 assert_equal('John', g:imported_name)
409 assert_equal('John Doe', g:imported_name_appended)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100410 assert_false(exists('g:name'))
411
412 unlet g:result
413 unlet g:localname
414 unlet g:imported
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100415 unlet g:imported_added
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100416 unlet g:imported_later
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100417 unlet g:imported_func
Bram Moolenaar6e587dc2020-02-06 13:15:52 +0100418 unlet g:imported_name g:imported_name_appended
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100419 delete('Ximport.vim')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100420
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100421 let import_in_def_lines =<< trim END
422 vim9script
423 def ImportInDef()
424 import exported from './Xexport.vim'
425 g:imported = exported
426 exported += 7
427 g:imported_added = exported
428 enddef
429 ImportInDef()
430 END
431 writefile(import_in_def_lines, 'Ximport2.vim')
432 source Ximport2.vim
433 " TODO: this should be 9879
434 assert_equal(9876, g:imported)
435 assert_equal(9883, g:imported_added)
436 unlet g:imported
437 unlet g:imported_added
438 delete('Ximport2.vim')
439
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100440 let import_star_as_lines =<< trim END
441 vim9script
442 import * as Export from './Xexport.vim'
443 def UseExport()
444 g:imported = Export.exported
445 enddef
446 UseExport()
447 END
448 writefile(import_star_as_lines, 'Ximport.vim')
449 source Ximport.vim
Bram Moolenaar5381c7a2020-03-02 22:53:32 +0100450 assert_equal(9883, g:imported)
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100451
Bram Moolenaar599c89c2020-03-28 14:53:20 +0100452 let import_star_as_lines_no_dot =<< trim END
453 vim9script
454 import * as Export from './Xexport.vim'
455 def Func()
456 let dummy = 1
457 let imported = Export + dummy
458 enddef
459 END
460 writefile(import_star_as_lines_no_dot, 'Ximport.vim')
461 assert_fails('source Ximport.vim', 'E1060:')
462
463 let import_star_as_lines_dot_space =<< trim END
464 vim9script
465 import * as Export from './Xexport.vim'
466 def Func()
467 let imported = Export . exported
468 enddef
469 END
470 writefile(import_star_as_lines_dot_space, 'Ximport.vim')
471 assert_fails('source Ximport.vim', 'E1074:')
472
473 let import_star_as_lines_missing_name =<< trim END
474 vim9script
475 import * as Export from './Xexport.vim'
476 def Func()
477 let imported = Export.
478 enddef
479 END
480 writefile(import_star_as_lines_missing_name, 'Ximport.vim')
481 assert_fails('source Ximport.vim', 'E1048:')
482
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100483 let import_star_lines =<< trim END
484 vim9script
485 import * from './Xexport.vim'
486 g:imported = exported
487 END
488 writefile(import_star_lines, 'Ximport.vim')
489 assert_fails('source Ximport.vim', 'E1045:')
490
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100491 " try to import something that exists but is not exported
492 let import_not_exported_lines =<< trim END
493 vim9script
494 import name from './Xexport.vim'
495 END
496 writefile(import_not_exported_lines, 'Ximport.vim')
497 assert_fails('source Ximport.vim', 'E1049:')
498
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100499 " try to import something that is already defined
500 let import_already_defined =<< trim END
501 vim9script
502 let exported = 'something'
503 import exported from './Xexport.vim'
504 END
505 writefile(import_already_defined, 'Ximport.vim')
506 assert_fails('source Ximport.vim', 'E1073:')
507
508 " try to import something that is already defined
509 import_already_defined =<< trim END
510 vim9script
511 let exported = 'something'
512 import * as exported from './Xexport.vim'
513 END
514 writefile(import_already_defined, 'Ximport.vim')
515 assert_fails('source Ximport.vim', 'E1073:')
516
517 " try to import something that is already defined
518 import_already_defined =<< trim END
519 vim9script
520 let exported = 'something'
521 import {exported} from './Xexport.vim'
522 END
523 writefile(import_already_defined, 'Ximport.vim')
524 assert_fails('source Ximport.vim', 'E1073:')
525
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100526 " import a very long name, requires making a copy
527 let import_long_name_lines =<< trim END
528 vim9script
529 import name012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789 from './Xexport.vim'
530 END
531 writefile(import_long_name_lines, 'Ximport.vim')
532 assert_fails('source Ximport.vim', 'E1048:')
533
534 let import_no_from_lines =<< trim END
535 vim9script
536 import name './Xexport.vim'
537 END
538 writefile(import_no_from_lines, 'Ximport.vim')
539 assert_fails('source Ximport.vim', 'E1070:')
540
541 let import_invalid_string_lines =<< trim END
542 vim9script
543 import name from Xexport.vim
544 END
545 writefile(import_invalid_string_lines, 'Ximport.vim')
546 assert_fails('source Ximport.vim', 'E1071:')
547
548 let import_wrong_name_lines =<< trim END
549 vim9script
550 import name from './XnoExport.vim'
551 END
552 writefile(import_wrong_name_lines, 'Ximport.vim')
553 assert_fails('source Ximport.vim', 'E1053:')
554
555 let import_missing_comma_lines =<< trim END
556 vim9script
557 import {exported name} from './Xexport.vim'
558 END
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100559 writefile(import_missing_comma_lines, 'Ximport3.vim')
560 assert_fails('source Ximport3.vim', 'E1046:')
Bram Moolenaarfa29c8a2020-02-23 22:35:05 +0100561
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100562 delete('Ximport.vim')
Bram Moolenaar5269bd22020-03-09 19:25:27 +0100563 delete('Ximport3.vim')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100564 delete('Xexport.vim')
565
Bram Moolenaar750802b2020-02-23 18:08:33 +0100566 " Check that in a Vim9 script 'cpo' is set to the Vim default.
567 set cpo&vi
568 let cpo_before = &cpo
569 let lines =<< trim END
570 vim9script
571 g:cpo_in_vim9script = &cpo
572 END
573 writefile(lines, 'Xvim9_script')
574 source Xvim9_script
575 assert_equal(cpo_before, &cpo)
576 set cpo&vim
577 assert_equal(&cpo, g:cpo_in_vim9script)
578 delete('Xvim9_script')
579enddef
580
581def Test_vim9script_fails()
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100582 CheckScriptFailure(['scriptversion 2', 'vim9script'], 'E1039:')
583 CheckScriptFailure(['vim9script', 'scriptversion 2'], 'E1040:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100584 CheckScriptFailure(['export let some = 123'], 'E1042:')
Bram Moolenaarf2d5c242020-02-23 21:25:54 +0100585 CheckScriptFailure(['import some from "./Xexport.vim"'], 'E1042:')
Bram Moolenaar750802b2020-02-23 18:08:33 +0100586 CheckScriptFailure(['vim9script', 'export let g:some'], 'E1044:')
587 CheckScriptFailure(['vim9script', 'export echo 134'], 'E1043:')
588
589 assert_fails('vim9script', 'E1038')
590 assert_fails('export something', 'E1042')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100591enddef
592
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100593def Test_vim9script_reload()
594 let lines =<< trim END
595 vim9script
596 const var = ''
597 let valone = 1234
598 def MyFunc(arg: string)
599 valone = 5678
600 enddef
601 END
602 let morelines =<< trim END
603 let valtwo = 222
604 export def GetValtwo(): number
605 return valtwo
606 enddef
607 END
Bram Moolenaar675f7162020-04-12 22:53:54 +0200608 writefile(lines + morelines,
609 'Xreload.vim')
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100610 source Xreload.vim
611 source Xreload.vim
612 source Xreload.vim
613
614 let testlines =<< trim END
615 vim9script
616 def TheFunc()
617 import GetValtwo from './Xreload.vim'
618 assert_equal(222, GetValtwo())
619 enddef
620 TheFunc()
621 END
622 writefile(testlines, 'Ximport.vim')
623 source Ximport.vim
624
625 " test that when not using "morelines" valtwo is still defined
626 " need to source Xreload.vim again, import doesn't reload a script
627 writefile(lines, 'Xreload.vim')
628 source Xreload.vim
629 source Ximport.vim
630
631 " cannot declare a var twice
632 lines =<< trim END
633 vim9script
634 let valone = 1234
635 let valone = 5678
636 END
637 writefile(lines, 'Xreload.vim')
638 assert_fails('source Xreload.vim', 'E1041:')
639
640 delete('Xreload.vim')
641 delete('Ximport.vim')
642enddef
643
644def Test_import_absolute()
645 let import_lines = [
Bram Moolenaare6085c52020-04-12 20:19:16 +0200646 'vim9script',
647 'import exported from "' .. escape(getcwd(), '\') .. '/Xexport_abs.vim"',
648 'def UseExported()',
649 ' g:imported_abs = exported',
650 ' exported = 8888',
651 ' g:imported_after = exported',
652 'enddef',
653 'UseExported()',
654 'g:import_disassembled = execute("disass UseExported")',
655 ]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100656 writefile(import_lines, 'Ximport_abs.vim')
657 writefile(s:export_script_lines, 'Xexport_abs.vim')
658
659 source Ximport_abs.vim
660
661 assert_equal(9876, g:imported_abs)
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100662 assert_equal(8888, g:imported_after)
Bram Moolenaar675f7162020-04-12 22:53:54 +0200663 assert_match('<SNR>\d\+_UseExported.*' ..
664 'g:imported_abs = exported.*' ..
665 '0 LOADSCRIPT exported from .*Xexport_abs.vim.*' ..
666 '1 STOREG g:imported_abs.*' ..
667 'exported = 8888.*' ..
668 '3 STORESCRIPT exported in .*Xexport_abs.vim.*' ..
669 'g:imported_after = exported.*' ..
670 '4 LOADSCRIPT exported from .*Xexport_abs.vim.*' ..
671 '5 STOREG g:imported_after.*',
Bram Moolenaare6085c52020-04-12 20:19:16 +0200672 g:import_disassembled)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100673 unlet g:imported_abs
Bram Moolenaar4e12a5d2020-02-03 20:50:59 +0100674 unlet g:import_disassembled
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100675
676 delete('Ximport_abs.vim')
677 delete('Xexport_abs.vim')
678enddef
679
680def Test_import_rtp()
681 let import_lines = [
Bram Moolenaare6085c52020-04-12 20:19:16 +0200682 'vim9script',
683 'import exported from "Xexport_rtp.vim"',
684 'g:imported_rtp = exported',
685 ]
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100686 writefile(import_lines, 'Ximport_rtp.vim')
687 mkdir('import')
688 writefile(s:export_script_lines, 'import/Xexport_rtp.vim')
689
690 let save_rtp = &rtp
691 &rtp = getcwd()
692 source Ximport_rtp.vim
693 &rtp = save_rtp
694
695 assert_equal(9876, g:imported_rtp)
696 unlet g:imported_rtp
697
698 delete('Ximport_rtp.vim')
699 delete('import/Xexport_rtp.vim')
700 delete('import', 'd')
701enddef
702
703def Test_fixed_size_list()
704 " will be allocated as one piece of memory, check that changes work
705 let l = [1, 2, 3, 4]
706 l->remove(0)
707 l->add(5)
708 l->insert(99, 1)
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100709 assert_equal([2, 99, 3, 4, 5], l)
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100710enddef
711
Bram Moolenaar158906c2020-02-06 20:39:45 +0100712def IfElse(what: number): string
713 let res = ''
714 if what == 1
715 res = "one"
716 elseif what == 2
717 res = "two"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100718 else
Bram Moolenaar158906c2020-02-06 20:39:45 +0100719 res = "three"
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100720 endif
Bram Moolenaar158906c2020-02-06 20:39:45 +0100721 return res
Bram Moolenaara259d8d2020-01-31 20:10:50 +0100722enddef
723
Bram Moolenaar158906c2020-02-06 20:39:45 +0100724def Test_if_elseif_else()
725 assert_equal('one', IfElse(1))
726 assert_equal('two', IfElse(2))
727 assert_equal('three', IfElse(3))
Bram Moolenaar0f18b6d2020-02-02 17:22:27 +0100728enddef
729
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200730def Test_if_elseif_else_fails()
731 call CheckDefFailure(['elseif true'], 'E582:')
732 call CheckDefFailure(['else'], 'E581:')
733 call CheckDefFailure(['endif'], 'E580:')
734 call CheckDefFailure(['if true', 'elseif xxx'], 'E1001:')
Bram Moolenaar585fea72020-04-02 22:33:21 +0200735 call CheckDefFailure(['if true', 'echo 1'], 'E171:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200736enddef
737
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100738let g:bool_true = v:true
739let g:bool_false = v:false
740
741def Test_if_const_expr()
742 let res = false
743 if true ? true : false
744 res = true
745 endif
746 assert_equal(true, res)
747
Bram Moolenaar585fea72020-04-02 22:33:21 +0200748 g:glob = 2
749 if false
750 execute('let g:glob = 3')
751 endif
752 assert_equal(2, g:glob)
753 if true
754 execute('let g:glob = 3')
755 endif
756 assert_equal(3, g:glob)
757
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100758 res = false
759 if g:bool_true ? true : false
760 res = true
761 endif
762 assert_equal(true, res)
763
764 res = false
765 if true ? g:bool_true : false
766 res = true
767 endif
768 assert_equal(true, res)
769
770 res = false
771 if true ? true : g:bool_false
772 res = true
773 endif
774 assert_equal(true, res)
775
776 res = false
777 if true ? false : true
778 res = true
779 endif
780 assert_equal(false, res)
781
782 res = false
783 if false ? false : true
784 res = true
785 endif
786 assert_equal(true, res)
787
788 res = false
789 if false ? true : false
790 res = true
791 endif
792 assert_equal(false, res)
793
794 res = false
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200795 if has('xyz') ? true : false
796 res = true
797 endif
798 assert_equal(false, res)
799
800 res = false
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100801 if true && true
802 res = true
803 endif
804 assert_equal(true, res)
805
806 res = false
807 if true && false
808 res = true
809 endif
810 assert_equal(false, res)
811
812 res = false
813 if g:bool_true && false
814 res = true
815 endif
816 assert_equal(false, res)
817
818 res = false
819 if true && g:bool_false
820 res = true
821 endif
822 assert_equal(false, res)
823
824 res = false
825 if false && false
826 res = true
827 endif
828 assert_equal(false, res)
829
830 res = false
831 if true || false
832 res = true
833 endif
834 assert_equal(true, res)
835
836 res = false
837 if g:bool_true || false
838 res = true
839 endif
840 assert_equal(true, res)
841
842 res = false
843 if true || g:bool_false
844 res = true
845 endif
846 assert_equal(true, res)
847
848 res = false
849 if false || false
850 res = true
851 endif
852 assert_equal(false, res)
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200853enddef
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100854
Bram Moolenaar80c34ca2020-04-01 23:05:18 +0200855def Test_if_const_expr_fails()
856 call CheckDefFailure(['if "aaa" == "bbb'], 'E114:')
857 call CheckDefFailure(["if 'aaa' == 'bbb"], 'E115:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200858 call CheckDefFailure(["if has('aaa'"], 'E110:')
859 call CheckDefFailure(["if has('aaa') ? true false"], 'E109:')
Bram Moolenaar6d69bf62020-03-03 19:02:12 +0100860enddef
861
Bram Moolenaarad39c092020-02-26 18:23:43 +0100862def Test_execute_cmd()
863 new
864 setline(1, 'default')
865 execute 'call setline(1, "execute-string")'
866 assert_equal('execute-string', getline(1))
867 let cmd1 = 'call setline(1,'
868 let cmd2 = '"execute-var")'
869 execute cmd1 cmd2
870 assert_equal('execute-var', getline(1))
871 execute cmd1 cmd2 '|call setline(1, "execute-var-string")'
872 assert_equal('execute-var-string', getline(1))
873 let cmd_first = 'call '
874 let cmd_last = 'setline(1, "execute-var-var")'
875 execute cmd_first .. cmd_last
876 assert_equal('execute-var-var', getline(1))
877 bwipe!
Bram Moolenaar585fea72020-04-02 22:33:21 +0200878
879 call CheckDefFailure(['execute xxx'], 'E1001:')
Bram Moolenaarad39c092020-02-26 18:23:43 +0100880enddef
881
882def Test_echo_cmd()
Bram Moolenaar585fea72020-04-02 22:33:21 +0200883 echo 'some'
884 echon 'thing'
Bram Moolenaarad39c092020-02-26 18:23:43 +0100885 assert_match('^something$', Screenline(&lines))
886
887 let str1 = 'some'
888 let str2 = 'more'
889 echo str1 str2
890 assert_match('^some more$', Screenline(&lines))
891enddef
892
Bram Moolenaar41fe0612020-03-01 16:22:40 +0100893def Test_for_outside_of_function()
894 let lines =<< trim END
895 vim9script
896 new
897 for var in range(0, 3)
898 append(line('$'), var)
899 endfor
900 assert_equal(['', '0', '1', '2', '3'], getline(1, '$'))
901 bwipe!
902 END
903 writefile(lines, 'Xvim9for.vim')
904 source Xvim9for.vim
905 delete('Xvim9for.vim')
906enddef
Bram Moolenaar8a7d6542020-01-26 15:56:19 +0100907
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200908def Test_for_loop()
909 let result = ''
910 for cnt in range(7)
911 if cnt == 4
912 break
913 endif
914 if cnt == 2
915 continue
916 endif
917 result ..= cnt .. '_'
918 endfor
919 assert_equal('0_1_3_', result)
920enddef
921
922def Test_for_loop_fails()
Bram Moolenaar675f7162020-04-12 22:53:54 +0200923 CheckDefFailure(['for # in range(5)'], 'E690:')
924 CheckDefFailure(['for i In range(5)'], 'E690:')
925 CheckDefFailure(['let x = 5', 'for x in range(5)'], 'E1023:')
Bram Moolenaar6e949782020-04-13 17:21:00 +0200926 CheckScriptFailure(['def Func(arg: any)', 'for arg in range(5)', 'enddef'], 'E1006:')
Bram Moolenaar675f7162020-04-12 22:53:54 +0200927 CheckDefFailure(['for i in "text"'], 'E1024:')
928 CheckDefFailure(['for i in xxx'], 'E1001:')
929 CheckDefFailure(['endfor'], 'E588:')
930 CheckDefFailure(['for i in range(3)', 'echo 3'], 'E170:')
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200931enddef
932
Bram Moolenaard0df1aa2020-03-04 21:50:46 +0100933def Test_while_loop()
934 let result = ''
935 let cnt = 0
936 while cnt < 555
937 if cnt == 3
938 break
939 endif
940 cnt += 1
941 if cnt == 2
942 continue
943 endif
944 result ..= cnt .. '_'
945 endwhile
946 assert_equal('1_3_', result)
947enddef
948
Bram Moolenaare8c4abb2020-04-02 21:13:25 +0200949def Test_while_loop_fails()
Bram Moolenaar675f7162020-04-12 22:53:54 +0200950 CheckDefFailure(['while xxx'], 'E1001:')
951 CheckDefFailure(['endwhile'], 'E588:')
952 CheckDefFailure(['continue'], 'E586:')
953 CheckDefFailure(['if true', 'continue'], 'E586:')
954 CheckDefFailure(['break'], 'E587:')
955 CheckDefFailure(['if true', 'break'], 'E587:')
956 CheckDefFailure(['while 1', 'echo 3'], 'E170:')
Bram Moolenaarbd5da372020-03-31 23:13:10 +0200957enddef
958
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100959def Test_interrupt_loop()
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100960 let caught = false
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100961 let x = 0
Bram Moolenaar97acfc72020-03-22 13:44:28 +0100962 try
963 while 1
964 x += 1
965 if x == 100
966 feedkeys("\<C-C>", 'Lt')
967 endif
968 endwhile
969 catch
970 caught = true
971 assert_equal(100, x)
972 endtry
973 assert_true(caught, 'should have caught an exception')
Bram Moolenaar9645e2d2020-03-20 20:48:49 +0100974enddef
Bram Moolenaar20431c92020-03-20 18:39:46 +0100975
Bram Moolenaar4fdae992020-04-12 16:38:57 +0200976def Test_automatic_line_continuation()
977 let mylist = [
978 'one',
979 'two',
980 'three',
981 ] " comment
982 assert_equal(['one', 'two', 'three'], mylist)
983
984 let mydict = {
985 'one': 1,
986 'two': 2,
987 'three':
988 3,
989 } " comment
990 assert_equal({'one': 1, 'two': 2, 'three': 3}, mydict)
991 mydict = #{
Bram Moolenaar2c330432020-04-13 14:41:35 +0200992 one: 1, # comment
993 two: # comment
994 2, # comment
995 three: 3 # comment
996 }
997 assert_equal(#{one: 1, two: 2, three: 3}, mydict)
998 mydict = #{
999 one: 1,
1000 two:
1001 2,
1002 three: 3
Bram Moolenaar4fdae992020-04-12 16:38:57 +02001003 }
1004 assert_equal(#{one: 1, two: 2, three: 3}, mydict)
Bram Moolenaare6085c52020-04-12 20:19:16 +02001005
1006 assert_equal(
1007 ['one', 'two', 'three'],
1008 split('one two three')
1009 )
Bram Moolenaar4fdae992020-04-12 16:38:57 +02001010enddef
1011
Bram Moolenaar7a092242020-04-16 22:10:49 +02001012def Test_vim9_comment()
1013 CheckScriptSuccess([
1014 'vim9script',
1015 '# something',
1016 ])
1017 CheckScriptFailure([
1018 'vim9script',
1019 ':# something',
1020 ], 'E488:')
1021 CheckScriptFailure([
1022 '# something',
1023 ], 'E488:')
1024 CheckScriptFailure([
1025 ':# something',
1026 ], 'E488:')
1027
1028 CheckScriptSuccess([
1029 'vim9script',
1030 'echo "yes" # something',
1031 ])
1032 CheckScriptFailure([
1033 'vim9script',
1034 'echo "yes"# something',
1035 ], 'E121:')
1036 CheckScriptFailure([
1037 'vim9script',
1038 'echo# something',
1039 ], 'E121:')
1040 CheckScriptFailure([
1041 'echo "yes" # something',
1042 ], 'E121:')
1043
1044 CheckDefFailure([
1045 'try# comment',
1046 'echo "yes"',
1047 'catch',
1048 'endtry',
1049 ], 'E488:')
1050 CheckDefFailure([
1051 'try',
1052 'echo "yes"',
1053 'catch# comment',
1054 'endtry',
1055 ], 'E488:')
1056 CheckDefFailure([
1057 'try',
1058 'echo "yes"',
1059 'catch',
1060 'endtry# comment',
1061 ], 'E488:')
1062enddef
1063
Bram Moolenaar585fea72020-04-02 22:33:21 +02001064" Keep this last, it messes up highlighting.
1065def Test_substitute_cmd()
1066 new
1067 setline(1, 'something')
1068 :substitute(some(other(
1069 assert_equal('otherthing', getline(1))
1070 bwipe!
1071
1072 " also when the context is Vim9 script
1073 let lines =<< trim END
1074 vim9script
1075 new
1076 setline(1, 'something')
1077 :substitute(some(other(
1078 assert_equal('otherthing', getline(1))
1079 bwipe!
1080 END
1081 writefile(lines, 'Xvim9lines')
1082 source Xvim9lines
1083
1084 delete('Xvim9lines')
1085enddef
1086
Bram Moolenaar8a7d6542020-01-26 15:56:19 +01001087" vim: ts=8 sw=2 sts=2 expandtab tw=80 fdm=marker