1" Tests for Vim9 script expressions 2 3source check.vim 4source vim9.vim 5 6 7let g:cond = v:false 8def FuncOne(arg: number): string 9 return 'yes' 10enddef 11def FuncTwo(arg: number): number 12 return 123 13enddef 14 15" test cond ? expr : expr 16def Test_expr1() 17 assert_equal('one', true ? 'one' : 'two') 18 assert_equal('one', 1 ? 19 'one' : 20 'two') 21 if has('float') 22 assert_equal('one', 0.1 ? 'one' : 'two') 23 endif 24 assert_equal('one', 'x' ? 'one' : 'two') 25 assert_equal('one', 'x' 26 ? 'one' 27 : 'two') 28 assert_equal('one', 0z1234 ? 'one' : 'two') 29 assert_equal('one', [0] ? 'one' : 'two') 30 assert_equal('one', #{x: 0} ? 'one' : 'two') 31 let var = 1 32 assert_equal('one', var ? 'one' : 'two') 33 34 assert_equal('two', false ? 'one' : 'two') 35 assert_equal('two', 0 ? 'one' : 'two') 36 if has('float') 37 assert_equal('two', 0.0 ? 'one' : 'two') 38 endif 39 assert_equal('two', '' ? 'one' : 'two') 40 assert_equal('two', 0z ? 'one' : 'two') 41 assert_equal('two', [] ? 'one' : 'two') 42 assert_equal('two', {} ? 'one' : 'two') 43 var = 0 44 assert_equal('two', var ? 'one' : 'two') 45 46 let Some: func = function('len') 47 let Other: func = function('winnr') 48 let Res: func = g:atrue ? Some : Other 49 assert_equal(function('len'), Res) 50 51 let RetOne: func(string): number = function('len') 52 let RetTwo: func(string): number = function('winnr') 53 let RetThat: func = g:atrue ? RetOne : RetTwo 54 assert_equal(function('len'), RetThat) 55 56 let X = FuncOne 57 let Y = FuncTwo 58 let Z = g:cond ? FuncOne : FuncTwo 59 assert_equal(123, Z(3)) 60enddef 61 62def Test_expr1_vimscript() 63 # check line continuation 64 let lines =<< trim END 65 vim9script 66 let var = 1 67 ? 'yes' 68 : 'no' 69 assert_equal('yes', var) 70 END 71 CheckScriptSuccess(lines) 72 73 lines =<< trim END 74 vim9script 75 let var = v:false 76 ? 'yes' 77 : 'no' 78 assert_equal('no', var) 79 END 80 CheckScriptSuccess(lines) 81 82 lines =<< trim END 83 vim9script 84 let var = v:false ? 85 'yes' : 86 'no' 87 assert_equal('no', var) 88 END 89 CheckScriptSuccess(lines) 90 91 # check white space 92 lines =<< trim END 93 vim9script 94 let var = v:true?1:2 95 END 96 CheckScriptFailure(lines, 'E1004:') 97 lines =<< trim END 98 vim9script 99 let var = v:true? 1 : 2 100 END 101 CheckScriptFailure(lines, 'E1004:') 102 lines =<< trim END 103 vim9script 104 let var = v:true ?1 : 2 105 END 106 CheckScriptFailure(lines, 'E1004:') 107 lines =<< trim END 108 vim9script 109 let var = v:true ? 1: 2 110 END 111 CheckScriptFailure(lines, 'E1004:') 112 lines =<< trim END 113 vim9script 114 let var = v:true ? 1 :2 115 END 116 CheckScriptFailure(lines, 'E1004:') 117enddef 118 119func Test_expr1_fails() 120 call CheckDefFailure(["let x = 1 ? 'one'"], "Missing ':' after '?'") 121 call CheckDefFailure(["let x = 1 ? 'one' : xxx"], "E1001:") 122 123 let msg = "white space required before and after '?'" 124 call CheckDefFailure(["let x = 1? 'one' : 'two'"], msg) 125 call CheckDefFailure(["let x = 1 ?'one' : 'two'"], msg) 126 call CheckDefFailure(["let x = 1?'one' : 'two'"], msg) 127 128 let msg = "white space required before and after ':'" 129 call CheckDefFailure(["let x = 1 ? 'one': 'two'"], msg) 130 call CheckDefFailure(["let x = 1 ? 'one' :'two'"], msg) 131 call CheckDefFailure(["let x = 1 ? 'one':'two'"], msg) 132 133 " missing argument detected even when common type is used 134 call CheckDefFailure([ 135 \ 'let X = FuncOne', 136 \ 'let Y = FuncTwo', 137 \ 'let Z = g:cond ? FuncOne : FuncTwo', 138 \ 'Z()'], 'E119:') 139endfunc 140 141" TODO: define inside test function 142def Record(val: any): any 143 g:vals->add(val) 144 return val 145enddef 146 147" test || 148def Test_expr2() 149 assert_equal(2, 2 || 0) 150 assert_equal(7, 0 || 151 0 || 152 7) 153 assert_equal(0, 0 || 0) 154 assert_equal(0, 0 155 || 0) 156 assert_equal('', 0 || '') 157 158 g:vals = [] 159 assert_equal(3, Record(3) || Record(1)) 160 assert_equal([3], g:vals) 161 162 g:vals = [] 163 assert_equal(5, Record(0) || Record(5)) 164 assert_equal([0, 5], g:vals) 165 166 g:vals = [] 167 assert_equal(4, Record(0) 168 || Record(4) 169 || Record(0)) 170 assert_equal([0, 4], g:vals) 171 172 g:vals = [] 173 assert_equal(0, Record([]) || Record('') || Record(0)) 174 assert_equal([[], '', 0], g:vals) 175enddef 176 177def Test_expr2_vimscript() 178 # check line continuation 179 let lines =<< trim END 180 vim9script 181 let var = 0 182 || 1 183 assert_equal(1, var) 184 END 185 CheckScriptSuccess(lines) 186 187 lines =<< trim END 188 vim9script 189 let var = v:false 190 || v:true 191 || v:false 192 assert_equal(v:true, var) 193 END 194 CheckScriptSuccess(lines) 195 196 lines =<< trim END 197 vim9script 198 let var = v:false || 199 v:true || 200 v:false 201 assert_equal(v:true, var) 202 END 203 CheckScriptSuccess(lines) 204 205 # check white space 206 lines =<< trim END 207 vim9script 208 let var = v:true||v:true 209 END 210 CheckScriptFailure(lines, 'E1004:') 211 lines =<< trim END 212 vim9script 213 let var = v:true ||v:true 214 END 215 CheckScriptFailure(lines, 'E1004:') 216 lines =<< trim END 217 vim9script 218 let var = v:true|| v:true 219 END 220 CheckScriptFailure(lines, 'E1004:') 221 222 # check keeping the value 223 lines =<< trim END 224 vim9script 225 assert_equal(2, 2 || 0) 226 assert_equal(7, 0 || 227 0 || 228 7) 229 assert_equal(0, 0 || 0) 230 assert_equal(0, 0 231 || 0) 232 assert_equal('', 0 || '') 233 234 g:vals = [] 235 assert_equal(3, Record(3) || Record(1)) 236 assert_equal([3], g:vals) 237 238 g:vals = [] 239 assert_equal(5, Record(0) || Record(5)) 240 assert_equal([0, 5], g:vals) 241 242 g:vals = [] 243 assert_equal(4, Record(0) 244 || Record(4) 245 || Record(0)) 246 assert_equal([0, 4], g:vals) 247 248 g:vals = [] 249 assert_equal(0, Record([]) || Record('') || Record(0)) 250 assert_equal([[], '', 0], g:vals) 251 END 252 CheckScriptSuccess(lines) 253enddef 254 255func Test_expr2_fails() 256 let msg = "white space required before and after '||'" 257 call CheckDefFailure(["let x = 1||2"], msg) 258 call CheckDefFailure(["let x = 1 ||2"], msg) 259 call CheckDefFailure(["let x = 1|| 2"], msg) 260 261 call CheckDefFailure(["let x = 1 || xxx"], 'E1001:') 262endfunc 263 264" test && 265def Test_expr3() 266 assert_equal(0, 2 && 0) 267 assert_equal(0, 0 && 268 0 && 269 7) 270 assert_equal(7, 2 271 && 3 272 && 7) 273 assert_equal(0, 0 && 0) 274 assert_equal(0, 0 && '') 275 assert_equal('', 8 && '') 276 277 g:vals = [] 278 assert_equal(1, Record(3) && Record(1)) 279 assert_equal([3, 1], g:vals) 280 281 g:vals = [] 282 assert_equal(0, Record(0) && Record(5)) 283 assert_equal([0], g:vals) 284 285 g:vals = [] 286 assert_equal(0, Record(0) && Record(4) && Record(0)) 287 assert_equal([0], g:vals) 288 289 g:vals = [] 290 assert_equal(0, Record(8) && Record(4) && Record(0)) 291 assert_equal([8, 4, 0], g:vals) 292 293 g:vals = [] 294 assert_equal(0, Record([1]) && Record('z') && Record(0)) 295 assert_equal([[1], 'z', 0], g:vals) 296enddef 297 298def Test_expr3_vimscript() 299 # check line continuation 300 let lines =<< trim END 301 vim9script 302 let var = 0 303 && 1 304 assert_equal(0, var) 305 END 306 CheckScriptSuccess(lines) 307 308 lines =<< trim END 309 vim9script 310 let var = v:true 311 && v:true 312 && v:true 313 assert_equal(v:true, var) 314 END 315 CheckScriptSuccess(lines) 316 317 lines =<< trim END 318 vim9script 319 let var = v:true && 320 v:true && 321 v:true 322 assert_equal(v:true, var) 323 END 324 CheckScriptSuccess(lines) 325 326 # check white space 327 lines =<< trim END 328 vim9script 329 let var = v:true&&v:true 330 END 331 CheckScriptFailure(lines, 'E1004:') 332 lines =<< trim END 333 vim9script 334 let var = v:true &&v:true 335 END 336 CheckScriptFailure(lines, 'E1004:') 337 lines =<< trim END 338 vim9script 339 let var = v:true&& v:true 340 END 341 CheckScriptFailure(lines, 'E1004:') 342 343 # check keeping the value 344 lines =<< trim END 345 vim9script 346 assert_equal(0, 2 && 0) 347 assert_equal(0, 0 && 348 0 && 349 7) 350 assert_equal(7, 2 351 && 3 352 && 7) 353 assert_equal(0, 0 && 0) 354 assert_equal(0, 0 && '') 355 assert_equal('', 8 && '') 356 357 g:vals = [] 358 assert_equal(1, Record(3) && Record(1)) 359 assert_equal([3, 1], g:vals) 360 361 g:vals = [] 362 assert_equal(0, Record(0) && Record(5)) 363 assert_equal([0], g:vals) 364 365 g:vals = [] 366 assert_equal(0, Record(0) && Record(4) && Record(0)) 367 assert_equal([0], g:vals) 368 369 g:vals = [] 370 assert_equal(0, Record(8) && Record(4) && Record(0)) 371 assert_equal([8, 4, 0], g:vals) 372 373 g:vals = [] 374 assert_equal(0, Record([1]) && Record('z') && Record(0)) 375 assert_equal([[1], 'z', 0], g:vals) 376 END 377 CheckScriptSuccess(lines) 378enddef 379 380func Test_expr3_fails() 381 let msg = "white space required before and after '&&'" 382 call CheckDefFailure(["let x = 1&&2"], msg) 383 call CheckDefFailure(["let x = 1 &&2"], msg) 384 call CheckDefFailure(["let x = 1&& 2"], msg) 385endfunc 386 387let atrue = v:true 388let afalse = v:false 389let anone = v:none 390let anull = v:null 391let anint = 10 392let alsoint = 4 393if has('float') 394 let afloat = 0.1 395endif 396let astring = 'asdf' 397let ablob = 0z01ab 398let alist = [2, 3, 4] 399let adict = #{aaa: 2, bbb: 8} 400 401" test == comperator 402def Test_expr4_equal() 403 let trueVar = true 404 let falseVar = false 405 assert_equal(true, true == true) 406 assert_equal(false, true == 407 false) 408 assert_equal(true, true 409 == trueVar) 410 assert_equal(false, true == falseVar) 411 assert_equal(true, true == g:atrue) 412 assert_equal(false, g:atrue == false) 413 414 assert_equal(true, v:none == v:none) 415 assert_equal(false, v:none == v:null) 416 assert_equal(true, g:anone == v:none) 417 assert_equal(false, v:none == g:anull) 418 419 let nr0 = 0 420 let nr61 = 61 421 assert_equal(false, 2 == 0) 422 assert_equal(false, 2 == nr0) 423 assert_equal(true, 61 == 61) 424 assert_equal(true, 61 == nr61) 425 assert_equal(true, g:anint == 10) 426 assert_equal(false, 61 == g:anint) 427 428 if has('float') 429 let ff = 0.3 430 assert_equal(true, ff == 0.3) 431 assert_equal(false, 0.4 == ff) 432 assert_equal(true, 0.1 == g:afloat) 433 assert_equal(false, g:afloat == 0.3) 434 435 ff = 3.0 436 assert_equal(true, ff == 3) 437 assert_equal(true, 3 == ff) 438 ff = 3.1 439 assert_equal(false, ff == 3) 440 assert_equal(false, 3 == ff) 441 endif 442 443 assert_equal(true, 'abc' == 'abc') 444 assert_equal(false, 'xyz' == 'abc') 445 assert_equal(true, g:astring == 'asdf') 446 assert_equal(false, 'xyz' == g:astring) 447 448 assert_equal(false, 'abc' == 'aBc') 449 assert_equal(false, 'abc' ==# 'aBc') 450 assert_equal(true, 'abc' ==? 'aBc') 451 452 assert_equal(false, 'abc' == 'ABC') 453 set ignorecase 454 assert_equal(false, 'abc' == 'ABC') 455 assert_equal(false, 'abc' ==# 'ABC') 456 set noignorecase 457 458 call CheckDefFailure(["let x = 'a' == xxx"], 'E1001:') 459 460 let bb = 0z3f 461 assert_equal(true, 0z3f == bb) 462 assert_equal(false, bb == 0z4f) 463 assert_equal(true, g:ablob == 0z01ab) 464 assert_equal(false, 0z3f == g:ablob) 465 466 assert_equal(true, [1, 2, 3] == [1, 2, 3]) 467 assert_equal(false, [1, 2, 3] == [2, 3, 1]) 468 assert_equal(true, [2, 3, 4] == g:alist) 469 assert_equal(false, g:alist == [2, 3, 1]) 470 assert_equal(false, [1, 2, 3] == []) 471 assert_equal(false, [1, 2, 3] == ['1', '2', '3']) 472 473 assert_equal(true, #{one: 1, two: 2} == #{one: 1, two: 2}) 474 assert_equal(false, #{one: 1, two: 2} == #{one: 2, two: 2}) 475 assert_equal(false, #{one: 1, two: 2} == #{two: 2}) 476 assert_equal(false, #{one: 1, two: 2} == #{}) 477 assert_equal(true, g:adict == #{bbb: 8, aaa: 2}) 478 assert_equal(false, #{ccc: 9, aaa: 2} == g:adict) 479 480 assert_equal(true, function('g:Test_expr4_equal') == function('g:Test_expr4_equal')) 481 assert_equal(false, function('g:Test_expr4_equal') == function('g:Test_expr4_is')) 482 483 assert_equal(true, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [123])) 484 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_is', [123])) 485 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [999])) 486 487 let OneFunc: func 488 let TwoFunc: func 489 OneFunc = function('len') 490 TwoFunc = function('len') 491 assert_equal(true, OneFunc('abc') == TwoFunc('123')) 492enddef 493 494" test != comperator 495def Test_expr4_notequal() 496 let trueVar = true 497 let falseVar = false 498 assert_equal(false, true != true) 499 assert_equal(true, true != 500 false) 501 assert_equal(false, true 502 != trueVar) 503 assert_equal(true, true != falseVar) 504 assert_equal(false, true != g:atrue) 505 assert_equal(true, g:atrue != false) 506 507 assert_equal(false, v:none != v:none) 508 assert_equal(true, v:none != v:null) 509 assert_equal(false, g:anone != v:none) 510 assert_equal(true, v:none != g:anull) 511 512 let nr55 = 55 513 let nr0 = 55 514 assert_equal(true, 2 != 0) 515 assert_equal(true, 2 != nr0) 516 assert_equal(false, 55 != 55) 517 assert_equal(false, 55 != nr55) 518 assert_equal(false, g:anint != 10) 519 assert_equal(true, 61 != g:anint) 520 521 if has('float') 522 let ff = 0.3 523 assert_equal(false, 0.3 != ff) 524 assert_equal(true, 0.4 != ff) 525 assert_equal(false, 0.1 != g:afloat) 526 assert_equal(true, g:afloat != 0.3) 527 528 ff = 3.0 529 assert_equal(false, ff != 3) 530 assert_equal(false, 3 != ff) 531 ff = 3.1 532 assert_equal(true, ff != 3) 533 assert_equal(true, 3 != ff) 534 endif 535 536 assert_equal(false, 'abc' != 'abc') 537 assert_equal(true, 'xyz' != 'abc') 538 assert_equal(false, g:astring != 'asdf') 539 assert_equal(true, 'xyz' != g:astring) 540 541 assert_equal(true, 'abc' != 'ABC') 542 set ignorecase 543 assert_equal(true, 'abc' != 'ABC') 544 set noignorecase 545 546 let bb = 0z3f 547 assert_equal(false, 0z3f != bb) 548 assert_equal(true, bb != 0z4f) 549 assert_equal(false, g:ablob != 0z01ab) 550 assert_equal(true, 0z3f != g:ablob) 551 552 assert_equal(false, [1, 2, 3] != [1, 2, 3]) 553 assert_equal(true, [1, 2, 3] != [2, 3, 1]) 554 assert_equal(false, [2, 3, 4] != g:alist) 555 assert_equal(true, g:alist != [2, 3, 1]) 556 assert_equal(true, [1, 2, 3] != []) 557 assert_equal(true, [1, 2, 3] != ['1', '2', '3']) 558 559 assert_equal(false, #{one: 1, two: 2} != #{one: 1, two: 2}) 560 assert_equal(true, #{one: 1, two: 2} != #{one: 2, two: 2}) 561 assert_equal(true, #{one: 1, two: 2} != #{two: 2}) 562 assert_equal(true, #{one: 1, two: 2} != #{}) 563 assert_equal(false, g:adict != #{bbb: 8, aaa: 2}) 564 assert_equal(true, #{ccc: 9, aaa: 2} != g:adict) 565 566 assert_equal(false, function('g:Test_expr4_equal') != function('g:Test_expr4_equal')) 567 assert_equal(true, function('g:Test_expr4_equal') != function('g:Test_expr4_is')) 568 569 assert_equal(false, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [123])) 570 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_is', [123])) 571 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [999])) 572enddef 573 574" test > comperator 575def Test_expr4_greater() 576 assert_true(2 > 0) 577 assert_true(2 > 578 1) 579 assert_false(2 > 2) 580 assert_false(2 > 3) 581 let nr2 = 2 582 assert_true(nr2 > 0) 583 assert_true(nr2 > 584 1) 585 assert_false(nr2 > 2) 586 assert_false(nr2 587 > 3) 588 if has('float') 589 let ff = 2.0 590 assert_true(ff > 0.0) 591 assert_true(ff > 1.0) 592 assert_false(ff > 2.0) 593 assert_false(ff > 3.0) 594 endif 595enddef 596 597" test >= comperator 598def Test_expr4_greaterequal() 599 assert_true(2 >= 0) 600 assert_true(2 >= 601 2) 602 assert_false(2 >= 3) 603 let nr2 = 2 604 assert_true(nr2 >= 0) 605 assert_true(nr2 >= 2) 606 assert_false(nr2 >= 3) 607 if has('float') 608 let ff = 2.0 609 assert_true(ff >= 0.0) 610 assert_true(ff >= 2.0) 611 assert_false(ff >= 3.0) 612 endif 613enddef 614 615" test < comperator 616def Test_expr4_smaller() 617 assert_false(2 < 0) 618 assert_false(2 < 619 2) 620 assert_true(2 621 < 3) 622 let nr2 = 2 623 assert_false(nr2 < 0) 624 assert_false(nr2 < 2) 625 assert_true(nr2 < 3) 626 if has('float') 627 let ff = 2.0 628 assert_false(ff < 0.0) 629 assert_false(ff < 2.0) 630 assert_true(ff < 3.0) 631 endif 632enddef 633 634" test <= comperator 635def Test_expr4_smallerequal() 636 assert_false(2 <= 0) 637 assert_false(2 <= 638 1) 639 assert_true(2 640 <= 2) 641 assert_true(2 <= 3) 642 let nr2 = 2 643 assert_false(nr2 <= 0) 644 assert_false(nr2 <= 1) 645 assert_true(nr2 <= 2) 646 assert_true(nr2 <= 3) 647 if has('float') 648 let ff = 2.0 649 assert_false(ff <= 0.0) 650 assert_false(ff <= 1.0) 651 assert_true(ff <= 2.0) 652 assert_true(ff <= 3.0) 653 endif 654enddef 655 656" test =~ comperator 657def Test_expr4_match() 658 assert_equal(false, '2' =~ '0') 659 assert_equal(false, '' 660 =~ '0') 661 assert_equal(true, '2' =~ 662 '[0-9]') 663enddef 664 665" test !~ comperator 666def Test_expr4_nomatch() 667 assert_equal(true, '2' !~ '0') 668 assert_equal(true, '' 669 !~ '0') 670 assert_equal(false, '2' !~ 671 '[0-9]') 672enddef 673 674" test is comperator 675def Test_expr4_is() 676 let mylist = [2] 677 assert_false(mylist is [2]) 678 let other = mylist 679 assert_true(mylist is 680 other) 681 682 let myblob = 0z1234 683 assert_false(myblob 684 is 0z1234) 685 let otherblob = myblob 686 assert_true(myblob is otherblob) 687enddef 688 689" test isnot comperator 690def Test_expr4_isnot() 691 let mylist = [2] 692 assert_true('2' isnot '0') 693 assert_true(mylist isnot [2]) 694 let other = mylist 695 assert_false(mylist isnot 696 other) 697 698 let myblob = 0z1234 699 assert_true(myblob 700 isnot 0z1234) 701 let otherblob = myblob 702 assert_false(myblob isnot otherblob) 703enddef 704 705def RetVoid() 706 let x = 1 707enddef 708 709def Test_expr4_vim9script() 710 # check line continuation 711 let lines =<< trim END 712 vim9script 713 let var = 0 714 < 1 715 assert_equal(true, var) 716 END 717 CheckScriptSuccess(lines) 718 719 lines =<< trim END 720 vim9script 721 let var = 123 722 != 123 723 assert_equal(false, var) 724 END 725 CheckScriptSuccess(lines) 726 727 lines =<< trim END 728 vim9script 729 let var = 123 == 730 123 731 assert_equal(true, var) 732 END 733 CheckScriptSuccess(lines) 734 735 lines =<< trim END 736 vim9script 737 let list = [1, 2, 3] 738 let var = list 739 is list 740 assert_equal(true, var) 741 END 742 CheckScriptSuccess(lines) 743 744 lines =<< trim END 745 vim9script 746 let myblob = 0z1234 747 let var = myblob 748 isnot 0z11 749 assert_equal(true, var) 750 END 751 CheckScriptSuccess(lines) 752 753 # spot check mismatching types 754 lines =<< trim END 755 vim9script 756 echo '' == 0 757 END 758 CheckScriptFailure(lines, 'E1072:') 759 760 lines =<< trim END 761 vim9script 762 echo v:true > v:false 763 END 764 CheckScriptFailure(lines, 'Cannot compare bool with bool') 765 766 lines =<< trim END 767 vim9script 768 echo 123 is 123 769 END 770 CheckScriptFailure(lines, 'Cannot use "is" with number') 771 772 # check 'ignorecase' not being used 773 lines =<< trim END 774 vim9script 775 set ignorecase 776 assert_equal(false, 'abc' == 'ABC') 777 assert_equal(false, 'abc' ==# 'ABC') 778 assert_equal(true, 'abc' ==? 'ABC') 779 780 assert_equal(true, 'abc' != 'ABC') 781 assert_equal(true, 'abc' !=# 'ABC') 782 assert_equal(false, 'abc' !=? 'ABC') 783 784 assert_equal(false, 'abc' =~ 'ABC') 785 assert_equal(false, 'abc' =~# 'ABC') 786 assert_equal(true, 'abc' =~? 'ABC') 787 set noignorecase 788 END 789 CheckScriptSuccess(lines) 790 791 # check missing white space 792 lines =<< trim END 793 vim9script 794 echo 2>3 795 END 796 CheckScriptFailure(lines, 'E1004:') 797 lines =<< trim END 798 vim9script 799 echo 2 >3 800 END 801 CheckScriptFailure(lines, 'E1004:') 802 lines =<< trim END 803 vim9script 804 echo 2> 3 805 END 806 CheckScriptFailure(lines, 'E1004:') 807 lines =<< trim END 808 vim9script 809 echo 2!=3 810 END 811 CheckScriptFailure(lines, 'E1004:') 812 lines =<< trim END 813 vim9script 814 echo 2 !=3 815 END 816 CheckScriptFailure(lines, 'E1004:') 817 lines =<< trim END 818 vim9script 819 echo 2!= 3 820 END 821 CheckScriptFailure(lines, 'E1004:') 822 823 lines =<< trim END 824 vim9script 825 echo len('xxx') == 3 826 END 827 CheckScriptSuccess(lines) 828enddef 829 830func Test_expr4_fails() 831 let msg = "white space required before and after '>'" 832 call CheckDefFailure(["let x = 1>2"], msg) 833 call CheckDefFailure(["let x = 1 >2"], msg) 834 call CheckDefFailure(["let x = 1> 2"], msg) 835 836 let msg = "white space required before and after '=='" 837 call CheckDefFailure(["let x = 1==2"], msg) 838 call CheckDefFailure(["let x = 1 ==2"], msg) 839 call CheckDefFailure(["let x = 1== 2"], msg) 840 841 let msg = "white space required before and after 'is'" 842 call CheckDefFailure(["let x = '1'is'2'"], msg) 843 call CheckDefFailure(["let x = '1' is'2'"], msg) 844 call CheckDefFailure(["let x = '1'is '2'"], msg) 845 846 let msg = "white space required before and after 'isnot'" 847 call CheckDefFailure(["let x = '1'isnot'2'"], msg) 848 call CheckDefFailure(["let x = '1' isnot'2'"], msg) 849 call CheckDefFailure(["let x = '1'isnot '2'"], msg) 850 851 call CheckDefFailure(["let x = 1 is# 2"], 'E15:') 852 call CheckDefFailure(["let x = 1 is? 2"], 'E15:') 853 call CheckDefFailure(["let x = 1 isnot# 2"], 'E15:') 854 call CheckDefFailure(["let x = 1 isnot? 2"], 'E15:') 855 856 call CheckDefFailure(["let x = 1 == '2'"], 'Cannot compare number with string') 857 call CheckDefFailure(["let x = '1' == 2"], 'Cannot compare string with number') 858 call CheckDefFailure(["let x = 1 == RetVoid()"], 'Cannot compare number with void') 859 call CheckDefFailure(["let x = RetVoid() == 1"], 'Cannot compare void with number') 860 861 call CheckDefFailure(["let x = true > false"], 'Cannot compare bool with bool') 862 call CheckDefFailure(["let x = true >= false"], 'Cannot compare bool with bool') 863 call CheckDefFailure(["let x = true < false"], 'Cannot compare bool with bool') 864 call CheckDefFailure(["let x = true <= false"], 'Cannot compare bool with bool') 865 call CheckDefFailure(["let x = true =~ false"], 'Cannot compare bool with bool') 866 call CheckDefFailure(["let x = true !~ false"], 'Cannot compare bool with bool') 867 call CheckDefFailure(["let x = true is false"], 'Cannot use "is" with bool') 868 call CheckDefFailure(["let x = true isnot false"], 'Cannot use "isnot" with bool') 869 870 call CheckDefFailure(["let x = v:none is v:null"], 'Cannot use "is" with special') 871 call CheckDefFailure(["let x = v:none isnot v:null"], 'Cannot use "isnot" with special') 872 call CheckDefFailure(["let x = 123 is 123"], 'Cannot use "is" with number') 873 call CheckDefFailure(["let x = 123 isnot 123"], 'Cannot use "isnot" with number') 874 if has('float') 875 call CheckDefFailure(["let x = 1.3 is 1.3"], 'Cannot use "is" with float') 876 call CheckDefFailure(["let x = 1.3 isnot 1.3"], 'Cannot use "isnot" with float') 877 endif 878 879 call CheckDefFailure(["let x = 0za1 > 0z34"], 'Cannot compare blob with blob') 880 call CheckDefFailure(["let x = 0za1 >= 0z34"], 'Cannot compare blob with blob') 881 call CheckDefFailure(["let x = 0za1 < 0z34"], 'Cannot compare blob with blob') 882 call CheckDefFailure(["let x = 0za1 <= 0z34"], 'Cannot compare blob with blob') 883 call CheckDefFailure(["let x = 0za1 =~ 0z34"], 'Cannot compare blob with blob') 884 call CheckDefFailure(["let x = 0za1 !~ 0z34"], 'Cannot compare blob with blob') 885 886 call CheckDefFailure(["let x = [13] > [88]"], 'Cannot compare list with list') 887 call CheckDefFailure(["let x = [13] >= [88]"], 'Cannot compare list with list') 888 call CheckDefFailure(["let x = [13] < [88]"], 'Cannot compare list with list') 889 call CheckDefFailure(["let x = [13] <= [88]"], 'Cannot compare list with list') 890 call CheckDefFailure(["let x = [13] =~ [88]"], 'Cannot compare list with list') 891 call CheckDefFailure(["let x = [13] !~ [88]"], 'Cannot compare list with list') 892 893 call CheckDefFailure(['let j: job', 'let chan: channel', 'let r = j == chan'], 'Cannot compare job with channel') 894 call CheckDefFailure(['let j: job', 'let x: list<any>', 'let r = j == x'], 'Cannot compare job with list') 895 call CheckDefFailure(['let j: job', 'let Xx: func', 'let r = j == Xx'], 'Cannot compare job with func') 896 call CheckDefFailure(['let j: job', 'let Xx: func', 'let r = j == Xx'], 'Cannot compare job with func') 897endfunc 898 899" test addition, subtraction, concatenation 900def Test_expr5() 901 assert_equal(66, 60 + 6) 902 assert_equal(70, 60 + 903 g:anint) 904 assert_equal(9, g:alsoint 905 + 5) 906 assert_equal(14, g:alsoint + g:anint) 907 assert_equal([1, 2, 3, 4], [1] + g:alist) 908 909 assert_equal(54, 60 - 6) 910 assert_equal(50, 60 - 911 g:anint) 912 assert_equal(-1, g:alsoint 913 - 5) 914 assert_equal(-6, g:alsoint - g:anint) 915 916 assert_equal('hello', 'hel' .. 'lo') 917 assert_equal('hello 123', 'hello ' .. 918 123) 919 assert_equal('hello 123', 'hello ' 920 .. 123) 921 assert_equal('123 hello', 123 .. ' hello') 922 assert_equal('123456', 123 .. 456) 923 924 assert_equal([1, 2, 3, 4], [1, 2] + [3, 4]) 925 assert_equal(0z11223344, 0z1122 + 0z3344) 926 assert_equal(0z112201ab, 0z1122 927 + g:ablob) 928 assert_equal(0z01ab3344, g:ablob + 0z3344) 929 assert_equal(0z01ab01ab, g:ablob + g:ablob) 930enddef 931 932def Test_expr5_vim9script() 933 # check line continuation 934 let lines =<< trim END 935 vim9script 936 let var = 11 937 + 77 938 - 22 939 assert_equal(66, var) 940 END 941 CheckScriptSuccess(lines) 942 943 lines =<< trim END 944 vim9script 945 let var = 11 + 946 77 - 947 22 948 assert_equal(66, var) 949 END 950 CheckScriptSuccess(lines) 951 952 lines =<< trim END 953 vim9script 954 let var = 'one' 955 .. 'two' 956 assert_equal('onetwo', var) 957 END 958 CheckScriptSuccess(lines) 959 960 lines =<< trim END 961 vim9script 962 echo 'abc' is# 'abc' 963 END 964 CheckScriptFailure(lines, 'E15:') 965 966 lines =<< trim END 967 vim9script 968 echo 'abc' is? 'abc' 969 END 970 CheckScriptFailure(lines, 'E15:') 971 972 lines =<< trim END 973 vim9script 974 echo 'abc' isnot# 'abc' 975 END 976 CheckScriptFailure(lines, 'E15:') 977 978 lines =<< trim END 979 vim9script 980 echo 'abc' isnot? 'abc' 981 END 982 CheckScriptFailure(lines, 'E15:') 983 984 # check white space 985 lines =<< trim END 986 vim9script 987 echo 5+6 988 END 989 CheckScriptFailure(lines, 'E1004:') 990 lines =<< trim END 991 vim9script 992 echo 5 +6 993 END 994 CheckScriptFailure(lines, 'E1004:') 995 lines =<< trim END 996 vim9script 997 echo 5+ 6 998 END 999 CheckScriptFailure(lines, 'E1004:') 1000 1001 lines =<< trim END 1002 vim9script 1003 echo 'a'..'b' 1004 END 1005 CheckScriptFailure(lines, 'E1004:') 1006 lines =<< trim END 1007 vim9script 1008 echo 'a' ..'b' 1009 END 1010 CheckScriptFailure(lines, 'E1004:') 1011 lines =<< trim END 1012 vim9script 1013 echo 'a'.. 'b' 1014 END 1015 CheckScriptFailure(lines, 'E1004:') 1016enddef 1017 1018def Test_expr5_float() 1019 if !has('float') 1020 MissingFeature 'float' 1021 else 1022 assert_equal(66.0, 60.0 + 6.0) 1023 assert_equal(66.0, 60.0 + 6) 1024 assert_equal(66.0, 60 + 1025 6.0) 1026 assert_equal(5.1, g:afloat 1027 + 5) 1028 assert_equal(8.1, 8 + g:afloat) 1029 assert_equal(10.1, g:anint + g:afloat) 1030 assert_equal(10.1, g:afloat + g:anint) 1031 1032 assert_equal(54.0, 60.0 - 6.0) 1033 assert_equal(54.0, 60.0 1034 - 6) 1035 assert_equal(54.0, 60 - 6.0) 1036 assert_equal(-4.9, g:afloat - 5) 1037 assert_equal(7.9, 8 - g:afloat) 1038 assert_equal(9.9, g:anint - g:afloat) 1039 assert_equal(-9.9, g:afloat - g:anint) 1040 endif 1041enddef 1042 1043func Test_expr5_fails() 1044 let msg = "white space required before and after '+'" 1045 call CheckDefFailure(["let x = 1+2"], msg) 1046 call CheckDefFailure(["let x = 1 +2"], msg) 1047 call CheckDefFailure(["let x = 1+ 2"], msg) 1048 1049 let msg = "white space required before and after '-'" 1050 call CheckDefFailure(["let x = 1-2"], msg) 1051 call CheckDefFailure(["let x = 1 -2"], msg) 1052 call CheckDefFailure(["let x = 1- 2"], msg) 1053 1054 let msg = "white space required before and after '..'" 1055 call CheckDefFailure(["let x = '1'..'2'"], msg) 1056 call CheckDefFailure(["let x = '1' ..'2'"], msg) 1057 call CheckDefFailure(["let x = '1'.. '2'"], msg) 1058 1059 call CheckDefFailure(["let x = 0z1122 + 33"], 'E1051') 1060 call CheckDefFailure(["let x = 0z1122 + [3]"], 'E1051') 1061 call CheckDefFailure(["let x = 0z1122 + 'asd'"], 'E1051') 1062 call CheckDefFailure(["let x = 33 + 0z1122"], 'E1051') 1063 call CheckDefFailure(["let x = [3] + 0z1122"], 'E1051') 1064 call CheckDefFailure(["let x = 'asdf' + 0z1122"], 'E1051') 1065 call CheckDefFailure(["let x = 6 + xxx"], 'E1001') 1066endfunc 1067 1068" test multiply, divide, modulo 1069def Test_expr6() 1070 assert_equal(36, 6 * 6) 1071 assert_equal(24, 6 * 1072 g:alsoint) 1073 assert_equal(24, g:alsoint 1074 * 6) 1075 assert_equal(40, g:anint * g:alsoint) 1076 1077 assert_equal(10, 60 / 6) 1078 assert_equal(6, 60 / 1079 g:anint) 1080 assert_equal(1, g:anint / 6) 1081 assert_equal(2, g:anint 1082 / g:alsoint) 1083 1084 assert_equal(5, 11 % 6) 1085 assert_equal(4, g:anint % 6) 1086 assert_equal(3, 13 % 1087 g:anint) 1088 assert_equal(2, g:anint 1089 % g:alsoint) 1090 1091 assert_equal(4, 6 * 4 / 6) 1092 1093 let x = [2] 1094 let y = [3] 1095 assert_equal(5, x[0] + y[0]) 1096 assert_equal(6, x[0] * y[0]) 1097 if has('float') 1098 let xf = [2.0] 1099 let yf = [3.0] 1100 assert_equal(5.0, xf[0] 1101 + yf[0]) 1102 assert_equal(6.0, xf[0] 1103 * yf[0]) 1104 endif 1105 1106 call CheckDefFailure(["let x = 6 * xxx"], 'E1001') 1107enddef 1108 1109def Test_expr6_vim9script() 1110 # check line continuation 1111 let lines =<< trim END 1112 vim9script 1113 let var = 11 1114 * 22 1115 / 3 1116 assert_equal(80, var) 1117 END 1118 CheckScriptSuccess(lines) 1119 1120 lines =<< trim END 1121 vim9script 1122 let var = 25 1123 % 10 1124 assert_equal(5, var) 1125 END 1126 CheckScriptSuccess(lines) 1127 1128 lines =<< trim END 1129 vim9script 1130 let var = 11 * 1131 22 / 1132 3 1133 assert_equal(80, var) 1134 END 1135 CheckScriptSuccess(lines) 1136 1137 # check white space 1138 lines =<< trim END 1139 vim9script 1140 echo 5*6 1141 END 1142 CheckScriptFailure(lines, 'E1004:') 1143 lines =<< trim END 1144 vim9script 1145 echo 5 *6 1146 END 1147 CheckScriptFailure(lines, 'E1004:') 1148 lines =<< trim END 1149 vim9script 1150 echo 5* 6 1151 END 1152 CheckScriptFailure(lines, 'E1004:') 1153enddef 1154 1155def Test_expr6_float() 1156 if !has('float') 1157 MissingFeature 'float' 1158 else 1159 assert_equal(36.0, 6.0 * 6) 1160 assert_equal(36.0, 6 * 1161 6.0) 1162 assert_equal(36.0, 6.0 * 6.0) 1163 assert_equal(1.0, g:afloat * g:anint) 1164 1165 assert_equal(10.0, 60 / 6.0) 1166 assert_equal(10.0, 60.0 / 1167 6) 1168 assert_equal(10.0, 60.0 / 6.0) 1169 assert_equal(0.01, g:afloat / g:anint) 1170 1171 assert_equal(4.0, 6.0 * 4 / 6) 1172 assert_equal(4.0, 6 * 1173 4.0 / 1174 6) 1175 assert_equal(4.0, 6 * 4 / 6.0) 1176 assert_equal(4.0, 6.0 * 4.0 / 6) 1177 assert_equal(4.0, 6 * 4.0 / 6.0) 1178 assert_equal(4.0, 6.0 * 4 / 6.0) 1179 assert_equal(4.0, 6.0 * 4.0 / 6.0) 1180 1181 assert_equal(4.0, 6.0 * 4.0 / 6.0) 1182 endif 1183enddef 1184 1185func Test_expr6_fails() 1186 let msg = "white space required before and after '*'" 1187 call CheckDefFailure(["let x = 1*2"], msg) 1188 call CheckDefFailure(["let x = 1 *2"], msg) 1189 call CheckDefFailure(["let x = 1* 2"], msg) 1190 1191 let msg = "white space required before and after '/'" 1192 call CheckDefFailure(["let x = 1/2"], msg) 1193 call CheckDefFailure(["let x = 1 /2"], msg) 1194 call CheckDefFailure(["let x = 1/ 2"], msg) 1195 1196 let msg = "white space required before and after '%'" 1197 call CheckDefFailure(["let x = 1%2"], msg) 1198 call CheckDefFailure(["let x = 1 %2"], msg) 1199 call CheckDefFailure(["let x = 1% 2"], msg) 1200 1201 call CheckDefFailure(["let x = '1' * '2'"], 'E1036:') 1202 call CheckDefFailure(["let x = '1' / '2'"], 'E1036:') 1203 call CheckDefFailure(["let x = '1' % '2'"], 'E1035:') 1204 1205 call CheckDefFailure(["let x = 0z01 * 0z12"], 'E1036:') 1206 call CheckDefFailure(["let x = 0z01 / 0z12"], 'E1036:') 1207 call CheckDefFailure(["let x = 0z01 % 0z12"], 'E1035:') 1208 1209 call CheckDefFailure(["let x = [1] * [2]"], 'E1036:') 1210 call CheckDefFailure(["let x = [1] / [2]"], 'E1036:') 1211 call CheckDefFailure(["let x = [1] % [2]"], 'E1035:') 1212 1213 call CheckDefFailure(["let x = #{one: 1} * #{two: 2}"], 'E1036:') 1214 call CheckDefFailure(["let x = #{one: 1} / #{two: 2}"], 'E1036:') 1215 call CheckDefFailure(["let x = #{one: 1} % #{two: 2}"], 'E1035:') 1216 1217 call CheckDefFailure(["let x = 0xff[1]"], 'E1090:') 1218 if has('float') 1219 call CheckDefFailure(["let x = 0.7[1]"], 'E1090:') 1220 endif 1221endfunc 1222 1223func Test_expr6_float_fails() 1224 CheckFeature float 1225 call CheckDefFailure(["let x = 1.0 % 2"], 'E1035:') 1226endfunc 1227 1228" define here to use old style parsing 1229if has('float') 1230 let g:float_zero = 0.0 1231 let g:float_neg = -9.8 1232 let g:float_big = 9.9e99 1233endif 1234let g:blob_empty = 0z 1235let g:blob_one = 0z01 1236let g:blob_long = 0z0102.0304 1237 1238let g:string_empty = '' 1239let g:string_short = 'x' 1240let g:string_long = 'abcdefghijklm' 1241let g:string_special = "ab\ncd\ref\ekk" 1242 1243let g:special_true = v:true 1244let g:special_false = v:false 1245let g:special_null = v:null 1246let g:special_none = v:none 1247 1248let g:list_empty = [] 1249let g:list_mixed = [1, 'b', v:false] 1250 1251let g:dict_empty = {} 1252let g:dict_one = #{one: 1} 1253 1254let $TESTVAR = 'testvar' 1255 1256" type casts 1257def Test_expr7t() 1258 let ls: list<string> = ['a', <string>g:string_empty] 1259 let ln: list<number> = [<number>g:anint, <number>g:alsoint] 1260enddef 1261 1262" test low level expression 1263def Test_expr7_number() 1264 # number constant 1265 assert_equal(0, 0) 1266 assert_equal(654, 0654) 1267 1268 assert_equal(6, 0x6) 1269 assert_equal(15, 0xf) 1270 assert_equal(255, 0xff) 1271enddef 1272 1273def Test_expr7_float() 1274 # float constant 1275 if !has('float') 1276 MissingFeature 'float' 1277 else 1278 assert_equal(g:float_zero, .0) 1279 assert_equal(g:float_zero, 0.0) 1280 assert_equal(g:float_neg, -9.8) 1281 assert_equal(g:float_big, 9.9e99) 1282 endif 1283enddef 1284 1285def Test_expr7_blob() 1286 # blob constant 1287 assert_equal(g:blob_empty, 0z) 1288 assert_equal(g:blob_one, 0z01) 1289 assert_equal(g:blob_long, 0z0102.0304) 1290 1291 call CheckDefFailure(["let x = 0z123"], 'E973:') 1292enddef 1293 1294def Test_expr7_string() 1295 # string constant 1296 assert_equal(g:string_empty, '') 1297 assert_equal(g:string_empty, "") 1298 assert_equal(g:string_short, 'x') 1299 assert_equal(g:string_short, "x") 1300 assert_equal(g:string_long, 'abcdefghijklm') 1301 assert_equal(g:string_long, "abcdefghijklm") 1302 assert_equal(g:string_special, "ab\ncd\ref\ekk") 1303 1304 call CheckDefFailure(['let x = "abc'], 'E114:') 1305 call CheckDefFailure(["let x = 'abc"], 'E115:') 1306enddef 1307 1308def Test_expr7_vimvar() 1309 let old: list<string> = v:oldfiles 1310 let compl: dict<any> = v:completed_item 1311 1312 call CheckDefFailure(["let old: list<number> = v:oldfiles"], 'E1013: type mismatch, expected list<number> but got list<string>') 1313 call CheckDefFailure(["let old: dict<number> = v:completed_item"], 'E1013: type mismatch, expected dict<number> but got dict<any>') 1314enddef 1315 1316def Test_expr7_special() 1317 # special constant 1318 assert_equal(g:special_true, true) 1319 assert_equal(g:special_false, false) 1320 assert_equal(g:special_true, v:true) 1321 assert_equal(g:special_false, v:false) 1322 1323 assert_equal(true, !false) 1324 assert_equal(false, !true) 1325 assert_equal(true, !0) 1326 assert_equal(false, !1) 1327 assert_equal(false, !!false) 1328 assert_equal(true, !!true) 1329 assert_equal(false, !!0) 1330 assert_equal(true, !!1) 1331 1332 assert_equal(g:special_null, v:null) 1333 assert_equal(g:special_none, v:none) 1334 1335 call CheckDefFailure(['v:true = true'], 'E46:') 1336 call CheckDefFailure(['v:true = false'], 'E46:') 1337 call CheckDefFailure(['v:false = true'], 'E46:') 1338 call CheckDefFailure(['v:null = 11'], 'E46:') 1339 call CheckDefFailure(['v:none = 22'], 'E46:') 1340enddef 1341 1342def Test_expr7_special_vim9script() 1343 let lines =<< trim END 1344 vim9script 1345 let t = true 1346 let f = false 1347 assert_equal(v:true, true) 1348 assert_equal(true, t) 1349 assert_equal(v:false, false) 1350 assert_equal(false, f) 1351 assert_equal(true, !false) 1352 assert_equal(false, !true) 1353 assert_equal(true, !0) 1354 assert_equal(false, !1) 1355 assert_equal(false, !!false) 1356 assert_equal(true, !!true) 1357 assert_equal(false, !!0) 1358 assert_equal(true, !!1) 1359 END 1360 CheckScriptSuccess(lines) 1361enddef 1362 1363def Test_expr7_list() 1364 # list 1365 assert_equal(g:list_empty, []) 1366 assert_equal(g:list_empty, [ ]) 1367 1368 let numbers: list<number> = [1, 2, 3] 1369 numbers = [1] 1370 numbers = [] 1371 1372 let strings: list<string> = ['a', 'b', 'c'] 1373 strings = ['x'] 1374 strings = [] 1375 1376 let mixed: list<any> = [1, 'b', false,] 1377 assert_equal(g:list_mixed, mixed) 1378 assert_equal('b', g:list_mixed[1]) 1379 1380 echo [1, 1381 2] [3, 1382 4] 1383 1384 call CheckDefExecFailure(["let x = g:anint[3]"], 'E714:') 1385 call CheckDefFailure(["let x = g:list_mixed[xxx]"], 'E1001:') 1386 call CheckDefFailure(["let x = [1,2,3]"], 'E1069:') 1387 call CheckDefExecFailure(["let x = g:list_mixed['xx']"], 'E1029:') 1388 call CheckDefFailure(["let x = g:list_mixed["], 'E1097:') 1389 call CheckDefFailure(["let x = g:list_mixed[0"], 'E1097:') 1390 call CheckDefExecFailure(["let x = g:list_empty[3]"], 'E684:') 1391 call CheckDefFailure(["let l: list<number> = [234, 'x']"], 'E1013:') 1392 call CheckDefFailure(["let l: list<number> = ['x', 234]"], 'E1013:') 1393 call CheckDefFailure(["let l: list<string> = [234, 'x']"], 'E1013:') 1394 call CheckDefFailure(["let l: list<string> = ['x', 123]"], 'E1013:') 1395enddef 1396 1397def Test_expr7_list_vim9script() 1398 let lines =<< trim END 1399 vim9script 1400 let l = [ 1401 11, 1402 22, 1403 ] 1404 assert_equal([11, 22], l) 1405 1406 echo [1, 1407 2] [3, 1408 4] 1409 END 1410 CheckScriptSuccess(lines) 1411 1412 lines =<< trim END 1413 vim9script 1414 let l = [11, 1415 22] 1416 assert_equal([11, 22], l) 1417 END 1418 CheckScriptSuccess(lines) 1419 1420 lines =<< trim END 1421 vim9script 1422 let l = [11,22] 1423 END 1424 CheckScriptFailure(lines, 'E1069:') 1425enddef 1426 1427def Test_expr7_lambda() 1428 let La = { -> 'result'} 1429 assert_equal('result', La()) 1430 assert_equal([1, 3, 5], [1, 2, 3]->map({key, val -> key + val})) 1431 1432 # line continuation inside lambda with "cond ? expr : expr" works 1433 let ll = range(3) 1434 map(ll, {k, v -> v % 2 ? { 1435 '111': 111 } : {} 1436 }) 1437 assert_equal([{}, {'111': 111}, {}], ll) 1438 1439 ll = range(3) 1440 map(ll, {k, v -> v == 8 || v 1441 == 9 1442 || v % 2 ? 111 : 222 1443 }) 1444 assert_equal([222, 111, 222], ll) 1445 1446 ll = range(3) 1447 map(ll, {k, v -> v != 8 && v 1448 != 9 1449 && v % 2 == 0 ? 111 : 222 1450 }) 1451 assert_equal([111, 222, 111], ll) 1452 1453 let dl = [{'key': 0}, {'key': 22}]->filter({ _, v -> v['key'] }) 1454 assert_equal([{'key': 22}], dl) 1455 1456 dl = [{'key': 12}, {'foo': 34}] 1457 assert_equal([{'key': 12}], filter(dl, 1458 {_, v -> has_key(v, 'key') ? v['key'] == 12 : 0})) 1459 1460 call CheckDefFailure(["filter([1, 2], {k,v -> 1})"], 'E1069:') 1461enddef 1462 1463def Test_expr7_lambda_vim9script() 1464 let lines =<< trim END 1465 vim9script 1466 let v = 10->{a -> 1467 a 1468 + 2 1469 }() 1470 assert_equal(12, v) 1471 END 1472 CheckScriptSuccess(lines) 1473enddef 1474 1475def Test_expr7_dict() 1476 # dictionary 1477 assert_equal(g:dict_empty, {}) 1478 assert_equal(g:dict_empty, { }) 1479 assert_equal(g:dict_one, {'one': 1}) 1480 let key = 'one' 1481 let val = 1 1482 assert_equal(g:dict_one, {key: val}) 1483 1484 let numbers: dict<number> = #{a: 1, b: 2, c: 3} 1485 numbers = #{a: 1} 1486 numbers = #{} 1487 1488 let strings: dict<string> = #{a: 'a', b: 'b', c: 'c'} 1489 strings = #{a: 'x'} 1490 strings = #{} 1491 1492 let mixed: dict<any> = #{a: 'a', b: 42} 1493 mixed = #{a: 'x'} 1494 mixed = #{a: 234} 1495 mixed = #{} 1496 1497 call CheckDefFailure(["let x = #{8: 8}"], 'E1014:') 1498 call CheckDefFailure(["let x = #{xxx}"], 'E720:') 1499 call CheckDefFailure(["let x = #{xxx: 1", "let y = 2"], 'E722:') 1500 call CheckDefFailure(["let x = #{xxx: 1,"], 'E723:') 1501 call CheckDefFailure(["let x = {'a': xxx}"], 'E1001:') 1502 call CheckDefFailure(["let x = {xxx: 8}"], 'E1001:') 1503 call CheckDefFailure(["let x = #{a: 1, a: 2}"], 'E721:') 1504 call CheckDefFailure(["let x = #"], 'E1015:') 1505 call CheckDefFailure(["let x += 1"], 'E1020:') 1506 call CheckDefFailure(["let x = x + 1"], 'E1001:') 1507 call CheckDefExecFailure(["let x = g:anint.member"], 'E715:') 1508 call CheckDefExecFailure(["let x = g:dict_empty.member"], 'E716:') 1509 1510 call CheckDefFailure(['let x: dict<number> = #{a: 234, b: "1"}'], 'E1013:') 1511 call CheckDefFailure(['let x: dict<number> = #{a: "x", b: 134}'], 'E1013:') 1512 call CheckDefFailure(['let x: dict<string> = #{a: 234, b: "1"}'], 'E1013:') 1513 call CheckDefFailure(['let x: dict<string> = #{a: "x", b: 134}'], 'E1013:') 1514enddef 1515 1516def Test_expr7_dict_vim9script() 1517 let lines =<< trim END 1518 vim9script 1519 let d = { 1520 'one': 1521 1, 1522 'two': 2, 1523 } 1524 assert_equal({'one': 1, 'two': 2}, d) 1525 END 1526 CheckScriptSuccess(lines) 1527 1528 lines =<< trim END 1529 vim9script 1530 let d = { "one": "one", "two": "two", } 1531 assert_equal({'one': 'one', 'two': 'two'}, d) 1532 END 1533 CheckScriptSuccess(lines) 1534 1535 lines =<< trim END 1536 vim9script 1537 let d = #{one: 1, 1538 two: 2, 1539 } 1540 assert_equal({'one': 1, 'two': 2}, d) 1541 END 1542 CheckScriptSuccess(lines) 1543 1544 lines =<< trim END 1545 vim9script 1546 let d = #{one:1, two: 2} 1547 END 1548 CheckScriptFailure(lines, 'E1069:') 1549 1550 lines =<< trim END 1551 vim9script 1552 let d = #{one: 1,two: 2} 1553 END 1554 CheckScriptFailure(lines, 'E1069:') 1555enddef 1556 1557let g:oneString = 'one' 1558 1559def Test_expr_member() 1560 assert_equal(1, g:dict_one.one) 1561 let d: dict<number> = g:dict_one 1562 assert_equal(1, d['one']) 1563 assert_equal(1, d[ 1564 'one' 1565 ]) 1566 assert_equal(1, d 1567 .one) 1568 d = {'1': 1, '_': 2} 1569 assert_equal(1, d 1570 .1) 1571 assert_equal(2, d 1572 ._) 1573 1574 # getting the one member should clear the dict after getting the item 1575 assert_equal('one', #{one: 'one'}.one) 1576 assert_equal('one', #{one: 'one'}[g:oneString]) 1577 1578 call CheckDefFailure(["let x = g:dict_one.#$!"], 'E1002:') 1579 call CheckDefExecFailure(["let d: dict<any>", "echo d['a']"], 'E716:') 1580 call CheckDefExecFailure(["let d: dict<number>", "d = g:list_empty"], 'E1029: Expected dict but got list') 1581enddef 1582 1583def Test_expr_index() 1584 # getting the one member should clear the list only after getting the item 1585 assert_equal('bbb', ['aaa', 'bbb', 'ccc'][1]) 1586enddef 1587 1588def Test_expr_member_vim9script() 1589 let lines =<< trim END 1590 vim9script 1591 let d = #{one: 1592 'one', 1593 two: 'two', 1594 1: 1, 1595 _: 2} 1596 assert_equal('one', d.one) 1597 assert_equal('one', d 1598 .one) 1599 assert_equal(1, d 1600 .1) 1601 assert_equal(2, d 1602 ._) 1603 assert_equal('one', d[ 1604 'one' 1605 ]) 1606 END 1607 CheckScriptSuccess(lines) 1608 1609 lines =<< trim END 1610 vim9script 1611 let l = [1, 1612 2, 1613 3, 4 1614 ] 1615 assert_equal(2, l[ 1616 1 1617 ]) 1618 assert_equal([2, 3], l[1 : 2]) 1619 assert_equal([1, 2, 3], l[ 1620 : 1621 2 1622 ]) 1623 assert_equal([3, 4], l[ 1624 2 1625 : 1626 ]) 1627 END 1628 CheckScriptSuccess(lines) 1629enddef 1630 1631def Test_expr7_option() 1632 # option 1633 set ts=11 1634 assert_equal(11, &ts) 1635 &ts = 9 1636 assert_equal(9, &ts) 1637 set ts=8 1638 set grepprg=some\ text 1639 assert_equal('some text', &grepprg) 1640 &grepprg = test_null_string() 1641 assert_equal('', &grepprg) 1642 set grepprg& 1643enddef 1644 1645def Test_expr7_environment() 1646 # environment variable 1647 assert_equal('testvar', $TESTVAR) 1648 assert_equal('', $ASDF_ASD_XXX) 1649 1650 call CheckDefFailure(["let x = $$$"], 'E1002:') 1651enddef 1652 1653def Test_expr7_register() 1654 @a = 'register a' 1655 assert_equal('register a', @a) 1656 1657 let fname = expand('%') 1658 assert_equal(fname, @%) 1659 1660 feedkeys(":echo 'some'\<CR>", "xt") 1661 assert_equal("echo 'some'", @:) 1662 1663 normal axyz 1664 assert_equal("xyz", @.) 1665 call CheckDefFailure(["@. = 'yes'"], 'E354:') 1666 1667 @/ = 'slash' 1668 assert_equal('slash', @/) 1669 1670 @= = 'equal' 1671 assert_equal('equal', @=) 1672enddef 1673 1674def Test_expr7_namespace() 1675 g:some_var = 'some' 1676 assert_equal('some', get(g:, 'some_var')) 1677 assert_equal('some', get(g:, 'some_var', 'xxx')) 1678 assert_equal('xxx', get(g:, 'no_var', 'xxx')) 1679 unlet g:some_var 1680 1681 b:some_var = 'some' 1682 assert_equal('some', get(b:, 'some_var')) 1683 assert_equal('some', get(b:, 'some_var', 'xxx')) 1684 assert_equal('xxx', get(b:, 'no_var', 'xxx')) 1685 unlet b:some_var 1686 1687 w:some_var = 'some' 1688 assert_equal('some', get(w:, 'some_var')) 1689 assert_equal('some', get(w:, 'some_var', 'xxx')) 1690 assert_equal('xxx', get(w:, 'no_var', 'xxx')) 1691 unlet w:some_var 1692 1693 t:some_var = 'some' 1694 assert_equal('some', get(t:, 'some_var')) 1695 assert_equal('some', get(t:, 'some_var', 'xxx')) 1696 assert_equal('xxx', get(t:, 'no_var', 'xxx')) 1697 unlet t:some_var 1698enddef 1699 1700def Test_expr7_parens() 1701 # (expr) 1702 assert_equal(4, (6 * 4) / 6) 1703 assert_equal(0, 6 * ( 4 / 6 )) 1704 1705 assert_equal(6, +6) 1706 assert_equal(-6, -6) 1707 assert_equal(6, --6) 1708 assert_equal(6, -+-6) 1709 assert_equal(-6, ---6) 1710 assert_equal(false, !-3) 1711 assert_equal(true, !+-+0) 1712enddef 1713 1714def Test_expr7_parens_vim9script() 1715 let lines =<< trim END 1716 vim9script 1717 let s = ( 1718 'one' 1719 .. 1720 'two' 1721 ) 1722 assert_equal('onetwo', s) 1723 END 1724 CheckScriptSuccess(lines) 1725enddef 1726 1727def Test_expr7_negate() 1728 assert_equal(-99, -99) 1729 assert_equal(99, --99) 1730 let nr = 88 1731 assert_equal(-88, -nr) 1732 assert_equal(88, --nr) 1733enddef 1734 1735def Echo(arg: any): string 1736 return arg 1737enddef 1738 1739def s:Echo4Arg(arg: any): string 1740 return arg 1741enddef 1742 1743def Test_expr7_call() 1744 assert_equal('yes', 'yes'->Echo()) 1745 assert_equal('yes', 'yes' 1746 ->s:Echo4Arg()) 1747 assert_equal(true, !range(5)->empty()) 1748 assert_equal([0, 1, 2], --3->range()) 1749 1750 call CheckDefFailure(["let x = 'yes'->Echo"], 'E107:') 1751 call CheckScriptFailure([ 1752 "vim9script", 1753 "let x = substitute ('x', 'x', 'x', 'x')" 1754 ], 'E121:') 1755enddef 1756 1757 1758def Test_expr7_not() 1759 let lines =<< trim END 1760 assert_equal(true, !'') 1761 assert_equal(true, ![]) 1762 assert_equal(false, !'asdf') 1763 assert_equal(false, ![2]) 1764 assert_equal(true, !!'asdf') 1765 assert_equal(true, !![2]) 1766 1767 assert_equal(true, !test_null_partial()) 1768 assert_equal(false, !{-> 'yes'}) 1769 1770 assert_equal(true, !test_null_dict()) 1771 assert_equal(true, !{}) 1772 assert_equal(false, !{'yes': 'no'}) 1773 1774 if has('channel') 1775 assert_equal(true, !test_null_job()) 1776 assert_equal(true, !test_null_channel()) 1777 endif 1778 1779 assert_equal(true, !test_null_blob()) 1780 assert_equal(true, !0z) 1781 assert_equal(false, !0z01) 1782 1783 assert_equal(true, !test_void()) 1784 assert_equal(true, !test_unknown()) 1785 1786 assert_equal(false, ![1, 2, 3]->reverse()) 1787 assert_equal(true, ![]->reverse()) 1788 END 1789 CheckDefSuccess(lines) 1790 CheckScriptSuccess(['vim9script'] + lines) 1791enddef 1792 1793func Test_expr7_fails() 1794 call CheckDefFailure(["let x = (12"], "E110:") 1795 1796 call CheckDefFailure(["let x = -'xx'"], "E1030:") 1797 call CheckDefFailure(["let x = +'xx'"], "E1030:") 1798 call CheckDefFailure(["let x = -0z12"], "E974:") 1799 call CheckDefExecFailure(["let x = -[8]"], "E39:") 1800 call CheckDefExecFailure(["let x = -{'a': 1}"], "E39:") 1801 1802 call CheckDefFailure(["let x = @"], "E1002:") 1803 call CheckDefFailure(["let x = @<"], "E354:") 1804 1805 call CheckDefFailure(["let x = [1, 2"], "E697:") 1806 call CheckDefFailure(["let x = [notfound]"], "E1001:") 1807 1808 call CheckDefFailure(["let x = { -> 123) }"], "E451:") 1809 call CheckDefFailure(["let x = 123->{x -> x + 5) }"], "E451:") 1810 1811 call CheckDefFailure(["let x = ¬exist"], 'E113:') 1812 call CheckDefFailure(["&grepprg = [343]"], 'E1013:') 1813 1814 call CheckDefExecFailure(["echo s:doesnt_exist"], 'E121:') 1815 call CheckDefExecFailure(["echo g:doesnt_exist"], 'E121:') 1816 1817 call CheckDefFailure(["echo a:somevar"], 'E1075:') 1818 call CheckDefFailure(["echo l:somevar"], 'E1075:') 1819 call CheckDefFailure(["echo x:somevar"], 'E1075:') 1820 1821 call CheckDefExecFailure(["let x = +g:astring"], 'E1030:') 1822 call CheckDefExecFailure(["let x = +g:ablob"], 'E974:') 1823 call CheckDefExecFailure(["let x = +g:alist"], 'E745:') 1824 call CheckDefExecFailure(["let x = +g:adict"], 'E728:') 1825 1826 call CheckDefFailure(["let x = ''", "let y = x.memb"], 'E715:') 1827 1828 call CheckDefFailure(["'yes'->", "Echo()"], 'E488: Trailing characters: ->') 1829 1830 call CheckDefExecFailure(["[1, 2->len()"], 'E697:') 1831 call CheckDefExecFailure(["#{a: 1->len()"], 'E488:') 1832 call CheckDefExecFailure(["{'a': 1->len()"], 'E723:') 1833endfunc 1834 1835let g:Funcrefs = [function('add')] 1836 1837func CallMe(arg) 1838 return a:arg 1839endfunc 1840 1841func CallMe2(one, two) 1842 return a:one .. a:two 1843endfunc 1844 1845def Test_expr7_trailing() 1846 # user function call 1847 assert_equal(123, g:CallMe(123)) 1848 assert_equal(123, g:CallMe( 123)) 1849 assert_equal(123, g:CallMe(123 )) 1850 assert_equal('yesno', g:CallMe2('yes', 'no')) 1851 assert_equal('yesno', g:CallMe2( 'yes', 'no' )) 1852 assert_equal('nothing', g:CallMe('nothing')) 1853 1854 # partial call 1855 let Part = function('g:CallMe') 1856 assert_equal('yes', Part('yes')) 1857 1858 # funcref call, using list index 1859 let l = [] 1860 g:Funcrefs[0](l, 2) 1861 assert_equal([2], l) 1862 1863 # method call 1864 l = [2, 5, 6] 1865 l->map({k, v -> k + v}) 1866 assert_equal([2, 6, 8], l) 1867 1868 # lambda method call 1869 l = [2, 5] 1870 l->{l -> add(l, 8)}() 1871 assert_equal([2, 5, 8], l) 1872 1873 # dict member 1874 let d = #{key: 123} 1875 assert_equal(123, d.key) 1876enddef 1877 1878def Test_expr7_subscript() 1879 let text = 'abcdef' 1880 assert_equal('', text[-1]) 1881 assert_equal('a', text[0]) 1882 assert_equal('e', text[4]) 1883 assert_equal('f', text[5]) 1884 assert_equal('', text[6]) 1885enddef 1886 1887def Test_expr7_subscript_linebreak() 1888 let range = range( 1889 3) 1890 let l = range 1891 ->map('string(v:key)') 1892 assert_equal(['0', '1', '2'], l) 1893 1894 l = range 1895 ->map('string(v:key)') 1896 assert_equal(['0', '1', '2'], l) 1897 1898 l = range # comment 1899 ->map('string(v:key)') 1900 assert_equal(['0', '1', '2'], l) 1901 1902 l = range 1903 1904 ->map('string(v:key)') 1905 assert_equal(['0', '1', '2'], l) 1906 1907 l = range 1908 # comment 1909 ->map('string(v:key)') 1910 assert_equal(['0', '1', '2'], l) 1911 1912 assert_equal('1', l[ 1913 1]) 1914 1915 let d = #{one: 33} 1916 assert_equal(33, d. 1917 one) 1918enddef 1919 1920def Test_expr7_method_call() 1921 new 1922 setline(1, ['first', 'last']) 1923 'second'->append(1) 1924 "third"->append(2) 1925 assert_equal(['first', 'second', 'third', 'last'], getline(1, '$')) 1926 bwipe! 1927 1928 let bufnr = bufnr() 1929 let loclist = [#{bufnr: bufnr, lnum: 42, col: 17, text: 'wrong'}] 1930 loclist->setloclist(0) 1931 assert_equal([#{bufnr: bufnr, 1932 lnum: 42, 1933 col: 17, 1934 text: 'wrong', 1935 pattern: '', 1936 valid: 1, 1937 vcol: 0, 1938 nr: 0, 1939 type: '', 1940 module: ''} 1941 ], getloclist(0)) 1942enddef 1943 1944func Test_expr7_trailing_fails() 1945 call CheckDefFailure(['let l = [2]', 'l->{l -> add(l, 8)}'], 'E107') 1946 call CheckDefFailure(['let l = [2]', 'l->{l -> add(l, 8)} ()'], 'E274') 1947endfunc 1948 1949func Test_expr_fails() 1950 call CheckDefFailure(["let x = '1'is2"], 'E488:') 1951 call CheckDefFailure(["let x = '1'isnot2"], 'E488:') 1952 1953 call CheckDefFailure(["CallMe ('yes')"], 'E476:') 1954 call CheckDefFailure(["CallMe2('yes','no')"], 'E1069:') 1955 call CheckDefFailure(["CallMe2('yes' , 'no')"], 'E1068:') 1956 1957 call CheckDefFailure(["v:nosuch += 3"], 'E1001:') 1958 call CheckDefFailure(["let v:statusmsg = ''"], 'E1016: Cannot declare a v: variable:') 1959 call CheckDefFailure(["let asdf = v:nosuch"], 'E1001:') 1960 1961 call CheckDefFailure(["echo len('asdf'"], 'E110:') 1962 call CheckDefFailure(["echo Func0123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789()"], 'E1011:') 1963 call CheckDefFailure(["echo doesnotexist()"], 'E117:') 1964endfunc 1965