summaryrefslogtreecommitdiff
path: root/test-suite/tests/ecmascript.test
blob: 9f2731e9f41c7eda745965263520533c015e819f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
;;;; ecmascript.test --- ECMAScript.      -*- mode: scheme; coding: utf-8; -*-
;;;;
;;;; 	Copyright (C) 2010, 2011, 2013, 2016 Free Software Foundation, Inc.
;;;;
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
;;;; License as published by the Free Software Foundation; either
;;;; version 3 of the License, or (at your option) any later version.
;;;;
;;;; This library is distributed in the hope that it will be useful,
;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
;;;; Lesser General Public License for more details.
;;;;
;;;; You should have received a copy of the GNU Lesser General Public
;;;; License along with this library; if not, write to the Free Software
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA

(define-module (test-ecmascript)
  #:use-module (test-suite lib)
  #:use-module (language ecmascript parse)
  #:use-module ((system base compile) #:select (compile)))


(define (eread str)
  (call-with-input-string str read-ecmascript))
(define (eread/1 str)
  (call-with-input-string str read-ecmascript/1))

(define-syntax parse
  (syntax-rules ()
    ((_ expression expected)
     (begin
       (pass-if expression
         (equal? expected (eread expression)))
       (pass-if expression
         (equal? expected (eread/1 expression)))))))

(with-test-prefix "parser"

  (parse "true;" 'true)
  (parse "2 + 2;" '(+ (number 2) (number 2)))
  (parse "2\xa0+2;" '(+ (number 2) (number 2))) ; U+00A0 is whitespace
  (parse "\"hello\";" '(string "hello"))
  (parse "function square(x) { return x * x; }"
         '(var (square (lambda (x) (return (* (ref x) (ref x)))))))
  (parse "document.write('Hello, world!');"
         '(call (pref (ref document) write) ((string "Hello, world!"))))
  (parse "var x = { foo: 12, bar: \"hello\" };"
         '(begin (var (x (object (foo (number 12))
                                 (bar (string "hello")))))
                 (begin)))
  (parse "\"\\x12\";"   ; Latin-1 escape in string literal
         '(string "\x12"))
  (parse "\"\\u1234\";" ; Unicode escape in string literal
         '(string "\u1234"))
  (parse "function foo(x) { }" ; empty function body
         '(var (foo (lambda (x) (begin)))))
  (parse ".123;"  '(number 0.123))
  (parse "0xff;"  '(number 255)))


(define-syntax ecompile
  (syntax-rules ()
    ((_ expression)
     (pass-if expression
       (not (not
             (compile (call-with-input-string expression read-ecmascript)
                      #:from 'ecmascript
                      #:to 'value)))))
    ((_ expression expected)
     (pass-if expression
       (equal? expected
               (compile (call-with-input-string expression read-ecmascript)
                        #:from 'ecmascript
                        #:to 'value))))))

(with-test-prefix "compiler"

  (ecompile "true;" #t)
  (ecompile "if (3 > 2) true; else false;" #t)
  (ecompile "2 + 2;" 4)
  (ecompile "\"hello\";" "hello")
  (ecompile "var test = { bar: 1 };")

  (pass-if "new Object;"
    (not (not
          (compile (call-with-input-string "new Object;" read-ecmascript)
                   #:from 'ecmascript
                   #:to 'tree-il)))) ; Can't reference `Object' as value here

  ;; FIXME: Broken!
  ;; (ecompile "[1,2,3,4].map(function(x) { return x * x; });"
  ;;           '(1 4 9 16))

  ;; Examples from
  ;; <http://wingolog.org/archives/2009/02/22/ecmascript-for-guile>.

  (ecompile "42 + \" good times!\";"
            "42 good times!")
  (ecompile "[0,1,2,3,4,5].length * 7;"
            42))