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