Boolean Lisp<->Javascript conversion
[jscl.git] / tests / read.lisp
1 ;; TODO: Uncomment when either read-from-string supports all these parameters
2 ;; or when test macro supports error handling, whichever comes first
3 ;; (test (equal (read-from-string " 1 3 5" t nil :start 2) (values 3 5)))
4 (expected-failure
5  (equal (multiple-value-list (read-from-string "(a b c)"))
6         '((A B C) 7)))
7
8 (test (equal (symbol-name (read-from-string "cl:cond")) "COND"))
9 (test (equal (symbol-name (read-from-string "co|N|d")) "COND"))
10 (test (equal (symbol-name (read-from-string "abc\\def")) "ABCdEF"))
11 (test (equal (symbol-name (read-from-string "|.|")) "."))
12 (test (equal (read-from-string "(1 .25)") '(1 0.25)))
13 (test (equal (read-from-string ".25") 0.25))
14 (test (equal (read-from-string "(1 . 25)") '(1 . 25)))
15
16 (test (equal (read-from-string "(#1=99 2 3 #1#)") '(99 2 3 99)))
17 (let ((v (read-from-string "#(#1=99 2 3 #1#)")))
18   (test (and (eql (aref v 0) 99)
19              (eql (aref v 1) 2)
20              (eql (aref v 2) 3)
21              (eql (aref v 3) 99))))
22
23 (test (let ((x (read-from-string "#1=(42 . #1#)")))
24         (and (eql (nth 99 x) 42)
25              (progn
26                (rplaca x 13)
27                (eql (nth 99 x) 13))
28              (eq x (cdr x)))))
29
30 (test (let ((x (read-from-string "#1=#(1 #2=99 #1# #2#)")))
31         (and (eql (aref x 0) 1)
32              (eql (aref x 1) 99)
33              (eq (aref x 2) x)
34              (eql (aref x 3) 99))))
35
36 (test (let ((x (read-from-string "#1=(1 2 #2=#(3 4 #1#) 5 #2#)")))
37         (and (eql (nth 0 x) 1)
38              (eql (nth 1 x) 2)
39              (eql (aref (nth 2 x) 0) 3)
40              (eql (aref (nth 2 x) 1) 4)
41              (eq (aref (nth 2 x) 2) x)
42              (eql (nth 3 x) 5)
43              (eq (nth 4 x) (nth 2 x)))))
44