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 (compile-script '(.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 = (compile-script `(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= (let ((ps:*ps-gensym-counter* 0)) (normalize-js-code (ps:ps (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   x = undefined === x && null || x;
 240   return x ? 'yes' : 'no';
 241 }")
 242
 243 (test-ps-js defun-optional2
 244   (defun foo (x &optional y) (+ x y))
 245   "function foo(x, y) {
 246     y = undefined === y && null || y;
 247     x + y;
 248 }")
 249
 250 (test-ps-js return-nothing
 251   (return)
 252   "return null")
 253
 254 (test-ps-js set-timeout
 255   (do-set-timeout (10) (alert "foo"))
 256   "setTimeout(function () { alert('foo'); }, 10)")
 257 (test-ps-js operator-precedence
 258   (* 3 (+ 4 5) 6)
 259   "3 * (4 + 5) * 6")
 260
 261 (test-ps-js incf1
 262   (incf foo bar)
 263   "foo += bar")
 264
 265 (test-ps-js decf1
 266   (decf foo bar)
 267   "foo -= bar")
 268
 269 (test-ps-js incf2
 270   (incf x 5)
 271   "x += 5")
 272
 273 (test-ps-js decf2
 274   (decf y 10)
 275   "y -= 10")
 276
 277 (test-ps-js setf-conditional
 278   (setf foo (if x 1 2))
 279   "foo = x ? 1 : 2;")
 280
 281 (test-ps-js obj-literal-numbers
 282   (create 1 "foo")
 283   "{ 1 : 'foo' }")
 284
 285 (test-ps-js obj-literal-strings
 286   (create "foo" 2)
 287   "{ 'foo' : 2 }")
 288
 289 (test-ps-js slot-value-string
 290   (slot-value foo "bar")
 291   "foo['bar']")
 292
 293 (test-ps-js slot-value-progn
 294   (slot-value (progn (some-fun "abc") "123") "length")
 295   "(someFun('abc'), '123')['length']")
 296
 297 (test-ps-js method-call-block
 298   (.to-string (progn (some-fun "abc") "123"))
 299   "(someFun('abc'), '123').toString()")
 300
 301 (test-ps-js create-blank
 302   (create)
 303   "{ }")
 304
 305 (test-ps-js blank-object-literal
 306   {}
 307   "{ }")
 308
 309 (test-ps-js object-literal-1
 310   ({})
 311   "{ }")
 312
 313 (test-ps-js object-literal-2
 314   ({} a 1 b 2)
 315   "{a: 1, b: 2 }")
 316
 317 (test-ps-js defun-rest1
 318   (defun foo (&rest bar) (alert bar[1]))
 319   "function foo() {
 320     var bar = [];
 321     for (var i2 = 0; i2 < arguments.length - 0; i2 += 1) {
 322         bar[i2] = arguments[i2 + 0];
 323     };
 324     alert(bar[1]);
 325 }")
 326
 327 (test-ps-js defun-rest2
 328   (defun foo (baz &rest bar) (return (+ baz (aref bar 1))))
 329   "function foo(baz) {
 330     var bar = [];
 331     for (var i2 = 0; i2 < arguments.length - 1; i2 += 1) {
 332         bar[i2] = arguments[i2 + 1];
 333     };
 334     return baz + bar[1];
 335 }")
 336
 337 (test-ps-js defun-keyword1
 338   (defun zoo (foo bar &key baz) (return (+ foo bar baz)))
 339   "function zoo(foo, bar, _js1) {
 340     _js1 = undefined === _js1 && {  } || _js1;
 341     return foo + bar + _js1.baz;
 342 }")
 343
 344 (test-ps-js cond1
 345   (cond ((= x 1) 1))
 346   "if (x == 1) {
 347     1;
 348 }")
 349
 350 (test-ps-js cond2
 351   (cond ((= x 1) 2) ((= y (* x 4)) (foo "blah") (* x y)))
 352   "if (x == 1) {
 353     2;
 354 } else if (y == x * 4) {
 355     foo('blah');
 356     x * y;
 357 }")
 358
 359 (test-ps-js if-exp-without-else-returns-null
 360   (return (if x 1))
 361   "return x ? 1 : null")
 362
 363 (test-ps-js progn-expression-single-statement
 364   (return (progn (* x y)))
 365   "return x * y")
 366
 367 (test-ps-js cond-expression1
 368   (defun foo () (return (cond ((< 1 2) (bar "foo") (* 4 5)))))
 369   "function foo() {
 370     return 1 < 2 ? (bar('foo'), 4 * 5) : null;
 371 }")
 372
 373 (test-ps-js cond-expression2
 374   (defun foo () (return (cond ((< 2 1) "foo") ((= 7 7) "bar"))))
 375   "function foo() {
 376     return 2 < 1 ? 'foo' : (7 == 7 ? 'bar' : null);
 377 }")
 378
 379 (test-ps-js cond-expression-final-t-clause
 380   (defun foo () (return (cond ((< 1 2) (bar "foo") (* 4 5)) ((= a b) (+ c d)) ((< 1 2 3 4 5) x) (t "foo"))))
 381   "function foo() {
 382     return 1 < 2 ? (bar('foo'), 4 * 5) : (a == b ? c + d : (1 < 2 < 3 < 4 < 5 ? x : 'foo'));
 383 }")
 384
 385 (test-ps-js cond-expression-middle-t-clause ;; should this signal a warning?
 386   (defun foo () (return (cond ((< 2 1) 5) (t "foo") ((< 1 2) "bar"))))
 387   "function foo() {
 388     return 2 < 1 ? 5 : 'foo';
 389 }")
 390
 391 (test-ps-js funcall-if-expression
 392   (document.write
 393    (if (= *linkornot* 1)
 394        (ps-html ((:a :href "#"
 395                      :onclick (lisp (ps-inline (transport))))
 396                  img))
 397        img))
 398   "document.write(LINKORNOT == 1 ? '<a href=\"#\" onclick=\"' + 'javascript:transport()' + '\">' + img + '</a>' : img)")
 399
 400 (test-ps-js negate-number-literal ;; ok, this was broken and fixed before, but no one bothered to add the test!
 401   (- 1)
 402   "-1")
 403
 404 (test macro-environment1
 405   (is (string= (normalize-js-code (let* ((macroname (gensym)))
 406                                     (ps* `(defmacro ,macroname (x) `(+ ,x 123))
 407                                          `(defun test1 ()
 408                                            (macrolet ((,macroname (x) `(aref data ,x)))
 409                                              (when (,macroname x)
 410                                                (setf (,macroname x) 123)))))))
 411                (normalize-js-code
 412 "function test1() {
 413     if (data[x]) {
 414         data[x] = 123;
 415     };
 416 };
 417 "))))
 418
 419 (test-ps-js ampersand-whole-1
 420   (macrolet ((foo (&whole foo bar baz)
 421                (declare (ignore bar baz))
 422                (format nil "~a" foo)))
 423     (foo 1 2))
 424   "'(FOO 1 2)';")
 425
 426 (test-ps-js keyword-consistent
 427   :x
 428   "x")
 429
 430 (test-ps-js simple-symbol-macrolet
 431   (symbol-macrolet ((x 1)) x)
 432   "1;")
 433
 434 (test-ps-js compound-symbol-macrolet
 435   (symbol-macrolet ((x 123)
 436                     (y (* 2 x)))
 437      y)
 438   "2 * 123;")
 439
 440 (test-ps-js define-symbol-macro
 441   (progn (define-symbol-macro tst-sym-macro 2)
 442          tst-sym-macro)
 443   "2;")
 444
 445 (test-ps-js expression-progn
 446   (defun f () (return (progn (foo) (if x 1 2))))
 447   "function f() {
 448     return (foo(), x ? 1 : 2);
 449 }")
 450
 451 (test-ps-js let-decl-in-expression
 452   (defun f (x) (return (if x 1 (let* ((foo x)) foo))))
 453   "function f(x) {
 454     var foo;
 455     return x ? 1 : (foo = x, foo);
 456 }")
 457
 458 (test-ps-js special-var1
 459   (progn (defvar *foo*) (let* ((*foo* 2)) (* *foo* 2)))
 460   "var FOO;
 461 var tempstackvar1;
 462 try {
 463     tempstackvar1 = FOO;
 464     FOO = 2;
 465     FOO * 2;
 466 } finally {
 467     FOO = tempstackvar1;
 468     delete tempstackvar1;
 469 };")
 470
 471 (test-ps-js special-var2
 472   (progn (defvar *foo*) (let* ((*baz* 3) (*foo* 2)) (* *foo* 2 *baz*)))
 473   "var FOO;
 474 var BAZ = 3;
 475 var tempstackvar1;
 476 try {
 477     tempstackvar1 = FOO;
 478     FOO = 2;
 479     FOO * 2 * BAZ;
 480 } finally {
 481     FOO = tempstackvar1;
 482     delete tempstackvar1;
 483 };
 484 ")
 485
 486 (test-ps-js literal1
 487   (setf x undefined)
 488   "x = undefined;")
 489
 490 (test-ps-js literal2
 491   (aref this x)
 492   "this[x]")
 493
 494 (test-ps-js setf-dec1
 495   (setf x (- 1 x 2))
 496   "x = 1 - x - 2;")
 497
 498 (test-ps-js setf-dec2
 499   (setf x (- x 1 2))
 500   "x = x - 1 - 2;")
 501
 502 (test-ps-js special-char-equals
 503   blah=
 504   "blahequals")