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_trinary() 16 var lines =<< trim END 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 var name = 1 32 assert_equal('one', name ? '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 name = 0 44 assert_equal('two', name ? 'one' : 'two') 45 46 echo ['a'] + (1 ? ['b'] : ['c'] 47 ) 48 echo ['a'] + (1 ? ['b'] : ['c'] # comment 49 ) 50 51 # with constant condition expression is not evaluated 52 assert_equal('one', 1 ? 'one' : xxx) 53 54 var Some: func = function('len') 55 var Other: func = function('winnr') 56 var Res: func = g:atrue ? Some : Other 57 assert_equal(function('len'), Res) 58 59 var RetOne: func(string): number = function('len') 60 var RetTwo: func(string): number = function('winnr') 61 var RetThat: func = g:atrue ? RetOne : RetTwo 62 assert_equal(function('len'), RetThat) 63 64 var X = FuncOne 65 var Y = FuncTwo 66 var Z = g:cond ? FuncOne : FuncTwo 67 assert_equal(123, Z(3)) 68 END 69 CheckDefAndScriptSuccess(lines) 70enddef 71 72def Test_expr1_trinary_vimscript() 73 # check line continuation 74 var lines =<< trim END 75 vim9script 76 var name = 1 77 ? 'yes' 78 : 'no' 79 assert_equal('yes', name) 80 END 81 CheckScriptSuccess(lines) 82 83 lines =<< trim END 84 vim9script 85 var name = v:false 86 ? 'yes' 87 : 'no' 88 assert_equal('no', name) 89 END 90 CheckScriptSuccess(lines) 91 92 lines =<< trim END 93 vim9script 94 var name = v:false ? 95 'yes' : 96 'no' 97 assert_equal('no', name) 98 END 99 CheckScriptSuccess(lines) 100 101 lines =<< trim END 102 vim9script 103 var name = v:false ? # comment 104 'yes' : 105 # comment 106 'no' # comment 107 assert_equal('no', name) 108 END 109 CheckScriptSuccess(lines) 110 111 # check white space 112 lines =<< trim END 113 vim9script 114 var name = v:true?1:2 115 END 116 CheckScriptFailure(lines, 'E1004: White space required before and after ''?'' at "?1:2"', 2) 117 lines =<< trim END 118 vim9script 119 var name = v:true? 1 : 2 120 END 121 CheckScriptFailure(lines, 'E1004:', 2) 122 lines =<< trim END 123 vim9script 124 var name = v:true ?1 : 2 125 END 126 CheckScriptFailure(lines, 'E1004:', 2) 127 lines =<< trim END 128 vim9script 129 var name = v:true ? 1: 2 130 END 131 CheckScriptFailure(lines, 'E1004: White space required before and after '':'' at ": 2"', 2) 132 lines =<< trim END 133 vim9script 134 var name = v:true ? 1 :2 135 END 136 CheckScriptFailure(lines, 'E1004:', 2) 137 138 lines =<< trim END 139 vim9script 140 var name = 'x' ? 1 : 2 141 END 142 CheckScriptFailure(lines, 'E1135:', 2) 143 144 lines =<< trim END 145 vim9script 146 var name = [] ? 1 : 2 147 END 148 CheckScriptFailure(lines, 'E745:', 2) 149 150 lines =<< trim END 151 vim9script 152 var name = {} ? 1 : 2 153 END 154 CheckScriptFailure(lines, 'E728:', 2) 155 156 # check after failure eval_flags is reset 157 lines =<< trim END 158 vim9script 159 try 160 eval('0 ? 1: 2') 161 catch 162 endtry 163 assert_equal(v:true, eval(string(v:true))) 164 END 165 CheckScriptSuccess(lines) 166 167 lines =<< trim END 168 vim9script 169 try 170 eval('0 ? 1 :2') 171 catch 172 endtry 173 assert_equal(v:true, eval(string(v:true))) 174 END 175 CheckScriptSuccess(lines) 176enddef 177 178func Test_expr1_trinary_fails() 179 call CheckDefFailure(["var x = 1 ? 'one'"], "Missing ':' after '?'", 1) 180 181 let msg = "White space required before and after '?'" 182 call CheckDefFailure(["var x = 1? 'one' : 'two'"], msg, 1) 183 call CheckDefFailure(["var x = 1 ?'one' : 'two'"], msg, 1) 184 call CheckDefFailure(["var x = 1?'one' : 'two'"], msg, 1) 185 186 let msg = "White space required before and after ':'" 187 call CheckDefFailure(["var x = 1 ? 'one': 'two'"], msg, 1) 188 call CheckDefFailure(["var x = 1 ? 'one' :'two'"], msg, 1) 189 call CheckDefFailure(["var x = 1 ? 'one':'two'"], msg, 1) 190 191 call CheckDefFailure(["var x = 'x' ? 'one' : 'two'"], 'E1135:', 1) 192 call CheckDefFailure(["var x = 0z1234 ? 'one' : 'two'"], 'E974:', 1) 193 call CheckDefExecFailure(["var x = [] ? 'one' : 'two'"], 'E745:', 1) 194 call CheckDefExecFailure(["var x = {} ? 'one' : 'two'"], 'E728:', 1) 195 196 call CheckDefExecFailure(["var x = false ? "], 'E1097:', 3) 197 call CheckDefExecFailure(["var x = false ? 'one' : "], 'E1097:', 3) 198 199 call CheckDefExecFailure(["var x = true ? xxx : 'foo'"], 'E1001:', 1) 200 call CheckDefExecFailure(["var x = false ? 'foo' : xxx"], 'E1001:', 1) 201 202 if has('float') 203 call CheckDefFailure(["var x = 0.1 ? 'one' : 'two'"], 'E805:', 1) 204 endif 205 206 " missing argument detected even when common type is used 207 call CheckDefFailure([ 208 \ 'var X = FuncOne', 209 \ 'var Y = FuncTwo', 210 \ 'var Z = g:cond ? FuncOne : FuncTwo', 211 \ 'Z()'], 'E119:', 4) 212endfunc 213 214def Test_expr1_falsy() 215 var lines =<< trim END 216 assert_equal(v:true, v:true ?? 456) 217 assert_equal(123, 123 ?? 456) 218 assert_equal('yes', 'yes' ?? 456) 219 assert_equal([1], [1] ?? 456) 220 assert_equal({one: 1}, {one: 1} ?? 456) 221 if has('float') 222 assert_equal(0.1, 0.1 ?? 456) 223 endif 224 225 assert_equal(456, v:false ?? 456) 226 assert_equal(456, 0 ?? 456) 227 assert_equal(456, '' ?? 456) 228 assert_equal(456, [] ?? 456) 229 assert_equal(456, {} ?? 456) 230 if has('float') 231 assert_equal(456, 0.0 ?? 456) 232 endif 233 END 234 CheckDefAndScriptSuccess(lines) 235 236 var msg = "White space required before and after '??'" 237 call CheckDefFailure(["var x = 1?? 'one' : 'two'"], msg, 1) 238 call CheckDefFailure(["var x = 1 ??'one' : 'two'"], msg, 1) 239 call CheckDefFailure(["var x = 1??'one' : 'two'"], msg, 1) 240enddef 241 242def Record(val: any): any 243 g:vals->add(val) 244 return val 245enddef 246 247" test || 248def Test_expr2() 249 var lines =<< trim END 250 assert_equal(true, 1 || 0) 251 assert_equal(true, 0 || 252 0 || 253 1) 254 assert_equal(true, 0 || 255 0 || 256 !!7) 257 assert_equal(false, 0 || 0) 258 assert_equal(false, 0 259 || 0) 260 assert_equal(false, 0 || false) 261 262 g:vals = [] 263 assert_equal(true, Record(1) || Record(3)) 264 assert_equal([1], g:vals) 265 266 g:vals = [] 267 assert_equal(true, Record(0) || Record(1)) 268 assert_equal([0, 1], g:vals) 269 270 g:vals = [] 271 assert_equal(true, Record(0) || Record(true)) 272 assert_equal([0, true], g:vals) 273 274 g:vals = [] 275 assert_equal(true, Record(0) 276 || Record(1) 277 || Record(0)) 278 assert_equal([0, 1], g:vals) 279 280 g:vals = [] 281 assert_equal(true, Record(0) 282 || Record(true) 283 || Record(0)) 284 assert_equal([0, true], g:vals) 285 286 g:vals = [] 287 assert_equal(true, Record(true) || Record(false)) 288 assert_equal([true], g:vals) 289 290 g:vals = [] 291 assert_equal(false, Record(0) || Record(false) || Record(0)) 292 assert_equal([0, false, 0], g:vals) 293 END 294 CheckDefAndScriptSuccess(lines) 295enddef 296 297def Test_expr2_vimscript() 298 # check line continuation 299 var lines =<< trim END 300 vim9script 301 var name = 0 302 || 1 303 assert_equal(true, name) 304 END 305 CheckScriptSuccess(lines) 306 307 lines =<< trim END 308 vim9script 309 var name = v:false 310 || v:true 311 || v:false 312 assert_equal(v:true, name) 313 END 314 CheckScriptSuccess(lines) 315 316 lines =<< trim END 317 vim9script 318 var name = v:false || 319 v:true || 320 v:false 321 assert_equal(v:true, name) 322 END 323 CheckScriptSuccess(lines) 324 325 lines =<< trim END 326 vim9script 327 var name = v:false || # comment 328 # comment 329 v:true || 330 # comment 331 v:false # comment 332 assert_equal(v:true, name) 333 END 334 CheckScriptSuccess(lines) 335 336 # check white space 337 lines =<< trim END 338 vim9script 339 var name = v:true||v:true 340 END 341 CheckScriptFailure(lines, 'E1004: White space required before and after ''||'' at "||v:true"', 2) 342 lines =<< trim END 343 vim9script 344 var name = v:true ||v:true 345 END 346 CheckScriptFailure(lines, 'E1004:', 2) 347 lines =<< trim END 348 vim9script 349 var name = v:true|| v:true 350 END 351 CheckScriptFailure(lines, 'E1004:', 2) 352enddef 353 354def Test_expr2_fails() 355 var msg = "White space required before and after '||'" 356 call CheckDefFailure(["var x = 1||2"], msg, 1) 357 call CheckDefFailure(["var x = 1 ||2"], msg, 1) 358 call CheckDefFailure(["var x = 1|| 2"], msg, 1) 359 360 call CheckDefFailure(["var x = false || "], 'E1097:', 3) 361 362 call CheckDefFailure(["var x = 1 || xxx"], 'E1001:', 1) 363 call CheckDefFailure(["var x = [] || false"], 'E1012:', 1) 364 call CheckDefFailure(["if 'yes' || 0", 'echo 0', 'endif'], 'E1012: Type mismatch; expected bool but got string', 1) 365 366 # TODO: should fail at compile time 367 call CheckDefExecFailure(["var x = 3 || 7"], 'E1023:', 1) 368 call CheckScriptFailure(["vim9script", "var x = 3 || 7"], 'E1023:', 2) 369 call CheckScriptFailure(["vim9script", "var x = [] || false"], 'E745:', 2) 370enddef 371 372" test && 373def Test_expr3() 374 var lines =<< trim END 375 assert_equal(false, 1 && 0) 376 assert_equal(false, 0 && 377 0 && 378 1) 379 assert_equal(true, 1 380 && true 381 && 1) 382 assert_equal(false, 0 && 0) 383 assert_equal(false, 0 && false) 384 assert_equal(true, 1 && true) 385 386 g:vals = [] 387 assert_equal(true, Record(true) && Record(1)) 388 assert_equal([true, 1], g:vals) 389 390 g:vals = [] 391 assert_equal(true, Record(1) && Record(true)) 392 assert_equal([1, true], g:vals) 393 394 g:vals = [] 395 assert_equal(false, Record(0) && Record(1)) 396 assert_equal([0], g:vals) 397 398 g:vals = [] 399 assert_equal(false, Record(0) && Record(1) && Record(0)) 400 assert_equal([0], g:vals) 401 402 g:vals = [] 403 assert_equal(false, Record(0) && Record(4) && Record(0)) 404 assert_equal([0], g:vals) 405 406 g:vals = [] 407 assert_equal(false, Record(1) && Record(true) && Record(0)) 408 assert_equal([1, true, 0], g:vals) 409 END 410 CheckDefAndScriptSuccess(lines) 411enddef 412 413def Test_expr3_vimscript() 414 # check line continuation 415 var lines =<< trim END 416 vim9script 417 var name = 0 418 && 1 419 assert_equal(false, name) 420 END 421 CheckScriptSuccess(lines) 422 423 lines =<< trim END 424 vim9script 425 var name = v:true 426 && v:true 427 && v:true 428 assert_equal(v:true, name) 429 END 430 CheckScriptSuccess(lines) 431 432 lines =<< trim END 433 vim9script 434 var name = v:true && 435 v:true && 436 v:true 437 assert_equal(v:true, name) 438 END 439 CheckScriptSuccess(lines) 440 441 lines =<< trim END 442 vim9script 443 var name = v:true && # comment 444 # comment 445 v:true && 446 # comment 447 v:true 448 assert_equal(v:true, name) 449 END 450 CheckScriptSuccess(lines) 451 452 # check white space 453 lines =<< trim END 454 vim9script 455 var name = v:true&&v:true 456 END 457 CheckScriptFailure(lines, 'E1004:', 2) 458 lines =<< trim END 459 vim9script 460 var name = v:true &&v:true 461 END 462 CheckScriptFailure(lines, 'E1004: White space required before and after ''&&'' at "&&v:true"', 2) 463 lines =<< trim END 464 vim9script 465 var name = v:true&& v:true 466 END 467 CheckScriptFailure(lines, 'E1004:', 2) 468enddef 469 470func Test_expr3_fails() 471 let msg = "White space required before and after '&&'" 472 call CheckDefFailure(["var x = 1&&2"], msg, 1) 473 call CheckDefFailure(["var x = 1 &&2"], msg, 1) 474 call CheckDefFailure(["var x = 1&& 2"], msg, 1) 475 476 call CheckDefFailure(["if 'yes' && 0", 'echo 0', 'endif'], 'E1012: Type mismatch; expected bool but got string', 1) 477 478 call CheckDefExecFailure(['assert_equal(false, Record(1) && Record(4) && Record(0))'], 'E1023: Using a Number as a Bool: 4', 1) 479endfunc 480 481" global variables to use for tests with the "any" type 482let atrue = v:true 483let afalse = v:false 484let anone = v:none 485let anull = v:null 486let anint = 10 487let theone = 1 488let thefour = 4 489if has('float') 490 let afloat = 0.1 491endif 492let astring = 'asdf' 493let ablob = 0z01ab 494let alist = [2, 3, 4] 495let adict = #{aaa: 2, bbb: 8} 496 497" test == comperator 498def Test_expr4_equal() 499 var lines =<< trim END 500 var trueVar = true 501 var falseVar = false 502 assert_equal(true, true == true) 503 assert_equal(false, true == 504 false) 505 assert_equal(true, true 506 == trueVar) 507 assert_equal(false, true == falseVar) 508 assert_equal(true, true == g:atrue) 509 assert_equal(false, g:atrue == false) 510 511 assert_equal(true, v:none == v:none) 512 assert_equal(false, v:none == v:null) 513 assert_equal(true, g:anone == v:none) 514 assert_equal(true, null == v:null) 515 assert_equal(true, null == g:anull) 516 assert_equal(false, v:none == g:anull) 517 518 var nr0 = 0 519 var nr61 = 61 520 assert_equal(false, 2 == 0) 521 assert_equal(false, 2 == nr0) 522 assert_equal(true, 61 == 61) 523 assert_equal(true, 61 == nr61) 524 assert_equal(true, g:anint == 10) 525 assert_equal(false, 61 == g:anint) 526 527 if has('float') 528 var ff = 0.3 529 assert_equal(true, ff == 0.3) 530 assert_equal(false, 0.4 == ff) 531 assert_equal(true, 0.1 == g:afloat) 532 assert_equal(false, g:afloat == 0.3) 533 534 ff = 3.0 535 assert_equal(true, ff == 3) 536 assert_equal(true, 3 == ff) 537 ff = 3.1 538 assert_equal(false, ff == 3) 539 assert_equal(false, 3 == ff) 540 endif 541 542 assert_equal(true, 'abc' == 'abc') 543 assert_equal(false, 'xyz' == 'abc') 544 assert_equal(true, g:astring == 'asdf') 545 assert_equal(false, 'xyz' == g:astring) 546 547 assert_equal(false, 'abc' == 'aBc') 548 assert_equal(false, 'abc' ==# 'aBc') 549 assert_equal(true, 'abc' ==? 'aBc') 550 551 assert_equal(false, 'abc' == 'ABC') 552 set ignorecase 553 assert_equal(false, 'abc' == 'ABC') 554 assert_equal(false, 'abc' ==# 'ABC') 555 assert_equal(true, 'abc' ==? 'ABC') 556 set noignorecase 557 558 var bb = 0z3f 559 assert_equal(true, 0z3f == bb) 560 assert_equal(false, bb == 0z4f) 561 assert_equal(true, g:ablob == 0z01ab) 562 assert_equal(false, 0z3f == g:ablob) 563 564 assert_equal(true, [1, 2, 3] == [1, 2, 3]) 565 assert_equal(false, [1, 2, 3] == [2, 3, 1]) 566 assert_equal(true, [2, 3, 4] == g:alist) 567 assert_equal(false, g:alist == [2, 3, 1]) 568 assert_equal(false, [1, 2, 3] == []) 569 assert_equal(false, [1, 2, 3] == ['1', '2', '3']) 570 571 assert_equal(true, {one: 1, two: 2} == {one: 1, two: 2}) 572 assert_equal(false, {one: 1, two: 2} == {one: 2, two: 2}) 573 assert_equal(false, {one: 1, two: 2} == {two: 2}) 574 assert_equal(false, {one: 1, two: 2} == {}) 575 assert_equal(true, g:adict == {bbb: 8, aaa: 2}) 576 assert_equal(false, {ccc: 9, aaa: 2} == g:adict) 577 578 assert_equal(true, function('g:Test_expr4_equal') == function('g:Test_expr4_equal')) 579 assert_equal(false, function('g:Test_expr4_equal') == function('g:Test_expr4_is')) 580 581 assert_equal(true, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [123])) 582 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_is', [123])) 583 assert_equal(false, function('g:Test_expr4_equal', [123]) == function('g:Test_expr4_equal', [999])) 584 585 # TODO: this unexpectedly sometimes fails on Appveyor 586 if !has('win32') 587 var OneFunc: func 588 var TwoFunc: func 589 OneFunc = function('len') 590 TwoFunc = function('len') 591 assert_equal(true, OneFunc('abc') == TwoFunc('123')) 592 endif 593 END 594 CheckDefAndScriptSuccess(lines) 595 596 CheckDefFailure(["var x = 'a' == xxx"], 'E1001:', 1) 597 CheckDefFailure(["var x = 'a' == "], 'E1097:', 3) 598 599 CheckDefExecFailure(['var items: any', 'eval 1', 'eval 2', 'if items == []', 'endif'], 'E691:', 4) 600 601 CheckDefExecFailure(['var x: any = "a"', 'echo x == true'], 'E1072: Cannot compare string with bool', 2) 602 CheckDefExecFailure(["var x: any = true", 'echo x == ""'], 'E1072: Cannot compare bool with string', 2) 603 CheckDefExecFailure(["var x: any = 99", 'echo x == true'], 'E1138', 2) 604 CheckDefExecFailure(["var x: any = 'a'", 'echo x == 99'], 'E1030:', 2) 605 606 for op in ['>', '>=', '<', '<=', '=~', '!~'] 607 CheckDefExecFailure([ 608 "var a: any = 'a'", 609 'var b: any = true', 610 'echo a ' .. op .. ' b'], 'E1072:', 3) 611 endfor 612enddef 613 614" test != comperator 615def Test_expr4_notequal() 616 var lines =<< trim END 617 var trueVar = true 618 var falseVar = false 619 assert_equal(false, true != true) 620 assert_equal(true, true != 621 false) 622 assert_equal(false, true 623 != trueVar) 624 assert_equal(true, true != falseVar) 625 assert_equal(false, true != g:atrue) 626 assert_equal(true, g:atrue != false) 627 628 assert_equal(false, v:none != v:none) 629 assert_equal(true, v:none != v:null) 630 assert_equal(false, g:anone != v:none) 631 assert_equal(true, v:none != g:anull) 632 633 var nr55 = 55 634 var nr0 = 55 635 assert_equal(true, 2 != 0) 636 assert_equal(true, 2 != nr0) 637 assert_equal(false, 55 != 55) 638 assert_equal(false, 55 != nr55) 639 assert_equal(false, g:anint != 10) 640 assert_equal(true, 61 != g:anint) 641 642 if has('float') 643 var ff = 0.3 644 assert_equal(false, 0.3 != ff) 645 assert_equal(true, 0.4 != ff) 646 assert_equal(false, 0.1 != g:afloat) 647 assert_equal(true, g:afloat != 0.3) 648 649 ff = 3.0 650 assert_equal(false, ff != 3) 651 assert_equal(false, 3 != ff) 652 ff = 3.1 653 assert_equal(true, ff != 3) 654 assert_equal(true, 3 != ff) 655 endif 656 657 assert_equal(false, 'abc' != 'abc') 658 assert_equal(true, 'xyz' != 'abc') 659 assert_equal(false, g:astring != 'asdf') 660 assert_equal(true, 'xyz' != g:astring) 661 662 assert_equal(true, 'abc' != 'ABC') 663 set ignorecase 664 assert_equal(true, 'abc' != 'ABC') 665 assert_equal(true, 'abc' !=# 'ABC') 666 assert_equal(false, 'abc' !=? 'ABC') 667 set noignorecase 668 669 var bb = 0z3f 670 assert_equal(false, 0z3f != bb) 671 assert_equal(true, bb != 0z4f) 672 assert_equal(false, g:ablob != 0z01ab) 673 assert_equal(true, 0z3f != g:ablob) 674 675 assert_equal(false, [1, 2, 3] != [1, 2, 3]) 676 assert_equal(true, [1, 2, 3] != [2, 3, 1]) 677 assert_equal(false, [2, 3, 4] != g:alist) 678 assert_equal(true, g:alist != [2, 3, 1]) 679 assert_equal(true, [1, 2, 3] != []) 680 assert_equal(true, [1, 2, 3] != ['1', '2', '3']) 681 682 assert_equal(false, {one: 1, two: 2} != {one: 1, two: 2}) 683 assert_equal(true, {one: 1, two: 2} != {one: 2, two: 2}) 684 assert_equal(true, {one: 1, two: 2} != {two: 2}) 685 assert_equal(true, {one: 1, two: 2} != {}) 686 assert_equal(false, g:adict != {bbb: 8, aaa: 2}) 687 assert_equal(true, {ccc: 9, aaa: 2} != g:adict) 688 689 assert_equal(false, function('g:Test_expr4_equal') != function('g:Test_expr4_equal')) 690 assert_equal(true, function('g:Test_expr4_equal') != function('g:Test_expr4_is')) 691 692 assert_equal(false, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [123])) 693 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_is', [123])) 694 assert_equal(true, function('g:Test_expr4_equal', [123]) != function('g:Test_expr4_equal', [999])) 695 END 696 CheckDefAndScriptSuccess(lines) 697enddef 698 699" test > comperator 700def Test_expr4_greater() 701 var lines =<< trim END 702 assert_true(2 > 0) 703 assert_true(2 > 704 1) 705 assert_false(2 > 2) 706 assert_false(2 > 3) 707 var nr2 = 2 708 assert_true(nr2 > 0) 709 assert_true(nr2 > 710 1) 711 assert_false(nr2 > 2) 712 assert_false(nr2 713 > 3) 714 if has('float') 715 var ff = 2.0 716 assert_true(ff > 0.0) 717 assert_true(ff > 1.0) 718 assert_false(ff > 2.0) 719 assert_false(ff > 3.0) 720 endif 721 END 722 CheckDefAndScriptSuccess(lines) 723enddef 724 725" test >= comperator 726def Test_expr4_greaterequal() 727 var lines =<< trim END 728 assert_true(2 >= 0) 729 assert_true(2 >= 730 2) 731 assert_false(2 >= 3) 732 var nr2 = 2 733 assert_true(nr2 >= 0) 734 assert_true(nr2 >= 2) 735 assert_false(nr2 >= 3) 736 if has('float') 737 var ff = 2.0 738 assert_true(ff >= 0.0) 739 assert_true(ff >= 2.0) 740 assert_false(ff >= 3.0) 741 endif 742 END 743 CheckDefAndScriptSuccess(lines) 744enddef 745 746" test < comperator 747def Test_expr4_smaller() 748 var lines =<< trim END 749 assert_false(2 < 0) 750 assert_false(2 < 751 2) 752 assert_true(2 753 < 3) 754 var nr2 = 2 755 assert_false(nr2 < 0) 756 assert_false(nr2 < 2) 757 assert_true(nr2 < 3) 758 if has('float') 759 var ff = 2.0 760 assert_false(ff < 0.0) 761 assert_false(ff < 2.0) 762 assert_true(ff < 3.0) 763 endif 764 END 765 CheckDefAndScriptSuccess(lines) 766enddef 767 768" test <= comperator 769def Test_expr4_smallerequal() 770 var lines =<< trim END 771 assert_false(2 <= 0) 772 assert_false(2 <= 773 1) 774 assert_true(2 775 <= 2) 776 assert_true(2 <= 3) 777 var nr2 = 2 778 assert_false(nr2 <= 0) 779 assert_false(nr2 <= 1) 780 assert_true(nr2 <= 2) 781 assert_true(nr2 <= 3) 782 if has('float') 783 var ff = 2.0 784 assert_false(ff <= 0.0) 785 assert_false(ff <= 1.0) 786 assert_true(ff <= 2.0) 787 assert_true(ff <= 3.0) 788 endif 789 END 790 CheckDefAndScriptSuccess(lines) 791enddef 792 793" test =~ comperator 794def Test_expr4_match() 795 var lines =<< trim END 796 assert_equal(false, '2' =~ '0') 797 assert_equal(false, '' 798 =~ '0') 799 assert_equal(true, '2' =~ 800 '[0-9]') 801 set ignorecase 802 assert_equal(false, 'abc' =~ 'ABC') 803 assert_equal(false, 'abc' =~# 'ABC') 804 assert_equal(true, 'abc' =~? 'ABC') 805 set noignorecase 806 END 807 CheckDefAndScriptSuccess(lines) 808enddef 809 810" test !~ comperator 811def Test_expr4_nomatch() 812 var lines =<< trim END 813 assert_equal(true, '2' !~ '0') 814 assert_equal(true, '' 815 !~ '0') 816 assert_equal(false, '2' !~ 817 '[0-9]') 818 END 819 CheckDefAndScriptSuccess(lines) 820enddef 821 822" test is comperator 823def Test_expr4_is() 824 var lines =<< trim END 825 var mylist = [2] 826 assert_false(mylist is [2]) 827 var other = mylist 828 assert_true(mylist is 829 other) 830 831 var myblob = 0z1234 832 assert_false(myblob 833 is 0z1234) 834 var otherblob = myblob 835 assert_true(myblob is otherblob) 836 END 837 CheckDefAndScriptSuccess(lines) 838enddef 839 840" test isnot comperator 841def Test_expr4_isnot() 842 var lines =<< trim END 843 var mylist = [2] 844 assert_true('2' isnot '0') 845 assert_true(mylist isnot [2]) 846 var other = mylist 847 assert_false(mylist isnot 848 other) 849 850 var myblob = 0z1234 851 assert_true(myblob 852 isnot 0z1234) 853 var otherblob = myblob 854 assert_false(myblob isnot otherblob) 855 END 856 CheckDefAndScriptSuccess(lines) 857enddef 858 859def RetVoid() 860 var x = 1 861enddef 862 863def Test_expr4_vim9script() 864 # check line continuation 865 var lines =<< trim END 866 vim9script 867 var name = 0 868 < 1 869 assert_equal(true, name) 870 END 871 CheckScriptSuccess(lines) 872 873 lines =<< trim END 874 vim9script 875 var name = 123 876 # comment 877 != 123 878 assert_equal(false, name) 879 END 880 CheckScriptSuccess(lines) 881 882 lines =<< trim END 883 vim9script 884 var name = 123 == 885 123 886 assert_equal(true, name) 887 END 888 CheckScriptSuccess(lines) 889 890 lines =<< trim END 891 vim9script 892 var list = [1, 2, 3] 893 var name = list 894 is list 895 assert_equal(true, name) 896 END 897 CheckScriptSuccess(lines) 898 899 lines =<< trim END 900 vim9script 901 var list = [1, 2, 3] 902 var name = list # comment 903 # comment 904 is list 905 assert_equal(true, name) 906 END 907 CheckScriptSuccess(lines) 908 909 lines =<< trim END 910 vim9script 911 var myblob = 0z1234 912 var name = myblob 913 isnot 0z11 914 assert_equal(true, name) 915 END 916 CheckScriptSuccess(lines) 917 918 # spot check mismatching types 919 lines =<< trim END 920 vim9script 921 echo '' == 0 922 END 923 CheckScriptFailure(lines, 'E1072:', 2) 924 925 lines =<< trim END 926 vim9script 927 echo v:true > v:false 928 END 929 CheckScriptFailure(lines, 'Cannot compare bool with bool', 2) 930 931 lines =<< trim END 932 vim9script 933 echo 123 is 123 934 END 935 CheckScriptFailure(lines, 'Cannot use "is" with number', 2) 936 937 # check missing white space 938 lines =<< trim END 939 vim9script 940 echo 2>3 941 END 942 CheckScriptFailure(lines, 'E1004: White space required before and after ''>'' at ">3"', 2) 943 lines =<< trim END 944 vim9script 945 echo 2 >3 946 END 947 CheckScriptFailure(lines, 'E1004:', 2) 948 lines =<< trim END 949 vim9script 950 echo 2> 3 951 END 952 CheckScriptFailure(lines, 'E1004:', 2) 953 lines =<< trim END 954 vim9script 955 echo 2!=3 956 END 957 CheckScriptFailure(lines, 'E1004:', 2) 958 lines =<< trim END 959 vim9script 960 echo 2 !=3 961 END 962 CheckScriptFailure(lines, 'E1004: White space required before and after ''!'' at "!=3"', 2) 963 lines =<< trim END 964 vim9script 965 echo 2!= 3 966 END 967 CheckScriptFailure(lines, 'E1004:', 2) 968 969 lines =<< trim END 970 vim9script 971 echo len('xxx') == 3 972 END 973 CheckScriptSuccess(lines) 974 975 lines =<< trim END 976 vim9script 977 var line = 'abc' 978 echo line[1] =~ '\w' 979 END 980 CheckScriptSuccess(lines) 981enddef 982 983func Test_expr4_fails() 984 let msg = "White space required before and after '>'" 985 call CheckDefFailure(["var x = 1>2"], msg, 1) 986 call CheckDefFailure(["var x = 1 >2"], msg, 1) 987 call CheckDefFailure(["var x = 1> 2"], msg, 1) 988 989 let msg = "White space required before and after '=='" 990 call CheckDefFailure(["var x = 1==2"], msg, 1) 991 call CheckDefFailure(["var x = 1 ==2"], msg, 1) 992 call CheckDefFailure(["var x = 1== 2"], msg, 1) 993 994 let msg = "White space required before and after 'is'" 995 call CheckDefFailure(["var x = '1'is'2'"], msg, 1) 996 call CheckDefFailure(["var x = '1' is'2'"], msg, 1) 997 call CheckDefFailure(["var x = '1'is '2'"], msg, 1) 998 999 let msg = "White space required before and after 'isnot'" 1000 call CheckDefFailure(["var x = '1'isnot'2'"], msg, 1) 1001 call CheckDefFailure(["var x = '1' isnot'2'"], msg, 1) 1002 call CheckDefFailure(["var x = '1'isnot '2'"], msg, 1) 1003 1004 call CheckDefFailure(["var x = 1 is# 2"], 'E15:', 1) 1005 call CheckDefFailure(["var x = 1 is? 2"], 'E15:', 1) 1006 call CheckDefFailure(["var x = 1 isnot# 2"], 'E15:', 1) 1007 call CheckDefFailure(["var x = 1 isnot? 2"], 'E15:', 1) 1008 1009 call CheckDefFailure(["var x = 1 == '2'"], 'Cannot compare number with string', 1) 1010 call CheckDefFailure(["var x = '1' == 2"], 'Cannot compare string with number', 1) 1011 call CheckDefFailure(["var x = 1 == RetVoid()"], 'Cannot compare number with void', 1) 1012 call CheckDefFailure(["var x = RetVoid() == 1"], 'Cannot compare void with number', 1) 1013 1014 call CheckDefFailure(["var x = true > false"], 'Cannot compare bool with bool', 1) 1015 call CheckDefFailure(["var x = true >= false"], 'Cannot compare bool with bool', 1) 1016 call CheckDefFailure(["var x = true < false"], 'Cannot compare bool with bool', 1) 1017 call CheckDefFailure(["var x = true <= false"], 'Cannot compare bool with bool', 1) 1018 call CheckDefFailure(["var x = true =~ false"], 'Cannot compare bool with bool', 1) 1019 call CheckDefFailure(["var x = true !~ false"], 'Cannot compare bool with bool', 1) 1020 call CheckDefFailure(["var x = true is false"], 'Cannot use "is" with bool', 1) 1021 call CheckDefFailure(["var x = true isnot false"], 'Cannot use "isnot" with bool', 1) 1022 1023 call CheckDefFailure(["var x = v:none is v:null"], 'Cannot use "is" with special', 1) 1024 call CheckDefFailure(["var x = v:none isnot v:null"], 'Cannot use "isnot" with special', 1) 1025 call CheckDefFailure(["var x = 123 is 123"], 'Cannot use "is" with number', 1) 1026 call CheckDefFailure(["var x = 123 isnot 123"], 'Cannot use "isnot" with number', 1) 1027 if has('float') 1028 call CheckDefFailure(["var x = 1.3 is 1.3"], 'Cannot use "is" with float', 1) 1029 call CheckDefFailure(["var x = 1.3 isnot 1.3"], 'Cannot use "isnot" with float', 1) 1030 endif 1031 1032 call CheckDefFailure(["var x = 0za1 > 0z34"], 'Cannot compare blob with blob', 1) 1033 call CheckDefFailure(["var x = 0za1 >= 0z34"], 'Cannot compare blob with blob', 1) 1034 call CheckDefFailure(["var x = 0za1 < 0z34"], 'Cannot compare blob with blob', 1) 1035 call CheckDefFailure(["var x = 0za1 <= 0z34"], 'Cannot compare blob with blob', 1) 1036 call CheckDefFailure(["var x = 0za1 =~ 0z34"], 'Cannot compare blob with blob', 1) 1037 call CheckDefFailure(["var x = 0za1 !~ 0z34"], 'Cannot compare blob with blob', 1) 1038 1039 call CheckDefFailure(["var x = [13] > [88]"], 'Cannot compare list with list', 1) 1040 call CheckDefFailure(["var x = [13] >= [88]"], 'Cannot compare list with list', 1) 1041 call CheckDefFailure(["var x = [13] < [88]"], 'Cannot compare list with list', 1) 1042 call CheckDefFailure(["var x = [13] <= [88]"], 'Cannot compare list with list', 1) 1043 call CheckDefFailure(["var x = [13] =~ [88]"], 'Cannot compare list with list', 1) 1044 call CheckDefFailure(["var x = [13] !~ [88]"], 'Cannot compare list with list', 1) 1045 1046 call CheckDefFailure(['var j: job', 'var chan: channel', 'var r = j == chan'], 'Cannot compare job with channel', 3) 1047 call CheckDefFailure(['var j: job', 'var x: list<any>', 'var r = j == x'], 'Cannot compare job with list', 3) 1048 call CheckDefFailure(['var j: job', 'var Xx: func', 'var r = j == Xx'], 'Cannot compare job with func', 3) 1049 call CheckDefFailure(['var j: job', 'var Xx: func', 'var r = j == Xx'], 'Cannot compare job with func', 3) 1050endfunc 1051 1052" test addition, subtraction, concatenation 1053def Test_expr5() 1054 var lines =<< trim END 1055 assert_equal(66, 60 + 6) 1056 assert_equal(70, 60 + 1057 g:anint) 1058 assert_equal(9, g:thefour 1059 + 5) 1060 assert_equal(14, g:thefour + g:anint) 1061 assert_equal([1, 2, 3, 4], [1] + g:alist) 1062 1063 assert_equal(54, 60 - 6) 1064 assert_equal(50, 60 - 1065 g:anint) 1066 assert_equal(-1, g:thefour 1067 - 5) 1068 assert_equal(-6, g:thefour - g:anint) 1069 1070 assert_equal('hello', 'hel' .. 'lo') 1071 assert_equal('hello 123', 'hello ' .. 1072 123) 1073 assert_equal('hello 123', 'hello ' 1074 .. 123) 1075 assert_equal('123 hello', 123 .. ' hello') 1076 assert_equal('123456', 123 .. 456) 1077 1078 assert_equal('atrue', 'a' .. true) 1079 assert_equal('afalse', 'a' .. false) 1080 assert_equal('anull', 'a' .. v:null) 1081 assert_equal('av:none', 'a' .. v:none) 1082 if has('float') 1083 assert_equal('a0.123', 'a' .. 0.123) 1084 endif 1085 1086 assert_equal(3, 1 + [2, 3, 4][0]) 1087 assert_equal(5, 2 + {key: 3}['key']) 1088 1089 set digraph 1090 assert_equal('val: true', 'val: ' .. &digraph) 1091 set nodigraph 1092 assert_equal('val: false', 'val: ' .. &digraph) 1093 1094 assert_equal([1, 2, 3, 4], [1, 2] + [3, 4]) 1095 assert_equal(0z11223344, 0z1122 + 0z3344) 1096 assert_equal(0z112201ab, 0z1122 1097 + g:ablob) 1098 assert_equal(0z01ab3344, g:ablob + 0z3344) 1099 assert_equal(0z01ab01ab, g:ablob + g:ablob) 1100 1101 # concatenate non-constant to constant 1102 var save_path = &path 1103 &path = 'b' 1104 assert_equal('ab', 'a' .. &path) 1105 &path = save_path 1106 1107 @b = 'b' 1108 assert_equal('ab', 'a' .. @b) 1109 1110 $ENVVAR = 'env' 1111 assert_equal('aenv', 'a' .. $ENVVAR) 1112 1113 assert_equal('val', '' .. {key: 'val'}['key']) 1114 END 1115 CheckDefAndScriptSuccess(lines) 1116enddef 1117 1118def Test_expr5_vim9script() 1119 # check line continuation 1120 var lines =<< trim END 1121 vim9script 1122 var name = 11 1123 + 77 1124 - 22 1125 assert_equal(66, name) 1126 END 1127 CheckScriptSuccess(lines) 1128 1129 lines =<< trim END 1130 vim9script 1131 var name = 11 + 1132 77 - 1133 22 1134 assert_equal(66, name) 1135 END 1136 CheckScriptSuccess(lines) 1137 1138 lines =<< trim END 1139 vim9script 1140 var name = 11 + # comment 1141 77 - 1142 # comment 1143 22 1144 assert_equal(66, name) 1145 END 1146 CheckScriptSuccess(lines) 1147 1148 lines =<< trim END 1149 vim9script 1150 var name = 'one' 1151 .. 'two' 1152 assert_equal('onetwo', name) 1153 END 1154 CheckScriptSuccess(lines) 1155 1156 lines =<< trim END 1157 vim9script 1158 echo 'abc' is# 'abc' 1159 END 1160 CheckScriptFailure(lines, 'E15:', 2) 1161 1162 lines =<< trim END 1163 vim9script 1164 echo {} - 22 1165 END 1166 CheckScriptFailure(lines, 'E728:', 2) 1167 1168 lines =<< trim END 1169 vim9script 1170 echo [] - 33 1171 END 1172 CheckScriptFailure(lines, 'E745:', 2) 1173 1174 lines =<< trim END 1175 vim9script 1176 echo 0z1234 - 44 1177 END 1178 CheckScriptFailure(lines, 'E974:', 2) 1179 1180 lines =<< trim END 1181 vim9script 1182 echo 'abc' is? 'abc' 1183 END 1184 CheckScriptFailure(lines, 'E15:', 2) 1185 1186 lines =<< trim END 1187 vim9script 1188 echo 'abc' isnot# 'abc' 1189 END 1190 CheckScriptFailure(lines, 'E15:', 2) 1191 1192 lines =<< trim END 1193 vim9script 1194 echo 'abc' isnot? 'abc' 1195 END 1196 CheckScriptFailure(lines, 'E15:', 2) 1197 1198 # check white space 1199 lines =<< trim END 1200 vim9script 1201 echo 5+6 1202 END 1203 CheckScriptFailure(lines, 'E1004:', 2) 1204 lines =<< trim END 1205 vim9script 1206 echo 5 +6 1207 END 1208 CheckScriptFailure(lines, 'E1004:', 2) 1209 lines =<< trim END 1210 vim9script 1211 echo 5+ 6 1212 END 1213 CheckScriptFailure(lines, 'E1004:', 2) 1214 1215 lines =<< trim END 1216 vim9script 1217 echo 'a'..'b' 1218 END 1219 CheckScriptFailure(lines, 'E1004: White space required before and after ''..'' at "..''b''"', 2) 1220 lines =<< trim END 1221 vim9script 1222 echo 'a' ..'b' 1223 END 1224 CheckScriptFailure(lines, 'E1004:', 2) 1225 lines =<< trim END 1226 vim9script 1227 echo 'a'.. 'b' 1228 END 1229 CheckScriptFailure(lines, 'E1004:', 2) 1230 1231 # check invalid string concatenation 1232 lines =<< trim END 1233 vim9script 1234 echo 'a' .. [1] 1235 END 1236 CheckScriptFailure(lines, 'E730:', 2) 1237 lines =<< trim END 1238 vim9script 1239 echo 'a' .. {a: 1} 1240 END 1241 CheckScriptFailure(lines, 'E731:', 2) 1242 lines =<< trim END 1243 vim9script 1244 echo 'a' .. test_void() 1245 END 1246 CheckScriptFailure(lines, 'E908:', 2) 1247 lines =<< trim END 1248 vim9script 1249 echo 'a' .. 0z33 1250 END 1251 CheckScriptFailure(lines, 'E976:', 2) 1252 lines =<< trim END 1253 vim9script 1254 echo 'a' .. function('len') 1255 END 1256 CheckScriptFailure(lines, 'E729:', 2) 1257 1258 lines =<< trim END 1259 vim9script 1260 new 1261 ['']->setline(1) 1262 /pattern 1263 1264 eval 0 1265 bwipe! 1266 END 1267 CheckScriptFailure(lines, "E1004: White space required before and after '/' at \"/pattern") 1268enddef 1269 1270def Test_expr5_vim9script_channel() 1271 if !has('channel') 1272 MissingFeature 'float' 1273 else 1274 var lines =<< trim END 1275 vim9script 1276 echo 'a' .. test_null_job() 1277 END 1278 CheckScriptFailure(lines, 'E908:', 2) 1279 lines =<< trim END 1280 vim9script 1281 echo 'a' .. test_null_channel() 1282 END 1283 CheckScriptFailure(lines, 'E908:', 2) 1284 endif 1285enddef 1286 1287def Test_expr5_float() 1288 if !has('float') 1289 MissingFeature 'float' 1290 else 1291 var lines =<< trim END 1292 assert_equal(66.0, 60.0 + 6.0) 1293 assert_equal(66.0, 60.0 + 6) 1294 assert_equal(66.0, 60 + 1295 6.0) 1296 assert_equal(5.1, g:afloat 1297 + 5) 1298 assert_equal(8.1, 8 + g:afloat) 1299 assert_equal(10.1, g:anint + g:afloat) 1300 assert_equal(10.1, g:afloat + g:anint) 1301 1302 assert_equal(54.0, 60.0 - 6.0) 1303 assert_equal(54.0, 60.0 1304 - 6) 1305 assert_equal(54.0, 60 - 6.0) 1306 assert_equal(-4.9, g:afloat - 5) 1307 assert_equal(7.9, 8 - g:afloat) 1308 assert_equal(9.9, g:anint - g:afloat) 1309 assert_equal(-9.9, g:afloat - g:anint) 1310 END 1311 CheckDefAndScriptSuccess(lines) 1312 endif 1313enddef 1314 1315func Test_expr5_fails() 1316 let msg = "White space required before and after '+'" 1317 call CheckDefFailure(["var x = 1+2"], msg, 1) 1318 call CheckDefFailure(["var x = 1 +2"], msg, 1) 1319 call CheckDefFailure(["var x = 1+ 2"], msg, 1) 1320 1321 let msg = "White space required before and after '-'" 1322 call CheckDefFailure(["var x = 1-2"], msg, 1) 1323 call CheckDefFailure(["var x = 1 -2"], msg, 1) 1324 call CheckDefFailure(["var x = 1- 2"], msg, 1) 1325 1326 let msg = "White space required before and after '..'" 1327 call CheckDefFailure(["var x = '1'..'2'"], msg, 1) 1328 call CheckDefFailure(["var x = '1' ..'2'"], msg, 1) 1329 call CheckDefFailure(["var x = '1'.. '2'"], msg, 1) 1330 1331 call CheckDefFailure(["var x = 0z1122 + 33"], 'E1051:', 1) 1332 call CheckDefFailure(["var x = 0z1122 + [3]"], 'E1051:', 1) 1333 call CheckDefFailure(["var x = 0z1122 + 'asd'"], 'E1051:', 1) 1334 call CheckDefFailure(["var x = 33 + 0z1122"], 'E1051:', 1) 1335 call CheckDefFailure(["var x = [3] + 0z1122"], 'E1051:', 1) 1336 call CheckDefFailure(["var x = 'asdf' + 0z1122"], 'E1051:', 1) 1337 call CheckDefFailure(["var x = 6 + xxx"], 'E1001:', 1) 1338 1339 call CheckDefFailure(["var x = 'a' .. [1]"], 'E1105:', 1) 1340 call CheckDefFailure(["var x = 'a' .. {a: 1}"], 'E1105:', 1) 1341 call CheckDefFailure(["var x = 'a' .. test_void()"], 'E1105:', 1) 1342 call CheckDefFailure(["var x = 'a' .. 0z32"], 'E1105:', 1) 1343 call CheckDefFailure(["var x = 'a' .. function('len')"], 'E1105:', 1) 1344 call CheckDefFailure(["var x = 'a' .. function('len', ['a'])"], 'E1105:', 1) 1345 1346 call CheckScriptFailure(['vim9script', 'var x = 1 + v:none'], 'E611:', 2) 1347 call CheckScriptFailure(['vim9script', 'var x = 1 + v:null'], 'E611:', 2) 1348 call CheckScriptFailure(['vim9script', 'var x = 1 + v:true'], 'E1138:', 2) 1349 call CheckScriptFailure(['vim9script', 'var x = 1 + v:false'], 'E1138:', 2) 1350 call CheckScriptFailure(['vim9script', 'var x = 1 + true'], 'E1138:', 2) 1351 call CheckScriptFailure(['vim9script', 'var x = 1 + false'], 'E1138:', 2) 1352endfunc 1353 1354func Test_expr5_fails_channel() 1355 CheckFeature channel 1356 call CheckDefFailure(["var x = 'a' .. test_null_job()"], 'E1105:', 1) 1357 call CheckDefFailure(["var x = 'a' .. test_null_channel()"], 'E1105:', 1) 1358endfunc 1359 1360def Test_expr5_list_add() 1361 # concatenating two lists with same member types is OK 1362 var d = {} 1363 for i in ['a'] + ['b'] 1364 d = {[i]: 0} 1365 endfor 1366 1367 # concatenating two lists with different member types results in "any" 1368 var dany = {} 1369 for i in ['a'] + [12] 1370 dany[i] = i 1371 endfor 1372 assert_equal({a: 'a', 12: 12}, dany) 1373 1374 # result of glob() is "any", runtime type check 1375 var sl: list<string> = glob('*.txt', false, true) + [''] 1376enddef 1377 1378" test multiply, divide, modulo 1379def Test_expr6() 1380 var lines =<< trim END 1381 assert_equal(36, 6 * 6) 1382 assert_equal(24, 6 * 1383 g:thefour) 1384 assert_equal(24, g:thefour 1385 * 6) 1386 assert_equal(40, g:anint * g:thefour) 1387 1388 assert_equal(10, 60 / 6) 1389 assert_equal(6, 60 / 1390 g:anint) 1391 assert_equal(1, g:anint / 6) 1392 assert_equal(2, g:anint 1393 / g:thefour) 1394 1395 assert_equal(5, 11 % 6) 1396 assert_equal(4, g:anint % 6) 1397 assert_equal(3, 13 % 1398 g:anint) 1399 assert_equal(2, g:anint 1400 % g:thefour) 1401 1402 assert_equal(4, 6 * 4 / 6) 1403 1404 var x = [2] 1405 var y = [3] 1406 assert_equal(5, x[0] + y[0]) 1407 assert_equal(6, x[0] * y[0]) 1408 if has('float') 1409 var xf = [2.0] 1410 var yf = [3.0] 1411 assert_equal(5.0, xf[0] 1412 + yf[0]) 1413 assert_equal(6.0, xf[0] 1414 * yf[0]) 1415 endif 1416 END 1417 CheckDefAndScriptSuccess(lines) 1418 1419 CheckDefFailure(["var x = 6 * xxx"], 'E1001:', 1) 1420 CheckDefFailure(["var d = 6 * "], 'E1097:', 3) 1421 1422 CheckDefExecAndScriptFailure(['echo 1 / 0'], 'E1154', 1) 1423 CheckDefExecAndScriptFailure(['echo 1 % 0'], 'E1154', 1) 1424enddef 1425 1426def Test_expr6_vim9script() 1427 # check line continuation 1428 var lines =<< trim END 1429 vim9script 1430 var name = 11 1431 * 22 1432 / 3 1433 assert_equal(80, name) 1434 END 1435 CheckScriptSuccess(lines) 1436 1437 lines =<< trim END 1438 vim9script 1439 var name = 25 1440 % 10 1441 assert_equal(5, name) 1442 END 1443 CheckScriptSuccess(lines) 1444 1445 lines =<< trim END 1446 vim9script 1447 var name = 25 1448 # comment 1449 1450 # comment 1451 % 10 1452 assert_equal(5, name) 1453 END 1454 CheckScriptSuccess(lines) 1455 1456 lines =<< trim END 1457 vim9script 1458 var name = 11 * 1459 22 / 1460 3 1461 assert_equal(80, name) 1462 END 1463 CheckScriptSuccess(lines) 1464 1465 # check white space 1466 lines =<< trim END 1467 vim9script 1468 echo 5*6 1469 END 1470 CheckScriptFailure(lines, 'E1004:', 2) 1471 lines =<< trim END 1472 vim9script 1473 echo 5 *6 1474 END 1475 CheckScriptFailure(lines, 'E1004:', 2) 1476 lines =<< trim END 1477 vim9script 1478 echo 5* 6 1479 END 1480 CheckScriptFailure(lines, 'E1004:', 2) 1481enddef 1482 1483def Test_expr6_float() 1484 if !has('float') 1485 MissingFeature 'float' 1486 else 1487 var lines =<< trim END 1488 assert_equal(36.0, 6.0 * 6) 1489 assert_equal(36.0, 6 * 1490 6.0) 1491 assert_equal(36.0, 6.0 * 6.0) 1492 assert_equal(1.0, g:afloat * g:anint) 1493 1494 assert_equal(10.0, 60 / 6.0) 1495 assert_equal(10.0, 60.0 / 1496 6) 1497 assert_equal(10.0, 60.0 / 6.0) 1498 assert_equal(0.01, g:afloat / g:anint) 1499 1500 assert_equal(4.0, 6.0 * 4 / 6) 1501 assert_equal(4.0, 6 * 1502 4.0 / 1503 6) 1504 assert_equal(4.0, 6 * 4 / 6.0) 1505 assert_equal(4.0, 6.0 * 4.0 / 6) 1506 assert_equal(4.0, 6 * 4.0 / 6.0) 1507 assert_equal(4.0, 6.0 * 4 / 6.0) 1508 assert_equal(4.0, 6.0 * 4.0 / 6.0) 1509 1510 assert_equal(4.0, 6.0 * 4.0 / 6.0) 1511 END 1512 CheckDefAndScriptSuccess(lines) 1513 endif 1514enddef 1515 1516func Test_expr6_fails() 1517 let msg = "White space required before and after '*'" 1518 call CheckDefFailure(["var x = 1*2"], msg, 1) 1519 call CheckDefFailure(["var x = 1 *2"], msg, 1) 1520 call CheckDefFailure(["var x = 1* 2"], msg, 1) 1521 1522 let msg = "White space required before and after '/'" 1523 call CheckDefFailure(["var x = 1/2"], msg, 1) 1524 call CheckDefFailure(["var x = 1 /2"], msg, 1) 1525 call CheckDefFailure(["var x = 1/ 2"], msg, 1) 1526 1527 let msg = "White space required before and after '%'" 1528 call CheckDefFailure(["var x = 1%2"], msg, 1) 1529 call CheckDefFailure(["var x = 1 %2"], msg, 1) 1530 call CheckDefFailure(["var x = 1% 2"], msg, 1) 1531 1532 call CheckDefFailure(["var x = '1' * '2'"], 'E1036:', 1) 1533 call CheckDefFailure(["var x = '1' / '2'"], 'E1036:', 1) 1534 call CheckDefFailure(["var x = '1' % '2'"], 'E1035:', 1) 1535 1536 call CheckDefFailure(["var x = 0z01 * 0z12"], 'E1036:', 1) 1537 call CheckDefFailure(["var x = 0z01 / 0z12"], 'E1036:', 1) 1538 call CheckDefFailure(["var x = 0z01 % 0z12"], 'E1035:', 1) 1539 1540 call CheckDefFailure(["var x = [1] * [2]"], 'E1036:', 1) 1541 call CheckDefFailure(["var x = [1] / [2]"], 'E1036:', 1) 1542 call CheckDefFailure(["var x = [1] % [2]"], 'E1035:', 1) 1543 1544 call CheckDefFailure(["var x = {one: 1} * {two: 2}"], 'E1036:', 1) 1545 call CheckDefFailure(["var x = {one: 1} / {two: 2}"], 'E1036:', 1) 1546 call CheckDefFailure(["var x = {one: 1} % {two: 2}"], 'E1035:', 1) 1547 1548 call CheckDefFailure(["var x = 0xff[1]"], 'E1107:', 1) 1549 if has('float') 1550 call CheckDefFailure(["var x = 0.7[1]"], 'E1107:', 1) 1551 endif 1552endfunc 1553 1554func Test_expr6_float_fails() 1555 CheckFeature float 1556 call CheckDefFailure(["var x = 1.0 % 2"], 'E1035:', 1) 1557endfunc 1558 1559" define here to use old style parsing 1560if has('float') 1561 let g:float_zero = 0.0 1562 let g:float_neg = -9.8 1563 let g:float_big = 9.9e99 1564endif 1565let g:blob_empty = 0z 1566let g:blob_one = 0z01 1567let g:blob_long = 0z0102.0304 1568 1569let g:string_empty = '' 1570let g:string_short = 'x' 1571let g:string_long = 'abcdefghijklm' 1572let g:string_special = "ab\ncd\ref\ekk" 1573 1574let g:special_true = v:true 1575let g:special_false = v:false 1576let g:special_null = v:null 1577let g:special_none = v:none 1578 1579let g:list_empty = [] 1580let g:list_mixed = [1, 'b', v:false] 1581 1582let g:dict_empty = {} 1583let g:dict_one = #{one: 1} 1584 1585let $TESTVAR = 'testvar' 1586 1587" type casts 1588def Test_expr7t() 1589 var ls: list<string> = ['a', <string>g:string_empty] 1590 var ln: list<number> = [<number>g:anint, <number>g:thefour] 1591 var nr = <number>234 1592 assert_equal(234, nr) 1593 1594 CheckDefFailure(["var x = <nr>123"], 'E1010:', 1) 1595 CheckDefFailure(["var x = <number>"], 'E1097:', 3) 1596 CheckDefFailure(["var x = <number >123"], 'E1068:', 1) 1597 CheckDefFailure(["var x = <number 123"], 'E1104:', 1) 1598enddef 1599 1600" test low level expression 1601def Test_expr7_number() 1602 # number constant 1603 var lines =<< trim END 1604 assert_equal(0, 0) 1605 assert_equal(654, 0654) 1606 1607 assert_equal(6, 0x6) 1608 assert_equal(15, 0xf) 1609 assert_equal(255, 0xff) 1610 END 1611 CheckDefAndScriptSuccess(lines) 1612enddef 1613 1614def Test_expr7_float() 1615 # float constant 1616 if !has('float') 1617 MissingFeature 'float' 1618 else 1619 var lines =<< trim END 1620 assert_equal(g:float_zero, .0) 1621 assert_equal(g:float_zero, 0.0) 1622 assert_equal(g:float_neg, -9.8) 1623 assert_equal(g:float_big, 9.9e99) 1624 END 1625 CheckDefAndScriptSuccess(lines) 1626 endif 1627enddef 1628 1629def Test_expr7_blob() 1630 # blob constant 1631 var lines =<< trim END 1632 assert_equal(g:blob_empty, 0z) 1633 assert_equal(g:blob_one, 0z01) 1634 assert_equal(g:blob_long, 0z0102.0304) 1635 END 1636 CheckDefAndScriptSuccess(lines) 1637 1638 CheckDefFailure(["var x = 0z123"], 'E973:', 1) 1639enddef 1640 1641def Test_expr7_string() 1642 # string constant 1643 var lines =<< trim END 1644 assert_equal(g:string_empty, '') 1645 assert_equal(g:string_empty, "") 1646 assert_equal(g:string_short, 'x') 1647 assert_equal(g:string_short, "x") 1648 assert_equal(g:string_long, 'abcdefghijklm') 1649 assert_equal(g:string_long, "abcdefghijklm") 1650 assert_equal(g:string_special, "ab\ncd\ref\ekk") 1651 END 1652 CheckDefAndScriptSuccess(lines) 1653 1654 CheckDefFailure(['var x = "abc'], 'E114:', 1) 1655 CheckDefFailure(["var x = 'abc"], 'E115:', 1) 1656enddef 1657 1658def Test_expr7_vimvar() 1659 var old: list<string> = v:oldfiles 1660 var compl: dict<any> = v:completed_item 1661 1662 CheckDefFailure(["var old: list<number> = v:oldfiles"], 'E1012: Type mismatch; expected list<number> but got list<string>', 1) 1663 new 1664 exec "normal! afoo fo\<C-N>\<Esc>" 1665 CheckDefExecFailure(["var old: dict<number> = v:completed_item"], 'E1012: Type mismatch; expected dict<number> but got dict<string>', 1) 1666 bwipe! 1667enddef 1668 1669def Test_expr7_special() 1670 # special constant 1671 var lines =<< trim END 1672 assert_equal(g:special_true, true) 1673 assert_equal(g:special_false, false) 1674 assert_equal(g:special_true, v:true) 1675 assert_equal(g:special_false, v:false) 1676 assert_equal(v:true, true) 1677 assert_equal(v:false, false) 1678 1679 assert_equal(true, !false) 1680 assert_equal(false, !true) 1681 assert_equal(true, !0) 1682 assert_equal(false, !1) 1683 assert_equal(false, !!false) 1684 assert_equal(true, !!true) 1685 assert_equal(false, !!0) 1686 assert_equal(true, !!1) 1687 1688 var t = true 1689 var f = false 1690 assert_equal(true, t) 1691 assert_equal(false, f) 1692 1693 assert_equal(g:special_null, v:null) 1694 assert_equal(g:special_null, null) 1695 assert_equal(g:special_none, v:none) 1696 END 1697 CheckDefAndScriptSuccess(lines) 1698 1699 CheckDefFailure(['v:true = true'], 'E46:', 1) 1700 CheckDefFailure(['v:true = false'], 'E46:', 1) 1701 CheckDefFailure(['v:false = true'], 'E46:', 1) 1702 CheckDefFailure(['v:null = 11'], 'E46:', 1) 1703 CheckDefFailure(['v:none = 22'], 'E46:', 1) 1704enddef 1705 1706def Test_expr7_list() 1707 # list 1708 var lines =<< trim END 1709 assert_equal(g:list_empty, []) 1710 assert_equal(g:list_empty, [ ]) 1711 1712 var numbers: list<number> = [1, 2, 3] 1713 numbers = [1] 1714 numbers = [] 1715 1716 var strings: list<string> = ['a', 'b', 'c'] 1717 strings = ['x'] 1718 strings = [] 1719 1720 var mixed: list<any> = [1, 'b', false,] 1721 assert_equal(g:list_mixed, mixed) 1722 assert_equal('b', mixed[1]) 1723 1724 echo [1, 1725 2] [3, 1726 4] 1727 1728 var llstring: list<list<string>> = [['text'], []] 1729 llstring = [[], ['text']] 1730 llstring = [[], []] 1731 END 1732 CheckDefAndScriptSuccess(lines) 1733 1734 var rangelist: list<number> = range(3) 1735 g:rangelist = range(3) 1736 CheckDefExecFailure(["var x: list<string> = g:rangelist"], 'E1012: Type mismatch; expected list<string> but got list<number>', 1) 1737 1738 CheckDefFailure(["var x = 1234[3]"], 'E1107:', 1) 1739 CheckDefExecFailure(["var x = g:anint[3]"], 'E1062:', 1) 1740 1741 CheckDefFailure(["var x = g:list_mixed[xxx]"], 'E1001:', 1) 1742 1743 CheckDefFailure(["var x = [1,2,3]"], 'E1069:', 1) 1744 CheckDefFailure(["var x = [1 ,2, 3]"], 'E1068:', 1) 1745 1746 CheckDefExecFailure(["echo 1", "var x = [][0]", "echo 3"], 'E684:', 2) 1747 1748 CheckDefExecFailure(["var x = g:list_mixed['xx']"], 'E1012:', 1) 1749 CheckDefFailure(["var x = g:list_mixed["], 'E1097:', 3) 1750 CheckDefFailure(["var x = g:list_mixed[0"], 'E1097:', 3) 1751 CheckDefExecFailure(["var x = g:list_empty[3]"], 'E684:', 1) 1752 CheckDefExecFailure(["var l: list<number> = [234, 'x']"], 'E1012:', 1) 1753 CheckDefExecFailure(["var l: list<number> = ['x', 234]"], 'E1012:', 1) 1754 CheckDefExecFailure(["var l: list<string> = [234, 'x']"], 'E1012:', 1) 1755 CheckDefExecFailure(["var l: list<string> = ['x', 123]"], 'E1012:', 1) 1756 1757 lines =<< trim END 1758 vim9script 1759 var datalist: list<string> 1760 def Main() 1761 datalist += ['x'. 1762 enddef 1763 Main() 1764 END 1765 CheckScriptFailure(lines, 'E1127:') 1766 1767 lines =<< trim END 1768 var numbers = [1, 2, 3, 4] 1769 var a = 1 1770 var b = 2 1771 END 1772 CheckDefAndScriptFailure(lines + ['echo numbers[1:b]'], 1773 'E1004: White space required before and after '':'' at ":b]"', 4) 1774 CheckDefAndScriptFailure(lines + ['echo numbers[1: b]'], 'E1004:', 4) 1775 CheckDefAndScriptFailure(lines + ['echo numbers[a :b]'], 'E1004:', 4) 1776enddef 1777 1778def Test_expr7_list_vim9script() 1779 var lines =<< trim END 1780 vim9script 1781 var l = [ 1782 11, 1783 22, 1784 ] 1785 assert_equal([11, 22], l) 1786 1787 echo [1, 1788 2] [3, 1789 4] 1790 1791 echo [1, # comment 1792 # comment 1793 2] [3, 1794 # comment 1795 4] 1796 END 1797 CheckScriptSuccess(lines) 1798 1799 lines =<< trim END 1800 vim9script 1801 var l = [11, 1802 22] 1803 assert_equal([11, 22], l) 1804 END 1805 CheckScriptSuccess(lines) 1806 1807 lines =<< trim END 1808 vim9script 1809 var l = [11,22] 1810 END 1811 CheckScriptFailure(lines, 'E1069:', 2) 1812 1813 lines =<< trim END 1814 vim9script 1815 var l = [11 , 22] 1816 END 1817 CheckScriptFailure(lines, 'E1068:', 2) 1818 1819 lines =<< trim END 1820 vim9script 1821 var l: list<number> = [234, 'x'] 1822 END 1823 CheckScriptFailure(lines, 'E1012:', 2) 1824 lines =<< trim END 1825 vim9script 1826 var l: list<number> = ['x', 234] 1827 END 1828 CheckScriptFailure(lines, 'E1012:', 2) 1829 lines =<< trim END 1830 vim9script 1831 var l: list<string> = ['x', 234] 1832 END 1833 CheckScriptFailure(lines, 'E1012:', 2) 1834 lines =<< trim END 1835 vim9script 1836 var l: list<string> = [234, 'x'] 1837 END 1838 CheckScriptFailure(lines, 'E1012:', 2) 1839 1840 lines =<< trim END 1841 vim9script 1842 def Failing() 1843 job_stop() 1844 enddef 1845 var list = [Failing] 1846 END 1847 if has('channel') 1848 CheckScriptFailure(lines, 'E119:', 1) 1849 else 1850 CheckScriptFailure(lines, 'E117:', 1) 1851 endif 1852enddef 1853 1854def LambdaWithComments(): func 1855 return (x) => 1856 # some comment 1857 x == 1 1858 # some comment 1859 || 1860 x == 2 1861enddef 1862 1863def LambdaUsingArg(x: number): func 1864 return () => 1865 # some comment 1866 x == 1 1867 # some comment 1868 || 1869 x == 2 1870enddef 1871 1872def Test_expr7_lambda() 1873 var lines =<< trim END 1874 var La = () => 'result' 1875 assert_equal('result', La()) 1876 assert_equal([1, 3, 5], [1, 2, 3]->map((key, val) => key + val)) 1877 1878 # line continuation inside lambda with "cond ? expr : expr" works 1879 var ll = range(3) 1880 var dll = mapnew(ll, (k, v) => v % 2 ? { 1881 ['111']: 111 } : {} 1882 ) 1883 assert_equal([{}, {111: 111}, {}], dll) 1884 1885 ll = range(3) 1886 map(ll, (k, v) => v == 8 || v 1887 == 9 1888 || v % 2 ? 111 : 222 1889 ) 1890 assert_equal([222, 111, 222], ll) 1891 1892 ll = range(3) 1893 map(ll, (k, v) => v != 8 && v 1894 != 9 1895 && v % 2 == 0 ? 111 : 222 1896 ) 1897 assert_equal([111, 222, 111], ll) 1898 1899 var dl = [{key: 0}, {key: 22}]->filter(( _, v) => v['key'] ) 1900 assert_equal([{key: 22}], dl) 1901 1902 dl = [{key: 12}, {['foo']: 34}] 1903 assert_equal([{key: 12}], filter(dl, 1904 (_, v) => has_key(v, 'key') ? v['key'] == 12 : 0)) 1905 1906 assert_equal(false, LambdaWithComments()(0)) 1907 assert_equal(true, LambdaWithComments()(1)) 1908 assert_equal(true, LambdaWithComments()(2)) 1909 assert_equal(false, LambdaWithComments()(3)) 1910 1911 assert_equal(false, LambdaUsingArg(0)()) 1912 assert_equal(true, LambdaUsingArg(1)()) 1913 1914 var res = map([1, 2, 3], (i: number, v: number) => i + v) 1915 assert_equal([1, 3, 5], res) 1916 END 1917 CheckDefAndScriptSuccess(lines) 1918 1919 CheckDefFailure(["var Ref = (a)=>a + 1"], 'E1004:') 1920 CheckDefFailure(["var Ref = (a)=> a + 1"], 'E1004: White space required before and after ''=>'' at "=> a + 1"') 1921 CheckDefFailure(["var Ref = (a) =>a + 1"], 'E1004:') 1922 1923 CheckDefFailure(["filter([1, 2], (k,v) => 1)"], 'E1069:', 1) 1924 # error is in first line of the lambda 1925 CheckDefFailure(["var L = (a) => a + b"], 'E1001:', 0) 1926 1927 assert_equal('xxxyyy', 'xxx'->((a, b) => a .. b)('yyy')) 1928 1929 CheckDefExecFailure(["var s = 'asdf'->((a) => a)('x')"], 'E118:') 1930 CheckDefExecFailure(["var s = 'asdf'->((a) => a)('x', 'y')"], 'E118:') 1931 CheckDefFailure(["echo 'asdf'->((a) => a)(x)"], 'E1001:', 1) 1932 1933 CheckDefSuccess(['var Fx = (a) => ({k1: 0,', ' k2: 1})']) 1934 CheckDefFailure(['var Fx = (a) => ({k1: 0', ' k2: 1})'], 'E722:', 2) 1935 CheckDefFailure(['var Fx = (a) => ({k1: 0,', ' k2 1})'], 'E720:', 2) 1936 1937 CheckDefSuccess(['var Fx = (a) => [0,', ' 1]']) 1938 CheckDefFailure(['var Fx = (a) => [0', ' 1]'], 'E696:', 2) 1939 1940 # no error for existing script variable when checking for lambda 1941 lines =<< trim END 1942 vim9script 1943 var name = 0 1944 eval (name + 2) / 3 1945 END 1946 CheckScriptSuccess(lines) 1947enddef 1948 1949def Test_expr7_lambda_block() 1950 var lines =<< trim END 1951 var Func = (s: string): string => { 1952 return 'hello ' .. s 1953 } 1954 assert_equal('hello there', Func('there')) 1955 1956 var ll = range(3) 1957 var dll = mapnew(ll, (k, v): string => { 1958 if v % 2 1959 return 'yes' 1960 endif 1961 return 'no' 1962 }) 1963 assert_equal(['no', 'yes', 'no'], dll) 1964 1965 sandbox var Safe = (nr: number): number => { 1966 return nr + 7 1967 } 1968 assert_equal(10, Safe(3)) 1969 END 1970 CheckDefAndScriptSuccess(lines) 1971 1972 lines =<< trim END 1973 map([1, 2], (k, v) => { redrawt }) 1974 END 1975 CheckDefAndScriptFailure(lines, 'E488') 1976 1977 lines =<< trim END 1978 var Func = (nr: int) => { 1979 echo nr 1980 } 1981 END 1982 CheckDefAndScriptFailure(lines, 'E1010', 1) 1983 1984 lines =<< trim END 1985 var Func = (nr: number): int => { 1986 return nr 1987 } 1988 END 1989 CheckDefAndScriptFailure(lines, 'E1010', 1) 1990 1991 lines =<< trim END 1992 var Func = (nr: number): int => { 1993 return nr 1994 END 1995 CheckDefAndScriptFailure(lines, 'E1171', 1) # line nr is function start 1996 1997 lines =<< trim END 1998 vim9script 1999 var Func = (nr: number): int => { 2000 var ll =<< ENDIT 2001 nothing 2002 END 2003 CheckScriptFailure(lines, 'E1145: Missing heredoc end marker: ENDIT', 2) 2004enddef 2005 2006def NewLambdaWithComments(): func 2007 return (x) => 2008 # some comment 2009 x == 1 2010 # some comment 2011 || 2012 x == 2 2013enddef 2014 2015def NewLambdaUsingArg(x: number): func 2016 return () => 2017 # some comment 2018 x == 1 2019 # some comment 2020 || 2021 x == 2 2022enddef 2023 2024def Test_expr7_new_lambda() 2025 var lines =<< trim END 2026 var La = () => 'result' 2027 assert_equal('result', La()) 2028 assert_equal([1, 3, 5], [1, 2, 3]->map((key, val) => key + val)) 2029 2030 # line continuation inside lambda with "cond ? expr : expr" works 2031 var ll = range(3) 2032 var dll = mapnew(ll, (k, v) => v % 2 ? { 2033 ['111']: 111 } : {} 2034 ) 2035 assert_equal([{}, {111: 111}, {}], dll) 2036 2037 ll = range(3) 2038 map(ll, (k, v) => v == 8 || v 2039 == 9 2040 || v % 2 ? 111 : 222 2041 ) 2042 assert_equal([222, 111, 222], ll) 2043 2044 ll = range(3) 2045 map(ll, (k, v) => v != 8 && v 2046 != 9 2047 && v % 2 == 0 ? 111 : 222 2048 ) 2049 assert_equal([111, 222, 111], ll) 2050 2051 var dl = [{key: 0}, {key: 22}]->filter(( _, v) => v['key'] ) 2052 assert_equal([{key: 22}], dl) 2053 2054 dl = [{key: 12}, {['foo']: 34}] 2055 assert_equal([{key: 12}], filter(dl, 2056 (_, v) => has_key(v, 'key') ? v['key'] == 12 : 0)) 2057 2058 assert_equal(false, NewLambdaWithComments()(0)) 2059 assert_equal(true, NewLambdaWithComments()(1)) 2060 assert_equal(true, NewLambdaWithComments()(2)) 2061 assert_equal(false, NewLambdaWithComments()(3)) 2062 2063 assert_equal(false, NewLambdaUsingArg(0)()) 2064 assert_equal(true, NewLambdaUsingArg(1)()) 2065 2066 var res = map([1, 2, 3], (i: number, v: number) => i + v) 2067 assert_equal([1, 3, 5], res) 2068 2069 # Lambda returning a dict 2070 var Lmb = () => ({key: 42}) 2071 assert_equal({key: 42}, Lmb()) 2072 2073 var RefOne: func(number): string = (a: number): string => 'x' 2074 var RefTwo: func(number): any = (a: number): any => 'x' 2075 2076 var Fx = (a) => ({k1: 0, 2077 k2: 1}) 2078 var Fy = (a) => [0, 2079 1] 2080 END 2081 CheckDefAndScriptSuccess(lines) 2082 2083 CheckDefAndScriptFailure(["var Ref = (a)=>a + 1"], 'E1004:') 2084 CheckDefAndScriptFailure(["var Ref = (a)=> a + 1"], 'E1004:') 2085 CheckDefAndScriptFailure(["var Ref = (a) =>a + 1"], 2086 'E1004: White space required before and after ''=>'' at " =>a + 1"') 2087 2088 CheckDefFailure(["var Ref: func(number): number = (a: number): string => 'x'"], 'E1012:') 2089 CheckDefFailure(["var Ref: func(number): string = (a: number): string => 99"], 'E1012:') 2090 2091 CheckDefFailure(["filter([1, 2], (k,v) => 1)"], 'E1069:', 1) 2092 # error is in first line of the lambda 2093 CheckDefFailure(["var L = (a) -> a + b"], 'E1001:', 1) 2094 2095# TODO: ->(lambda)() doesn't work yet 2096# assert_equal('xxxyyy', 'xxx'->((a, b) => a .. b)('yyy')) 2097 2098# CheckDefExecFailure(["var s = 'asdf'->{a -> a}('x')"], 2099# 'E1106: One argument too many') 2100# CheckDefExecFailure(["var s = 'asdf'->{a -> a}('x', 'y')"], 2101# 'E1106: 2 arguments too many') 2102# CheckDefFailure(["echo 'asdf'->{a -> a}(x)"], 'E1001:', 1) 2103 2104 CheckDefFailure(['var Fx = (a) => ({k1: 0', ' k2: 1})'], 'E722:', 2) 2105 CheckDefFailure(['var Fx = (a) => ({k1: 0,', ' k2 1})'], 'E720:', 2) 2106 2107 CheckDefFailure(['var Fx = (a) => [0', ' 1]'], 'E696:', 2) 2108enddef 2109 2110def Test_expr7_lambda_vim9script() 2111 var lines =<< trim END 2112 vim9script 2113 var v = 10->((a) => 2114 a 2115 + 2 2116 )() 2117 assert_equal(12, v) 2118 END 2119 CheckScriptSuccess(lines) 2120 2121 # nested lambda with line breaks 2122 lines =<< trim END 2123 vim9script 2124 search('"', 'cW', 0, 0, () => 2125 synstack('.', col('.')) 2126 ->map((_, v) => synIDattr(v, 'name'))->len()) 2127 END 2128 CheckScriptSuccess(lines) 2129enddef 2130 2131def Test_epxr7_funcref() 2132 var lines =<< trim END 2133 def RetNumber(): number 2134 return 123 2135 enddef 2136 var FuncRef = RetNumber 2137 assert_equal(123, FuncRef()) 2138 END 2139 CheckDefAndScriptSuccess(lines) 2140enddef 2141 2142let g:test_space_dict = {'': 'empty', ' ': 'space'} 2143let g:test_hash_dict = #{one: 1, two: 2} 2144 2145def Test_expr7_dict() 2146 # dictionary 2147 var lines =<< trim END 2148 assert_equal(g:dict_empty, {}) 2149 assert_equal(g:dict_empty, { }) 2150 assert_equal(g:dict_one, {['one']: 1}) 2151 var key = 'one' 2152 var val = 1 2153 assert_equal(g:dict_one, {[key]: val}) 2154 2155 var numbers: dict<number> = {a: 1, b: 2, c: 3} 2156 numbers = {a: 1} 2157 numbers = {} 2158 2159 var strings: dict<string> = {a: 'a', b: 'b', c: 'c'} 2160 strings = {a: 'x'} 2161 strings = {} 2162 2163 var dash = {xx-x: 8} 2164 assert_equal({['xx-x']: 8}, dash) 2165 2166 var dnr = {8: 8} 2167 assert_equal({['8']: 8}, dnr) 2168 2169 var mixed: dict<any> = {a: 'a', b: 42} 2170 mixed = {a: 'x'} 2171 mixed = {a: 234} 2172 mixed = {} 2173 2174 var dictlist: dict<list<string>> = {absent: [], present: ['hi']} 2175 dictlist = {absent: ['hi'], present: []} 2176 dictlist = {absent: [], present: []} 2177 2178 var dictdict: dict<dict<string>> = {one: {a: 'text'}, two: {}} 2179 dictdict = {one: {}, two: {a: 'text'}} 2180 dictdict = {one: {}, two: {}} 2181 2182 assert_equal({['']: 0}, {[matchstr('string', 'wont match')]: 0}) 2183 2184 assert_equal(g:test_space_dict, {['']: 'empty', [' ']: 'space'}) 2185 assert_equal(g:test_hash_dict, {one: 1, two: 2}) 2186 2187 assert_equal({['a a']: 1, ['b/c']: 2}, {'a a': 1, "b/c": 2}) 2188 2189 var d = {a: () => 3, b: () => 7} 2190 assert_equal(3, d.a()) 2191 assert_equal(7, d.b()) 2192 2193 var cd = { # comment 2194 key: 'val' # comment 2195 } 2196 2197 # different types used for the key 2198 var dkeys = {['key']: 'string', 2199 [12]: 'numberexpr', 2200 34: 'number', 2201 [true]: 'bool'} 2202 assert_equal('string', dkeys['key']) 2203 assert_equal('numberexpr', dkeys[12]) 2204 assert_equal('number', dkeys[34]) 2205 assert_equal('bool', dkeys[true]) 2206 if has('float') 2207 dkeys = {[1.2]: 'floatexpr', [3.4]: 'float'} 2208 assert_equal('floatexpr', dkeys[1.2]) 2209 assert_equal('float', dkeys[3.4]) 2210 endif 2211 2212 # automatic conversion from number to string 2213 var n = 123 2214 var dictnr = {[n]: 1} 2215 2216 # comment to start fold is OK 2217 var x1: number #{{ fold 2218 var x2 = 9 #{{ fold 2219 END 2220 CheckDefAndScriptSuccess(lines) 2221 2222 # legacy syntax doesn't work 2223 CheckDefAndScriptFailure(["var x = #{key: 8}"], 'E1170:', 1) 2224 CheckDefAndScriptFailure(["var x = 'a' #{a: 1}"], 'E1170:', 1) 2225 CheckDefAndScriptFailure(["var x = 'a' .. #{a: 1}"], 'E1170:', 1) 2226 CheckDefAndScriptFailure(["var x = true ? #{a: 1}"], 'E1170:', 1) 2227 2228 CheckDefFailure(["var x = {a:8}"], 'E1069:', 1) 2229 CheckDefFailure(["var x = {a : 8}"], 'E1068:', 1) 2230 CheckDefFailure(["var x = {a :8}"], 'E1068:', 1) 2231 CheckDefFailure(["var x = {a: 8 , b: 9}"], 'E1068:', 1) 2232 CheckDefFailure(["var x = {a: 1,b: 2}"], 'E1069:', 1) 2233 2234 CheckDefFailure(["var x = {xxx}"], 'E720:', 1) 2235 CheckDefFailure(["var x = {xxx: 1", "var y = 2"], 'E722:', 2) 2236 CheckDefFailure(["var x = {xxx: 1,"], 'E723:', 2) 2237 CheckDefFailure(["var x = {['a']: xxx}"], 'E1001:', 1) 2238 CheckDefFailure(["var x = {a: 1, a: 2}"], 'E721:', 1) 2239 CheckDefExecFailure(["var x = g:anint.member"], 'E715:', 1) 2240 CheckDefExecFailure(["var x = g:dict_empty.member"], 'E716:', 1) 2241 2242 CheckDefExecFailure(['var x: dict<number> = {a: 234, b: "1"}'], 'E1012:', 1) 2243 CheckDefExecFailure(['var x: dict<number> = {a: "x", b: 134}'], 'E1012:', 1) 2244 CheckDefExecFailure(['var x: dict<string> = {a: 234, b: "1"}'], 'E1012:', 1) 2245 CheckDefExecFailure(['var x: dict<string> = {a: "x", b: 134}'], 'E1012:', 1) 2246 2247 # invalid types for the key 2248 CheckDefFailure(["var x = {[[1, 2]]: 0}"], 'E1105:', 1) 2249 2250 CheckDefFailure(['var x = ({'], 'E723:', 2) 2251 CheckDefExecFailure(['{}[getftype("file")]'], 'E716: Key not present in Dictionary: ""', 1) 2252enddef 2253 2254def Test_expr7_dict_vim9script() 2255 var lines =<< trim END 2256 vim9script 2257 var d = { 2258 ['one']: 2259 1, 2260 ['two']: 2, 2261 } 2262 assert_equal({one: 1, two: 2}, d) 2263 2264 d = { # comment 2265 ['one']: 2266 # comment 2267 2268 1, 2269 # comment 2270 # comment 2271 ['two']: 2, 2272 } 2273 assert_equal({one: 1, two: 2}, d) 2274 2275 var dd = {k: 123->len()} 2276 assert_equal(3, dd.k) 2277 END 2278 CheckScriptSuccess(lines) 2279 2280 lines =<< trim END 2281 vim9script 2282 var d = { ["one"]: "one", ["two"]: "two", } 2283 assert_equal({one: 'one', two: 'two'}, d) 2284 END 2285 CheckScriptSuccess(lines) 2286 2287 lines =<< trim END 2288 vim9script 2289 var d = {one: 1, 2290 two: 2, 2291 } 2292 assert_equal({one: 1, two: 2}, d) 2293 END 2294 CheckScriptSuccess(lines) 2295 2296 lines =<< trim END 2297 vim9script 2298 var d = {one:1, two: 2} 2299 END 2300 CheckScriptFailure(lines, 'E1069:', 2) 2301 2302 lines =<< trim END 2303 vim9script 2304 var d = {one: 1,two: 2} 2305 END 2306 CheckScriptFailure(lines, 'E1069:', 2) 2307 2308 lines =<< trim END 2309 vim9script 2310 var d = {one : 1} 2311 END 2312 CheckScriptFailure(lines, 'E1068:', 2) 2313 2314 lines =<< trim END 2315 vim9script 2316 var d = {one:1} 2317 END 2318 CheckScriptFailure(lines, 'E1069:', 2) 2319 2320 lines =<< trim END 2321 vim9script 2322 var d = {one: 1 , two: 2} 2323 END 2324 CheckScriptFailure(lines, 'E1068:', 2) 2325 2326 lines =<< trim END 2327 vim9script 2328 var l: dict<number> = {a: 234, b: 'x'} 2329 END 2330 CheckScriptFailure(lines, 'E1012:', 2) 2331 lines =<< trim END 2332 vim9script 2333 var l: dict<number> = {a: 'x', b: 234} 2334 END 2335 CheckScriptFailure(lines, 'E1012:', 2) 2336 lines =<< trim END 2337 vim9script 2338 var l: dict<string> = {a: 'x', b: 234} 2339 END 2340 CheckScriptFailure(lines, 'E1012:', 2) 2341 lines =<< trim END 2342 vim9script 2343 var l: dict<string> = {a: 234, b: 'x'} 2344 END 2345 CheckScriptFailure(lines, 'E1012:', 2) 2346 2347 lines =<< trim END 2348 vim9script 2349 var d = {['a']: 234, ['b': 'x'} 2350 END 2351 CheckScriptFailure(lines, 'E1139:', 2) 2352 lines =<< trim END 2353 vim9script 2354 def Func() 2355 var d = {['a']: 234, ['b': 'x'} 2356 enddef 2357 defcompile 2358 END 2359 CheckScriptFailure(lines, 'E1139:', 1) 2360 lines =<< trim END 2361 vim9script 2362 var d = {'a': 2363 END 2364 CheckScriptFailure(lines, 'E15:', 2) 2365 lines =<< trim END 2366 vim9script 2367 def Func() 2368 var d = {'a': 2369 enddef 2370 defcompile 2371 END 2372 CheckScriptFailure(lines, 'E723:', 1) 2373 2374 lines =<< trim END 2375 vim9script 2376 def Failing() 2377 job_stop() 2378 enddef 2379 var dict = {name: Failing} 2380 END 2381 if has('channel') 2382 CheckScriptFailure(lines, 'E119:', 1) 2383 else 2384 CheckScriptFailure(lines, 'E117:', 1) 2385 endif 2386enddef 2387 2388let g:oneString = 'one' 2389 2390def Test_expr_member() 2391 assert_equal(1, g:dict_one.one) 2392 var d: dict<number> = g:dict_one 2393 assert_equal(1, d['one']) 2394 assert_equal(1, d[ 2395 'one' 2396 ]) 2397 assert_equal(1, d 2398 .one) 2399 d = {1: 1, _: 2} 2400 assert_equal(1, d 2401 .1) 2402 assert_equal(2, d 2403 ._) 2404 2405 # getting the one member should clear the dict after getting the item 2406 assert_equal('one', {one: 'one'}.one) 2407 assert_equal('one', {one: 'one'}[g:oneString]) 2408 2409 CheckDefFailure(["var x = g:dict_one.#$!"], 'E1002:', 1) 2410 CheckDefExecFailure(["var d: dict<any>", "echo d['a']"], 'E716:', 2) 2411 CheckDefExecFailure(["var d: dict<number>", "d = g:list_empty"], 'E1012: Type mismatch; expected dict<number> but got list<unknown>', 2) 2412enddef 2413 2414def Test_expr7_any_index_slice() 2415 var lines =<< trim END 2416 # getting the one member should clear the list only after getting the item 2417 assert_equal('bbb', ['aaa', 'bbb', 'ccc'][1]) 2418 2419 # string is permissive, index out of range accepted 2420 g:teststring = 'abcdef' 2421 assert_equal('b', g:teststring[1]) 2422 assert_equal('f', g:teststring[-1]) 2423 assert_equal('', g:teststring[99]) 2424 2425 assert_equal('b', g:teststring[1 : 1]) 2426 assert_equal('bcdef', g:teststring[1 :]) 2427 assert_equal('abcd', g:teststring[: 3]) 2428 assert_equal('cdef', g:teststring[-4 :]) 2429 assert_equal('abcdef', g:teststring[-9 :]) 2430 assert_equal('abcd', g:teststring[: -3]) 2431 assert_equal('', g:teststring[: -9]) 2432 2433 # composing characters are included 2434 g:teststring = 'àéû' 2435 assert_equal('à', g:teststring[0]) 2436 assert_equal('é', g:teststring[1]) 2437 assert_equal('û', g:teststring[2]) 2438 assert_equal('', g:teststring[3]) 2439 assert_equal('', g:teststring[4]) 2440 2441 assert_equal('û', g:teststring[-1]) 2442 assert_equal('é', g:teststring[-2]) 2443 assert_equal('à', g:teststring[-3]) 2444 assert_equal('', g:teststring[-4]) 2445 assert_equal('', g:teststring[-5]) 2446 2447 assert_equal('à', g:teststring[0 : 0]) 2448 assert_equal('é', g:teststring[1 : 1]) 2449 assert_equal('àé', g:teststring[0 : 1]) 2450 assert_equal('àéû', g:teststring[0 : -1]) 2451 assert_equal('àé', g:teststring[0 : -2]) 2452 assert_equal('à', g:teststring[0 : -3]) 2453 assert_equal('', g:teststring[0 : -4]) 2454 assert_equal('', g:teststring[0 : -5]) 2455 assert_equal('àéû', g:teststring[ : ]) 2456 assert_equal('àéû', g:teststring[0 : ]) 2457 assert_equal('éû', g:teststring[1 : ]) 2458 assert_equal('û', g:teststring[2 : ]) 2459 assert_equal('', g:teststring[3 : ]) 2460 assert_equal('', g:teststring[4 : ]) 2461 2462 # blob index cannot be out of range 2463 g:testblob = 0z01ab 2464 assert_equal(0x01, g:testblob[0]) 2465 assert_equal(0xab, g:testblob[1]) 2466 assert_equal(0xab, g:testblob[-1]) 2467 assert_equal(0x01, g:testblob[-2]) 2468 2469 # blob slice accepts out of range 2470 assert_equal(0z01ab, g:testblob[0 : 1]) 2471 assert_equal(0z01, g:testblob[0 : 0]) 2472 assert_equal(0z01, g:testblob[-2 : -2]) 2473 assert_equal(0zab, g:testblob[1 : 1]) 2474 assert_equal(0zab, g:testblob[-1 : -1]) 2475 assert_equal(0z, g:testblob[2 : 2]) 2476 assert_equal(0z, g:testblob[0 : -3]) 2477 2478 # list index cannot be out of range 2479 g:testlist = [0, 1, 2, 3] 2480 assert_equal(0, g:testlist[0]) 2481 assert_equal(1, g:testlist[1]) 2482 assert_equal(3, g:testlist[3]) 2483 assert_equal(3, g:testlist[-1]) 2484 assert_equal(0, g:testlist[-4]) 2485 assert_equal(1, g:testlist[g:theone]) 2486 2487 # list slice accepts out of range 2488 assert_equal([0], g:testlist[0 : 0]) 2489 assert_equal([3], g:testlist[3 : 3]) 2490 assert_equal([0, 1], g:testlist[0 : 1]) 2491 assert_equal([0, 1, 2, 3], g:testlist[0 : 3]) 2492 assert_equal([0, 1, 2, 3], g:testlist[0 : 9]) 2493 assert_equal([], g:testlist[-1 : 1]) 2494 assert_equal([1], g:testlist[-3 : 1]) 2495 assert_equal([0, 1], g:testlist[-4 : 1]) 2496 assert_equal([0, 1], g:testlist[-9 : 1]) 2497 assert_equal([1, 2, 3], g:testlist[1 : -1]) 2498 assert_equal([1], g:testlist[1 : -3]) 2499 assert_equal([], g:testlist[1 : -4]) 2500 assert_equal([], g:testlist[1 : -9]) 2501 2502 g:testdict = {a: 1, b: 2} 2503 assert_equal(1, g:testdict['a']) 2504 assert_equal(2, g:testdict['b']) 2505 END 2506 2507 CheckDefSuccess(lines) 2508 CheckScriptSuccess(['vim9script'] + lines) 2509 2510 CheckDefExecFailure(['echo g:testblob[2]'], 'E979:', 1) 2511 CheckScriptFailure(['vim9script', 'echo g:testblob[2]'], 'E979:', 2) 2512 CheckDefExecFailure(['echo g:testblob[-3]'], 'E979:', 1) 2513 CheckScriptFailure(['vim9script', 'echo g:testblob[-3]'], 'E979:', 2) 2514 2515 CheckDefExecFailure(['echo g:testlist[4]'], 'E684: list index out of range: 4', 1) 2516 CheckScriptFailure(['vim9script', 'echo g:testlist[4]'], 'E684:', 2) 2517 CheckDefExecFailure(['echo g:testlist[-5]'], 'E684:', 1) 2518 CheckScriptFailure(['vim9script', 'echo g:testlist[-5]'], 'E684: list index out of range: -5', 2) 2519 2520 CheckDefExecFailure(['echo g:testdict["a" : "b"]'], 'E719:', 1) 2521 CheckScriptFailure(['vim9script', 'echo g:testdict["a" : "b"]'], 'E719:', 2) 2522 CheckDefExecFailure(['echo g:testdict[1]'], 'E716:', 1) 2523 CheckScriptFailure(['vim9script', 'echo g:testdict[1]'], 'E716:', 2) 2524 2525 unlet g:teststring 2526 unlet g:testblob 2527 unlet g:testlist 2528enddef 2529 2530def Test_expr_member_vim9script() 2531 var lines =<< trim END 2532 vim9script 2533 var d = {one: 2534 'one', 2535 two: 'two', 2536 1: 1, 2537 _: 2} 2538 assert_equal('one', d.one) 2539 assert_equal('one', d 2540 .one) 2541 assert_equal(1, d 2542 .1) 2543 assert_equal(2, d 2544 ._) 2545 assert_equal('one', d[ 2546 'one' 2547 ]) 2548 END 2549 CheckScriptSuccess(lines) 2550 2551 lines =<< trim END 2552 vim9script 2553 var l = [1, 2554 2, 2555 3, 4 2556 ] 2557 assert_equal(2, l[ 2558 1 2559 ]) 2560 assert_equal([2, 3], l[1 : 2]) 2561 assert_equal([1, 2, 3], l[ 2562 : 2563 2 2564 ]) 2565 assert_equal([3, 4], l[ 2566 2 2567 : 2568 ]) 2569 END 2570 CheckScriptSuccess(lines) 2571enddef 2572 2573def SetSomeVar() 2574 b:someVar = &fdm 2575enddef 2576 2577def Test_expr7_option() 2578 # option 2579 set ts=11 2580 assert_equal(11, &ts) 2581 &ts = 9 2582 assert_equal(9, &ts) 2583 set ts=8 2584 set grepprg=some\ text 2585 assert_equal('some text', &grepprg) 2586 &grepprg = test_null_string() 2587 assert_equal('', &grepprg) 2588 set grepprg& 2589 2590 # check matching type 2591 var bval: bool = &tgc 2592 var nval: number = &ts 2593 var sval: string = &path 2594 2595 # check v_lock is cleared (requires using valgrind, doesn't always show) 2596 SetSomeVar() 2597 b:someVar = 0 2598 unlet b:someVar 2599enddef 2600 2601def Test_expr7_environment() 2602 # environment variable 2603 assert_equal('testvar', $TESTVAR) 2604 assert_equal('', $ASDF_ASD_XXX) 2605 2606 CheckDefFailure(["var x = $$$"], 'E1002:', 1) 2607enddef 2608 2609def Test_expr7_register() 2610 @a = 'register a' 2611 assert_equal('register a', @a) 2612 2613 var fname = expand('%') 2614 assert_equal(fname, @%) 2615 2616 feedkeys(":echo 'some'\<CR>", "xt") 2617 assert_equal("echo 'some'", @:) 2618 2619 normal axyz 2620 assert_equal("xyz", @.) 2621 CheckDefFailure(["@. = 'yes'"], 'E354:', 1) 2622 2623 @/ = 'slash' 2624 assert_equal('slash', @/) 2625 2626 @= = 'equal' 2627 assert_equal('equal', @=) 2628enddef 2629 2630def Test_expr7_namespace() 2631 g:some_var = 'some' 2632 assert_equal('some', get(g:, 'some_var')) 2633 assert_equal('some', get(g:, 'some_var', 'xxx')) 2634 assert_equal('xxx', get(g:, 'no_var', 'xxx')) 2635 unlet g:some_var 2636 2637 b:some_var = 'some' 2638 assert_equal('some', get(b:, 'some_var')) 2639 assert_equal('some', get(b:, 'some_var', 'xxx')) 2640 assert_equal('xxx', get(b:, 'no_var', 'xxx')) 2641 unlet b:some_var 2642 2643 w:some_var = 'some' 2644 assert_equal('some', get(w:, 'some_var')) 2645 assert_equal('some', get(w:, 'some_var', 'xxx')) 2646 assert_equal('xxx', get(w:, 'no_var', 'xxx')) 2647 unlet w:some_var 2648 2649 t:some_var = 'some' 2650 assert_equal('some', get(t:, 'some_var')) 2651 assert_equal('some', get(t:, 'some_var', 'xxx')) 2652 assert_equal('xxx', get(t:, 'no_var', 'xxx')) 2653 unlet t:some_var 2654 2655 # check using g: in a for loop more than DO_NOT_FREE_CNT times 2656 for i in range(100000) 2657 if has_key(g:, 'does-not-exist') 2658 endif 2659 endfor 2660enddef 2661 2662def Test_expr7_parens() 2663 # (expr) 2664 var lines =<< trim END 2665 assert_equal(4, (6 * 4) / 6) 2666 assert_equal(0, 6 * ( 4 / 6 )) 2667 2668 assert_equal(6, +6) 2669 assert_equal(-6, -6) 2670 assert_equal(false, !-3) 2671 assert_equal(true, !+0) 2672 2673 assert_equal(7, 5 + ( 2674 2)) 2675 assert_equal(7, 5 + ( 2676 2 2677 )) 2678 assert_equal(7, 5 + ( # comment 2679 2)) 2680 assert_equal(7, 5 + ( # comment 2681 # comment 2682 2)) 2683 2684 var s = ( 2685 'one' 2686 .. 2687 'two' 2688 ) 2689 assert_equal('onetwo', s) 2690 END 2691 CheckDefAndScriptSuccess(lines) 2692enddef 2693 2694def Test_expr7_negate_add() 2695 assert_equal(-99, -99) 2696 assert_equal(-99, - 99) 2697 assert_equal(99, +99) 2698 2699 var nr = 88 2700 assert_equal(-88, -nr) 2701 assert_equal(-88, - nr) 2702 assert_equal(88, + nr) 2703 2704 var lines =<< trim END 2705 var n = 12 2706 echo ++n 2707 END 2708 CheckDefAndScriptFailure(lines, 'E15:') 2709 lines =<< trim END 2710 var n = 12 2711 echo --n 2712 END 2713 CheckDefAndScriptFailure(lines, 'E15:') 2714 lines =<< trim END 2715 var n = 12 2716 echo +-n 2717 END 2718 CheckDefAndScriptFailure(lines, 'E15:') 2719 lines =<< trim END 2720 var n = 12 2721 echo -+n 2722 END 2723 CheckDefAndScriptFailure(lines, 'E15:') 2724 lines =<< trim END 2725 var n = 12 2726 echo - -n 2727 END 2728 CheckDefAndScriptFailure(lines, 'E15:') 2729 lines =<< trim END 2730 var n = 12 2731 echo + +n 2732 END 2733 CheckDefAndScriptFailure(lines, 'E15:') 2734 2735 lines =<< trim END 2736 var n = 12 2737 :1 2738 ++n 2739 END 2740 CheckDefAndScriptFailure(lines, 'E1050:') 2741 lines =<< trim END 2742 var n = 12 2743 :1 2744 --n 2745 END 2746 CheckDefAndScriptFailure(lines, 'E1050:') 2747enddef 2748 2749def Echo(arg: any): string 2750 return arg 2751enddef 2752 2753def s:Echo4Arg(arg: any): string 2754 return arg 2755enddef 2756 2757def Test_expr7_call() 2758 var lines =<< trim END 2759 assert_equal('yes', 'yes'->Echo()) 2760 assert_equal(true, !range(5)->empty()) 2761 assert_equal([0, 1, 2], 3->range()) 2762 END 2763 CheckDefAndScriptSuccess(lines) 2764 2765 assert_equal('yes', 'yes' 2766 ->s:Echo4Arg()) 2767 2768 CheckDefFailure(["var x = 'yes'->Echo"], 'E107:', 1) 2769 CheckScriptFailure([ 2770 "vim9script", 2771 "var x = substitute ('x', 'x', 'x', 'x')" 2772 ], 'E121:', 2) 2773 CheckDefFailure(["var Ref = function('len' [1, 2])"], 'E1123:', 1) 2774 2775 var auto_lines =<< trim END 2776 def g:some#func(): string 2777 return 'found' 2778 enddef 2779 END 2780 mkdir('Xruntime/autoload', 'p') 2781 writefile(auto_lines, 'Xruntime/autoload/some.vim') 2782 var save_rtp = &rtp 2783 &rtp = getcwd() .. '/Xruntime,' .. &rtp 2784 assert_equal('found', g:some#func()) 2785 assert_equal('found', some#func()) 2786 2787 &rtp = save_rtp 2788 delete('Xruntime', 'rf') 2789enddef 2790 2791def Test_expr7_method_call() 2792 new 2793 setline(1, ['first', 'last']) 2794 'second'->append(1) 2795 "third"->append(2) 2796 assert_equal(['first', 'second', 'third', 'last'], getline(1, '$')) 2797 bwipe! 2798 2799 var bufnr = bufnr() 2800 var loclist = [{bufnr: bufnr, lnum: 42, col: 17, text: 'wrong'}] 2801 loclist->setloclist(0) 2802 assert_equal([{bufnr: bufnr, 2803 lnum: 42, 2804 col: 17, 2805 text: 'wrong', 2806 pattern: '', 2807 valid: 1, 2808 vcol: 0, 2809 nr: 0, 2810 type: '', 2811 module: ''} 2812 ], getloclist(0)) 2813 2814 var result: bool = get({n: 0}, 'n', 0) 2815 assert_equal(false, result) 2816 2817 assert_equal('+string+', 'string'->((s) => '+' .. s .. '+')()) 2818 assert_equal('-text-', 'text'->((s, c) => c .. s .. c)('-')) 2819 2820 var Join = (l) => join(l, 'x') 2821 assert_equal('axb', ['a', 'b']->(Join)()) 2822enddef 2823 2824 2825def Test_expr7_not() 2826 var lines =<< trim END 2827 assert_equal(true, !'') 2828 assert_equal(true, ![]) 2829 assert_equal(false, !'asdf') 2830 assert_equal(false, ![2]) 2831 assert_equal(true, !!'asdf') 2832 assert_equal(true, !![2]) 2833 2834 assert_equal(true, ! false) 2835 assert_equal(true, !! true) 2836 assert_equal(true, ! ! true) 2837 assert_equal(true, !!! false) 2838 assert_equal(true, ! ! ! false) 2839 2840 g:true = true 2841 g:false = false 2842 assert_equal(true, ! g:false) 2843 assert_equal(true, !! g:true) 2844 assert_equal(true, ! ! g:true) 2845 assert_equal(true, !!! g:false) 2846 assert_equal(true, ! ! ! g:false) 2847 unlet g:true 2848 unlet g:false 2849 2850 assert_equal(true, !test_null_partial()) 2851 assert_equal(false, !() => 'yes') 2852 2853 assert_equal(true, !test_null_dict()) 2854 assert_equal(true, !{}) 2855 assert_equal(false, !{yes: 'no'}) 2856 2857 if has('channel') 2858 assert_equal(true, !test_null_job()) 2859 assert_equal(true, !test_null_channel()) 2860 endif 2861 2862 assert_equal(true, !test_null_blob()) 2863 assert_equal(true, !0z) 2864 assert_equal(false, !0z01) 2865 2866 assert_equal(true, !test_void()) 2867 assert_equal(true, !test_unknown()) 2868 2869 assert_equal(false, ![1, 2, 3]->reverse()) 2870 assert_equal(true, ![]->reverse()) 2871 END 2872 CheckDefAndScriptSuccess(lines) 2873enddef 2874 2875func Test_expr7_fails() 2876 call CheckDefFailure(["var x = (12"], "E1097:", 3) 2877 2878 call CheckDefFailure(["var x = -'xx'"], "E1030:", 1) 2879 call CheckDefFailure(["var x = +'xx'"], "E1030:", 1) 2880 call CheckDefFailure(["var x = -0z12"], "E974:", 1) 2881 call CheckDefExecFailure(["var x = -[8]"], "E39:", 1) 2882 call CheckDefExecFailure(["var x = -{a: 1}"], "E39:", 1) 2883 2884 call CheckDefFailure(["var x = @"], "E1002:", 1) 2885 call CheckDefFailure(["var x = @<"], "E354:", 1) 2886 2887 call CheckDefFailure(["var x = [1, 2"], "E697:", 2) 2888 call CheckDefFailure(["var x = [notfound]"], "E1001:", 1) 2889 2890 call CheckDefFailure(["var X = () => 123)"], "E488:", 1) 2891 call CheckDefFailure(["var x = 123->((x) => x + 5)"], "E107:", 1) 2892 2893 call CheckDefFailure(["var x = ¬exist"], 'E113:', 1) 2894 call CheckDefFailure(["&grepprg = [343]"], 'E1012:', 1) 2895 2896 call CheckDefExecFailure(["echo s:doesnt_exist"], 'E121:', 1) 2897 call CheckDefExecFailure(["echo g:doesnt_exist"], 'E121:', 1) 2898 2899 call CheckDefFailure(["echo a:somevar"], 'E1075:', 1) 2900 call CheckDefFailure(["echo l:somevar"], 'E1075:', 1) 2901 call CheckDefFailure(["echo x:somevar"], 'E1075:', 1) 2902 2903 call CheckDefExecFailure(["var x = +g:astring"], 'E1030:', 1) 2904 call CheckDefExecFailure(["var x = +g:ablob"], 'E974:', 1) 2905 call CheckDefExecFailure(["var x = +g:alist"], 'E745:', 1) 2906 call CheckDefExecFailure(["var x = +g:adict"], 'E728:', 1) 2907 2908 call CheckDefFailure(["var x = ''", "var y = x.memb"], 'E715:', 2) 2909 2910 call CheckDefFailure(["'yes'->", "Echo()"], 'E488: Trailing characters: ->', 1) 2911 2912 call CheckDefExecFailure(["[1, 2->len()"], 'E697:', 2) 2913 call CheckDefExecFailure(["{a: 1->len()"], 'E723:', 2) 2914 call CheckDefExecFailure(["{['a']: 1->len()"], 'E723:', 2) 2915endfunc 2916 2917let g:Funcrefs = [function('add')] 2918 2919func CallMe(arg) 2920 return a:arg 2921endfunc 2922 2923func CallMe2(one, two) 2924 return a:one .. a:two 2925endfunc 2926 2927def Test_expr7_trailing() 2928 # user function call 2929 assert_equal(123, g:CallMe(123)) 2930 assert_equal(123, g:CallMe( 123)) 2931 assert_equal(123, g:CallMe(123 )) 2932 assert_equal('yesno', g:CallMe2('yes', 'no')) 2933 assert_equal('yesno', g:CallMe2( 'yes', 'no' )) 2934 assert_equal('nothing', g:CallMe('nothing')) 2935 2936 # partial call 2937 var Part = function('g:CallMe') 2938 assert_equal('yes', Part('yes')) 2939 2940 # funcref call, using list index 2941 var l = [] 2942 g:Funcrefs[0](l, 2) 2943 assert_equal([2], l) 2944 2945 # method call 2946 l = [2, 5, 6] 2947 l->map((k, v) => k + v) 2948 assert_equal([2, 6, 8], l) 2949 2950 # lambda method call 2951 l = [2, 5] 2952 l->((ll) => add(ll, 8))() 2953 assert_equal([2, 5, 8], l) 2954 2955 # dict member 2956 var d = {key: 123} 2957 assert_equal(123, d.key) 2958enddef 2959 2960def Test_expr7_string_subscript() 2961 var lines =<< trim END 2962 var text = 'abcdef' 2963 assert_equal('f', text[-1]) 2964 assert_equal('a', text[0]) 2965 assert_equal('e', text[4]) 2966 assert_equal('f', text[5]) 2967 assert_equal('', text[6]) 2968 2969 text = 'ábçdë' 2970 assert_equal('ë', text[-1]) 2971 assert_equal('d', text[-2]) 2972 assert_equal('ç', text[-3]) 2973 assert_equal('b', text[-4]) 2974 assert_equal('á', text[-5]) 2975 assert_equal('', text[-6]) 2976 2977 text = 'ábçdëf' 2978 assert_equal('', text[-999]) 2979 assert_equal('f', text[-1]) 2980 assert_equal('á', text[0]) 2981 assert_equal('b', text[1]) 2982 assert_equal('ç', text[2]) 2983 assert_equal('d', text[3]) 2984 assert_equal('ë', text[4]) 2985 assert_equal('f', text[5]) 2986 assert_equal('', text[6]) 2987 assert_equal('', text[999]) 2988 2989 assert_equal('ábçdëf', text[0 : -1]) 2990 assert_equal('ábçdëf', text[0 : -1]) 2991 assert_equal('ábçdëf', text[0 : -1]) 2992 assert_equal('ábçdëf', text[0 : -1]) 2993 assert_equal('ábçdëf', text[0 2994 : -1]) 2995 assert_equal('ábçdëf', text[0 : 2996 -1]) 2997 assert_equal('ábçdëf', text[0 : -1 2998 ]) 2999 assert_equal('bçdëf', text[1 : -1]) 3000 assert_equal('çdëf', text[2 : -1]) 3001 assert_equal('dëf', text[3 : -1]) 3002 assert_equal('ëf', text[4 : -1]) 3003 assert_equal('f', text[5 : -1]) 3004 assert_equal('', text[6 : -1]) 3005 assert_equal('', text[999 : -1]) 3006 3007 assert_equal('ábçd', text[: 3]) 3008 assert_equal('bçdëf', text[1 :]) 3009 assert_equal('ábçdëf', text[:]) 3010 END 3011 CheckDefSuccess(lines) 3012 CheckScriptSuccess(['vim9script'] + lines) 3013 3014 lines =<< trim END 3015 var d = 'asdf'[1 : 3016 END 3017 CheckDefFailure(lines, 'E1097:', 3) 3018 lines =<< trim END 3019 var d = 'asdf'[1 : xxx] 3020 END 3021 CheckDefFailure(lines, 'E1001:', 1) 3022 lines =<< trim END 3023 var d = 'asdf'[1 : 2 3024 END 3025 CheckDefFailure(lines, 'E1097:', 3) 3026 lines =<< trim END 3027 var d = 'asdf'[1 : 2 3028 echo d 3029 END 3030 CheckDefFailure(lines, 'E111:', 2) 3031 lines =<< trim END 3032 var d = 'asdf'['1'] 3033 echo d 3034 END 3035 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1) 3036 lines =<< trim END 3037 var d = 'asdf'['1' : 2] 3038 echo d 3039 END 3040 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1) 3041 lines =<< trim END 3042 var d = 'asdf'[1 : '2'] 3043 echo d 3044 END 3045 CheckDefFailure(lines, 'E1012: Type mismatch; expected number but got string', 1) 3046enddef 3047 3048def Test_expr7_list_subscript() 3049 var lines =<< trim END 3050 var list = [0, 1, 2, 3, 4] 3051 assert_equal(0, list[0]) 3052 assert_equal(4, list[4]) 3053 assert_equal(4, list[-1]) 3054 assert_equal(0, list[-5]) 3055 3056 assert_equal([0, 1, 2, 3, 4], list[0 : 4]) 3057 assert_equal([0, 1, 2, 3, 4], list[:]) 3058 assert_equal([1, 2, 3, 4], list[1 :]) 3059 assert_equal([2, 3, 4], list[2 : -1]) 3060 assert_equal([4], list[4 : -1]) 3061 assert_equal([], list[5 : -1]) 3062 assert_equal([], list[999 : -1]) 3063 assert_equal([1, 2, 3, 4], list[g:theone : g:thefour]) 3064 3065 assert_equal([0, 1, 2, 3], list[0 : 3]) 3066 assert_equal([0], list[0 : 0]) 3067 assert_equal([0, 1, 2, 3, 4], list[0 : -1]) 3068 assert_equal([0, 1, 2], list[0 : -3]) 3069 assert_equal([0], list[0 : -5]) 3070 assert_equal([], list[0 : -6]) 3071 assert_equal([], list[0 : -99]) 3072 END 3073 CheckDefAndScriptSuccess(lines) 3074 3075 lines = ['var l = [0, 1, 2]', 'echo l[g:astring : g:theone]'] 3076 CheckDefExecFailure(lines, 'E1012:') 3077 CheckScriptFailure(['vim9script'] + lines, 'E1030:', 3) 3078 3079 lines =<< trim END 3080 vim9script 3081 var ld = [] 3082 def Func() 3083 eval ld[0].key 3084 enddef 3085 defcompile 3086 END 3087 CheckScriptSuccess(lines) 3088enddef 3089 3090def Test_expr7_dict_subscript() 3091 var lines =<< trim END 3092 vim9script 3093 var l = [{lnum: 2}, {lnum: 1}] 3094 var res = l[0].lnum > l[1].lnum 3095 assert_true(res) 3096 3097 var dd = {} 3098 def Func1() 3099 eval dd.key1.key2 3100 enddef 3101 def Func2() 3102 eval dd['key1'].key2 3103 enddef 3104 defcompile 3105 END 3106 CheckScriptSuccess(lines) 3107enddef 3108 3109def Test_expr7_subscript_linebreak() 3110 var range = range( 3111 3) 3112 var l = range 3113 ->mapnew('string(v:key)') 3114 assert_equal(['0', '1', '2'], l) 3115 3116 l = range 3117 ->mapnew('string(v:key)') 3118 assert_equal(['0', '1', '2'], l) 3119 3120 l = range # comment 3121 ->mapnew('string(v:key)') 3122 assert_equal(['0', '1', '2'], l) 3123 3124 l = range 3125 3126 ->mapnew('string(v:key)') 3127 assert_equal(['0', '1', '2'], l) 3128 3129 l = range 3130 # comment 3131 ->mapnew('string(v:key)') 3132 assert_equal(['0', '1', '2'], l) 3133 3134 assert_equal('1', l[ 3135 1]) 3136 3137 var d = {one: 33} 3138 assert_equal(33, d. 3139 one) 3140enddef 3141 3142func Test_expr7_trailing_fails() 3143 call CheckDefFailure(['var l = [2]', 'l->((ll) => add(ll, 8))'], 'E107:', 2) 3144 call CheckDefFailure(['var l = [2]', 'l->((ll) => add(ll, 8)) ()'], 'E274:', 2) 3145endfunc 3146 3147func Test_expr_fails() 3148 call CheckDefFailure(["var x = '1'is2"], 'E488:', 1) 3149 call CheckDefFailure(["var x = '1'isnot2"], 'E488:', 1) 3150 3151 call CheckDefFailure(["CallMe ('yes')"], 'E476:', 1) 3152 call CheckScriptFailure(["CallMe ('yes')"], 'E492:', 1) 3153 call CheckDefAndScriptFailure(["CallMe2('yes','no')"], 'E1069:', 1) 3154 call CheckDefFailure(["CallMe2('yes' , 'no')"], 'E1068:', 1) 3155 3156 call CheckDefFailure(["v:nosuch += 3"], 'E1001:', 1) 3157 call CheckDefFailure(["var v:statusmsg = ''"], 'E1016: Cannot declare a v: variable:', 1) 3158 call CheckDefFailure(["var asdf = v:nosuch"], 'E1001:', 1) 3159 3160 call CheckDefFailure(["echo len('asdf'"], 'E110:', 2) 3161 call CheckDefFailure(["echo Func0123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789()"], 'E1011:', 1) 3162 call CheckDefFailure(["echo doesnotexist()"], 'E117:', 1) 3163endfunc 3164 3165" vim: shiftwidth=2 sts=2 expandtab 3166