t/ps-tests.lisp

   1 (in-package :ps-test)
   2
   3 ;;; Hand-written unit tests
   4
   5 (eval-when (:compile-toplevel :load-toplevel :execute)
   6   (def-suite ps-tests))
   7 (in-suite ps-tests)
   8
   9 (test-ps-js plus-is-not-commutative
  10    (setf x (+ "before" x "after"))
  11    "x = 'before' + x + 'after';")
  12
  13 (test-ps-js plus-works-if-first
  14    (setf x (+ x "middle" "after"))
  15    "x += 'middle' + 'after';")
  16
  17 (test-ps-js setf-side-effects
  18   (progn
  19     (let* ((x 10))
  20       (defun side-effect()
  21         (setf x 4)
  22         (return 3))
  23       (setf x (+ 2 (side-effect) x 5))))
  24   "var x = 10;
  25 function sideEffect() {
  26   x = 4;
  27   return 3;
  28 };
  29 x = 2 + sideEffect() + x + 5;")
  30 ;; Parenscript used to optimize too much:
  31 ;;   var x = 10;
  32 ;;   function sideEffect() {
  33 ;;     x = 4;
  34 ;;     return 3;
  35 ;;   };
  36 ;;   x += 2 + sideEffect() + 5;
  37 ;;
  38 ;;   Which is 20, not 14
  39
  40
  41 (test-ps-js dot-notation-bug
  42             (.match (+ "" x) "foo")
  43             "('' + x).match('foo')")
  44
  45 (test-ps-js method-call-op-form (.to-string (+ "" x)) "('' + x).toString()")
  46 (test-ps-js method-call-number (.to-string 10) "( 10 ).toString()")
  47 (test-ps-js method-call-string (.to-string "hi") "'hi'.toString()")
  48 (test-ps-js method-call-lit-object
  49             (.to-string (create :to-string (lambda ()
  50                                              (return "it works"))))
  51             "( { toString : function () { return 'it works'; } } ).toString()")
  52
  53 (test-ps-js method-call-variable
  54             (.to-string x)
  55             "x.toString()")
  56
  57 (test-ps-js method-call-array
  58             (.to-string (list 10 20))
  59             "[ 10, 20 ].toString()")
  60 (test-ps-js method-call-fn-call
  61             (.to-string (foo))
  62             "foo().toString()")
  63 (test-ps-js method-call-lambda-fn
  64             (.to-string (lambda () (alert 10)))
  65             "( function () { alert(10); } ).toString()")
  66 (test-ps-js method-call-lambda-call
  67             (.to-string ((lambda (x) (return x)) 10))
  68             "(function (x) { return x; })(10).toString()")
  69
  70 (test no-whitespace-before-dot
  71   (let* ((str (ps1* '(.to-string ((lambda (x) (return x)) 10))))
  72          (dot-pos (position #\. str :test #'char=))
  73          (char-before (elt str (1- dot-pos)))
  74          (a-parenthesis #\)))
  75     (is (char= char-before a-parenthesis))))
  76
  77 (test-ps-js simple-slot-value
  78   (let* ((foo (create :a 1)))
  79     (alert (slot-value foo 'a)))
  80   "var foo = { a : 1 };
  81    alert(foo.a);")
  82
  83 (test-ps-js buggy-slot-value
  84    (let* ((foo (create :a 1))
  85           (slot-name "a"))
  86     (alert (slot-value foo slot-name)))
  87   " var foo = { a : 1 };
  88     var slotName = 'a';
  89     alert(foo[slotName]);
  90    "); Last line was alert(foo.slotName) before bug-fix.
  91
  92 (test-ps-js buggy-slot-value-two
  93   (slot-value foo (get-slot-name))
  94   "foo[getSlotName()]")
  95
  96 (test-ps-js old-case-is-now-switch
  97   ;; Switch was "case" before, but that was very non-lispish.
  98   ;; For example, this code makes three messages and not one
  99   ;; which may have been expected. This is because a switch
 100   ;; statment must have a break statement for it to return
 101   ;; after the alert. Otherwise it continues on the next
 102   ;; clause.
 103   (switch (aref blorg i)
 104      (1 (alert "one"))
 105      (2 (alert "two"))
 106      (default (alert "default clause")))
 107      "switch (blorg[i]) {
 108          case 1:   alert('one');
 109          case 2:   alert('two');
 110          default:   alert('default clause');
 111          }")
 112
 113 (test-ps-js lisp-like-case
 114    (case (aref blorg i)
 115      (1 (alert "one"))
 116      (2 (alert "two"))
 117      (default (alert "default clause")))
 118      "switch (blorg[i]) {
 119          case 1:
 120                    alert('one');
 121                    break;
 122          case 2:
 123                    alert('two');
 124                    break;
 125          default:   alert('default clause');
 126          }")
 127
 128
 129 (test-ps-js even-lispier-case
 130   (case (aref blorg i)
 131       ((1 2) (alert "Below three"))
 132       (3 (alert "Three"))
 133       (t (alert "Something else")))
 134    "switch (blorg[i]) {
 135          case 1:
 136          case 2:
 137                    alert('Below three');
 138                    break;
 139          case 3:
 140                    alert('Three');
 141                    break;
 142          default:   alert('Something else');
 143     }")
 144
 145 (test-ps-js otherwise-case
 146    (case (aref blorg i)
 147      (1 (alert "one"))
 148      (otherwise (alert "default clause")))
 149      "switch (blorg[i]) {
 150          case 1:
 151                    alert('one');
 152                    break;
 153          default:   alert('default clause');
 154          }")
 155
 156 (test escape-sequences-in-string
 157   (let ((escapes `((#\\ . #\\)
 158                    (#\b . #\Backspace)
 159                    (#\f . ,(code-char 12))
 160                    ("u000B" . ,(code-char #x000b));;Vertical tab, too uncommon to bother with
 161                    (#\n . #\Newline)
 162                    (#\r . #\Return)
 163                    (#\' . #\');;Double quote need not be quoted because parenscript strings are single quoted
 164                    (#\t . #\Tab)
 165                    ("u001F" . ,(code-char #x001f));; character below 32
 166                    ("u0080" . ,(code-char 128)) ;;Character over 127. Actually valid, parenscript escapes them to be sure.
 167                    ("uABCD" . ,(code-char #xabcd)))));; Really above ascii.
 168     (loop for (js-escape . lisp-char) in escapes
 169           for generated = (ps1* `(let* ((x ,(format nil "hello~ahi" lisp-char)))))
 170           for wanted = (format nil "var x = 'hello\\~ahi';" js-escape)
 171           do (is (string= (normalize-js-code generated) wanted)))))
 172
 173 (test-ps-js complicated-symbol-name1
 174   grid-rows[foo].bar
 175   "gridRows[foo].bar")
 176
 177 (test-ps-js complicated-symbol-name2
 178   *grid-rows*[foo].bar
 179   "GRIDROWS[foo].bar")
 180
 181 (test-ps-js slot-value-setf
 182   (setf (slot-value x 'y) (+ (+ a 3) 4))
 183   "x.y = (a + 3) + 4;")
 184
 185 (test-ps-js slot-value-conditional1
 186   (slot-value (if zoo foo bar) 'x)
 187   "(zoo ? foo : bar).x")
 188
 189 (test-ps-js slot-value-conditional2
 190   (slot-value (if (not zoo) foo bar) 'x)
 191   "(!zoo ? foo : bar).x")
 192
 193 (test script-star-eval1
 194   (is (string= "x = 1; y = 2;" (normalize-js-code (ps* '(setf x 1) '(setf y 2))))))
 195
 196 (test script-star-eval2
 197   (is (string= "x = 1;" (normalize-js-code (ps* '(setf x 1))))))
 198
 199 (test-ps-js slot-value-null1
 200   (slot-value foo nil)
 201   "foo")
 202
 203 (test-ps-js slot-value-null2
 204   (slot-value foo 'nil)
 205   "foo")
 206
 207 (test-ps-js unquoted-nil
 208   nil
 209   "null")
 210
 211 (test-ps-js list-with-single-nil
 212   (array 'nil)
 213   "[null]")
 214
 215 (test-ps-js quoted-nil
 216   'nil
 217   "null")
 218
 219 (test defsetf1
 220   (ps (defsetf baz (x y) (newval) `(set-baz ,x ,y ,newval)))
 221   (is (string= "var _js2 = 1; var _js3 = 2; var _js1 = 3; setBaz(_js2, _js3, _js1);"
 222                (normalize-js-code (let* ((ps:*ps-gensym-counter* 0))
 223                                     (ps (setf (baz 1 2) 3)))))))
 224
 225 (test defsetf-short
 226   (ps (defsetf baz set-baz "blah"))
 227   (is (string= "setBaz(1, 2, 3, 'foo');" (normalize-js-code (ps (setf (baz 1 2 3) "foo"))))))
 228
 229 (test defun-setf1
 230   (is (and (string= (normalize-js-code (ps:ps (defun (setf some-thing) (new-val i1 i2)
 231                                                 (setf (aref *some-thing* i1 i2) new-val))))
 232                "function __setf_someThing(newVal, i1, i2) { SOMETHING[i1][i2] = newVal; };")
 233            (string= (normalize-js-code (ps:ps-doc (setf (some-thing 1 2) "foo")))
 234                     "var _js2 = 1; var _js3 = 2; var _js1 = 'foo'; __setf_someThing(_js1, _js2, _js3);"))))
 235
 236 (test-ps-js defun-optional1
 237   (defun test-opt (&optional x) (return (if x "yes" "no")))
 238   "function testOpt(x) {
 239     if (x === undefined) {
 240         x = null;
 241     };
 242     return x ? 'yes' : 'no';
 243 }")
 244
 245 (test-ps-js defun-optional2
 246   (defun foo (x &optional y) (+ x y))
 247   "function foo(x, y) {
 248     if (y === undefined) {
 249         y = null;
 250     };
 251     x + y;
 252 }")
 253
 254 (test-ps-js defun-optional3
 255   (defun blah (&optional (x 0))
 256     (return x))
 257   "function blah(x) {
 258     if (x === undefined) {
 259         x = 0;
 260     };
 261     return x;
 262 }")
 263
 264 (test-ps-js return-nothing
 265   (return)
 266   "return null")
 267
 268 (test-ps-js set-timeout
 269   (do-set-timeout (10) (alert "foo"))
 270   "setTimeout(function () { alert('foo'); }, 10)")
 271 (test-ps-js operator-precedence
 272   (* 3 (+ 4 5) 6)
 273   "3 * (4 + 5) * 6")
 274
 275 (test-ps-js operators-1
 276   (in prop obj)
 277   "prop in obj")
 278
 279 (test-ps-js incf1
 280   (incf foo bar)
 281   "foo += bar")
 282
 283 (test-ps-js decf1
 284   (decf foo bar)
 285   "foo -= bar")
 286
 287 (test-ps-js incf2
 288   (incf x 5)
 289   "x += 5")
 290
 291 (test-ps-js decf2
 292   (decf y 10)
 293   "y -= 10")
 294
 295 (test-ps-js setf-conditional
 296   (setf foo (if x 1 2))
 297   "foo = x ? 1 : 2;")
 298
 299 (test-ps-js obj-literal-numbers
 300   (create 1 "foo")
 301   "{ 1 : 'foo' }")
 302
 303 (test-ps-js obj-literal-strings
 304   (create "foo" 2)
 305   "{ 'foo' : 2 }")
 306
 307 (test-ps-js slot-value-string
 308   (slot-value foo "bar")
 309   "foo['bar']")
 310
 311 (test-ps-js slot-value-progn
 312   (slot-value (progn (some-fun "abc") "123") "length")
 313   "(someFun('abc'), '123')['length']")
 314
 315 (test-ps-js method-call-block
 316   (.to-string (progn (some-fun "abc") "123"))
 317   "(someFun('abc'), '123').toString()")
 318
 319 (test-ps-js create-blank
 320   (create)
 321   "{ }")
 322
 323 (test-ps-js blank-object-literal
 324   {}
 325   "{ }")
 326
 327 (test-ps-js object-literal-1
 328   ({})
 329   "{ }")
 330
 331 (test-ps-js object-literal-2
 332   ({} a 1 b 2)
 333   "{a: 1, b: 2 }")
 334
 335 (test-ps-js array-literal1
 336   []
 337   "[]")
 338
 339 (test-ps-js array-literal2
 340   ([])
 341   "[]")
 342
 343 (test-ps-js array-literal3
 344   ([] 1 2 3)
 345   "[1, 2, 3]")
 346
 347 (test-ps-js array-literal4
 348   ([] 1 (2 3))
 349   "[1, [2, 3]]")
 350
 351 (test-ps-js array-literal5
 352   ([] (1 2) ("a" "b"))
 353   "[[1, 2], ['a', 'b']]")
 354
 355 (test-ps-js defun-rest1
 356   (defun foo (&rest bar) (alert bar[1]))
 357   "function foo() {
 358     var bar = [];
 359     for (var i2 = 0; i2 < arguments.length - 0; i2 += 1) {
 360         bar[i2] = arguments[i2 + 0];
 361     };
 362     alert(bar[1]);
 363 }")
 364
 365 (test-ps-js defun-rest2
 366   (defun foo (baz &rest bar) (return (+ baz (aref bar 1))))
 367   "function foo(baz) {
 368     var bar = [];
 369     for (var i2 = 0; i2 < arguments.length - 1; i2 += 1) {
 370         bar[i2] = arguments[i2 + 1];
 371     };
 372     return baz + bar[1];
 373 }")
 374
 375 (test-ps-js defun-keyword1
 376   (defun zoo (foo bar &key baz) (return (+ foo bar baz)))
 377   "function zoo(foo, bar, _js1) {
 378     if (_js1 === undefined) {
 379         _js1 = {  };
 380     };
 381     return foo + bar + _js1.baz;
 382 }")
 383
 384 (test-ps-js defun-keyword2
 385   (defun zoo (&key baz) (return (* baz baz)))
 386   "function zoo(_js1) {
 387     if (_js1 === undefined) {
 388         _js1 = {  };
 389     };
 390     return _js1.baz * _js1.baz;
 391 }")
 392
 393 (test-ps-js defun-keyword3
 394   (defun zoo (&key baz (bar 4)) (return (* baz bar)))
 395   "function zoo(_js1) {
 396     if (_js1 === undefined) {
 397         _js1 = {  };
 398     };
 399     if (_js1.bar === undefined) {
 400         _js1.bar = 4;
 401     };
 402     return _js1.baz * _js1.bar;
 403 }")
 404
 405 (test-ps-js keyword-funcall1
 406   (func :baz 1)
 407   "func({ baz : 1 })")
 408
 409 (test-ps-js keyword-funcall2
 410   (func :baz 1 :bar foo)
 411   "func({ baz : 1, bar : foo })")
 412
 413 (test-ps-js keyword-funcall3
 414   (fun a b :baz c)
 415   "fun(a, b, { baz : c })")
 416
 417 (test-ps-js cond1
 418   (cond ((= x 1) 1))
 419   "if (x == 1) {
 420     1;
 421 }")
 422
 423 (test-ps-js cond2
 424   (cond ((= x 1) 2) ((= y (* x 4)) (foo "blah") (* x y)))
 425   "if (x == 1) {
 426     2;
 427 } else if (y == x * 4) {
 428     foo('blah');
 429     x * y;
 430 }")
 431
 432 (test-ps-js if-exp-without-else-returns-null
 433   (return (if x 1))
 434   "return x ? 1 : null")
 435
 436 (test-ps-js progn-expression-single-statement
 437   (return (progn (* x y)))
 438   "return x * y")
 439
 440 (test-ps-js cond-expression1
 441   (defun foo () (return (cond ((< 1 2) (bar "foo") (* 4 5)))))
 442   "function foo() {
 443     return 1 < 2 ? (bar('foo'), 4 * 5) : null;
 444 }")
 445
 446 (test-ps-js cond-expression2
 447   (defun foo () (return (cond ((< 2 1) "foo") ((= 7 7) "bar"))))
 448   "function foo() {
 449     return 2 < 1 ? 'foo' : (7 == 7 ? 'bar' : null);
 450 }")
 451
 452 (test-ps-js cond-expression-final-t-clause
 453   (defun foo () (return (cond ((< 1 2) (bar "foo") (* 4 5)) ((= a b) (+ c d)) ((< 1 2 3 4 5) x) (t "foo"))))
 454   "function foo() {
 455     return 1 < 2 ? (bar('foo'), 4 * 5) : (a == b ? c + d : (1 < 2 < 3 < 4 < 5 ? x : 'foo'));
 456 }")
 457
 458 (test-ps-js cond-expression-middle-t-clause ;; should this signal a warning?
 459   (defun foo () (return (cond ((< 2 1) 5) (t "foo") ((< 1 2) "bar"))))
 460   "function foo() {
 461     return 2 < 1 ? 5 : 'foo';
 462 }")
 463
 464 (test-ps-js funcall-if-expression
 465   (document.write
 466    (if (= *linkornot* 1)
 467        (ps-html ((:a :href "#"
 468                      :onclick (lisp (ps-inline (transport))))
 469                  img))
 470        img))
 471   "document.write(LINKORNOT == 1 ? '<A HREF=\"#\" ONCLICK=\"' + 'javascript:transport()' + '\">' + img + '</A>' : img)")
 472
 473 (test-ps-js negate-number-literal ;; ok, this was broken and fixed before, but no one bothered to add the test!
 474   (- 1)
 475   "-1")
 476
 477 (test macro-environment1
 478   (is (string= (normalize-js-code (let* ((macroname (gensym)))
 479                                     (ps* `(defmacro ,macroname (x) `(+ ,x 123))
 480                                          `(defun test1 ()
 481                                            (macrolet ((,macroname (x) `(aref data ,x)))
 482                                              (when (,macroname x)
 483                                                (setf (,macroname x) 123)))))))
 484                (normalize-js-code
 485 "function test1() {
 486     if (data[x]) {
 487         data[x] = 123;
 488     };
 489 };
 490 "))))
 491
 492 (test-ps-js ampersand-whole-1
 493   (macrolet ((foo (&whole foo bar baz)
 494                (declare (ignore bar baz))
 495                (format nil "~a" foo)))
 496     (foo 1 2))
 497   "'(FOO 1 2)';")
 498
 499 (test-ps-js keyword-consistent
 500   :x
 501   "'x'")
 502
 503 (test-ps-js simple-symbol-macrolet
 504   (symbol-macrolet ((x 1)) x)
 505   "1;")
 506
 507 (test-ps-js compound-symbol-macrolet
 508   (symbol-macrolet ((x 123)
 509                     (y (* 2 x)))
 510      y)
 511   "2 * 123;")
 512
 513 (test-ps-js define-symbol-macro
 514   (progn (define-symbol-macro tst-sym-macro 2)
 515          tst-sym-macro)
 516   "2;")
 517
 518 (test-ps-js expression-progn
 519   (defun f () (return (progn (foo) (if x 1 2))))
 520   "function f() {
 521     return (foo(), x ? 1 : 2);
 522 }")
 523
 524 (test-ps-js let-decl-in-expression
 525   (defun f (x) (return (if x 1 (let* ((foo x)) foo))))
 526   "function f(x) {
 527     var foo;
 528     return x ? 1 : (foo = x, foo);
 529 }")
 530
 531 (test-ps-js special-var1
 532   (progn (defvar *foo*) (let* ((*foo* 2)) (* *foo* 2)))
 533   "var FOO;
 534 var tempstackvar1;
 535 try {
 536     tempstackvar1 = FOO;
 537     FOO = 2;
 538     FOO * 2;
 539 } finally {
 540     FOO = tempstackvar1;
 541     delete tempstackvar1;
 542 };")
 543
 544 (test-ps-js special-var2
 545   (progn (defvar *foo*) (let* ((*baz* 3) (*foo* 2)) (* *foo* 2 *baz*)))
 546   "var FOO;
 547 var BAZ = 3;
 548 var tempstackvar1;
 549 try {
 550     tempstackvar1 = FOO;
 551     FOO = 2;
 552     FOO * 2 * BAZ;
 553 } finally {
 554     FOO = tempstackvar1;
 555     delete tempstackvar1;
 556 };
 557 ")
 558
 559 (test-ps-js literal1
 560   (setf x undefined)
 561   "x = undefined;")
 562
 563 (test-ps-js literal2
 564   (aref this x)
 565   "this[x]")
 566
 567 (test-ps-js setf-dec1
 568   (setf x (- 1 x 2))
 569   "x = 1 - x - 2;")
 570
 571 (test-ps-js setf-dec2
 572   (setf x (- x 1 2))
 573   "x = x - 1 - 2;")
 574
 575 (test-ps-js special-char-equals
 576   blah=
 577   "blahequals")
 578
 579 (test-ps-js setf-operator-priority
 580   (return (or (slot-value cache id)
 581               (setf (slot-value cache id) (document.get-element-by-id id))))
 582   "return cache[id] || (cache[id] = document.getElementById(id))")
 583
 584 (test-ps-js aref-operator-priority
 585   (aref (if (and x (> (length x) 0))
 586             (aref x 0)
 587             y)
 588         z)
 589   "(x && x.length > 0 ? x[0] : y)[z]")
 590
 591 (test-ps-js aref-operator-priority1
 592   (aref (or (slot-value x 'y)
 593             (slot-value a 'b))
 594         z)
 595   "(x.y || a.b)[z]")
 596
 597 (test-ps-js aref-operator-priority2
 598   (aref (if a b c) 0)
 599   "(a ? b : c)[0]")
 600
 601 (test-ps-js negative-operator-priority
 602   (- (if x y z))
 603   "-(x ? y : z)")
 604
 605 (test-ps-js op-p1
 606   (new (or a b))
 607   "new (a || b)")
 608
 609 (test-ps-js op-p2
 610   (delete (if a (or b c) d))
 611   "delete (a ? b || c : d)")
 612
 613 (test-ps-js op-p3
 614   (not (if (or x (not y)) z))
 615   "!(x || !y ? z : null)")
 616
 617 (test-ps-js op-p4
 618   (- (- (* 1 2) 3))
 619   "-(1 * 2 - 3)")
 620
 621 (test-ps-js op-p5
 622   (instanceof (or a b) (if x y z))
 623   "((a || b) instanceof (x ? y : z))")
 624
 625 (test-ps-js op-p6
 626   (doeach (x (or a b)))
 627   "for (var x in (a || b)) { };")
 628
 629 (test-ps-js op-p7
 630   (or x (if (= x 0) "zero" "empty"))
 631   "x || (x == 0 ? 'zero' : 'empty')")
 632
 633 (test-ps-js named-op-expression
 634   (throw (if a b c))
 635   "throw a ? b : c")
 636
 637 (test-ps-js named-op-expression1
 638   (typeof (or x y))
 639   "typeof (x || y)")
 640
 641 (test-ps-js aref-array-expression
 642   (aref (or a b c) 0)
 643   "(a || b || c)[0]")
 644
 645 (test-ps-js slot-value-operator
 646   (slot-value (or a b c) 'd)
 647   "(a || b || c).d")
 648
 649 (test-ps-js slot-value-parens
 650   (slot-value (slot-value foo 'bar) 'baz)
 651   "foo.bar.baz")