Refactor quasiquote.
[mes.git] / tests / quasiquote.test
1 #! /bin/sh
2 # -*-scheme-*-
3 echo ' ()' | cat $(dirname $0)/../module/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/../scripts/mes $MES_FLAGS "$@"
4 #paredit:||
5 exit $?
6 !#
7
8 ;;; -*-scheme-*-
9
10 ;;; Mes --- Maxwell Equations of Software
11 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
12 ;;;
13 ;;; This file is part of Mes.
14 ;;;
15 ;;; Mes is free software; you can redistribute it and/or modify it
16 ;;; under the terms of the GNU General Public License as published by
17 ;;; the Free Software Foundation; either version 3 of the License, or (at
18 ;;; your option) any later version.
19 ;;;
20 ;;; Mes is distributed in the hope that it will be useful, but
21 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
22 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
23 ;;; GNU General Public License for more details.
24 ;;;
25 ;;; You should have received a copy of the GNU General Public License
26 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
27
28 (mes-use-module (mes base))
29 (mes-use-module (mes quasiquote))
30 (mes-use-module (mes test))
31
32 (pass-if "first dummy" #t)
33 (pass-if-not "second dummy" #f)
34
35 (pass-if "quasiquote" `#t)
36 (pass-if-not "quasiquote 2" `#f)
37 (pass-if "quasiquote 3" (seq? `1 1))
38 (pass-if "quasiquote 4" (sequal? '`0 '(quasiquote 0)))
39 (pass-if "unquote" (let ((x 0)) (sequal? `,x 0)))
40 (pass-if "unquote 1" (let ((b 1)) (sequal? `(a ,b c) '(a 1 c))))
41 (pass-if "unquote 2" (sequal? `,(list 1 2 3 4) '(1 2 3 4)))
42 (pass-if "unquote 3" (sequal? `(1 2 '(,(+ 1 2))) '(1 2 '(3))))
43
44 (pass-if "unquote-splicing" (let ((b 1) (c '(2 3))) (sequal? `(a ,b ,@c) '(a 1 2 3))))
45 (pass-if "unquote-splicing 2" (sequal? `('boo ,@'(bah baz) 1 2) '((quote boo) bah baz 1 2)))
46 (pass-if "unquote-splicing 3" (sequal? `(1 ,@(list 2 3) 4) '(1 2 3 4)))
47 (pass-if "unquote-splicing 4" (sequal? (let ((s-r '(2 3))) `(1 ,@s-r 4)) '(1 2 3 4)))
48
49 ;; From R6RS spec
50 (pass-if-equal "qq 0" '(list 3 4)
51   `(list ,(+ 1 2) 4))
52 (pass-if-equal "qq 1" '(list a (quote a))
53   (let ((name 'a))
54     `(list ,name ',name)) )
55 (pass-if-equal "qq 2" '(a 3 4 5 6 b)
56   `(a ,(+ 1 2) ,@(map abs '(4 -5 6)) b))
57 (pass-if-equal "qq 3" '((foo 7) . cons)
58   `((foo ,(- 10 3)) ,@(cdr '(c)) . ,(car '(cons))))
59 (pass-if-equal "qq 4" '#(10 5 #t #t #f #f #f 8)
60   `#(10 5 ,(even? 4) ,@(map even? '(2 3 5 7)) 8))
61 ;; (pass-if-equal "qq 5" '(foo foo foo)
62 ;;   (let ((name 'foo))
63 ;;     `((unquote name name name))))
64 ;; (pass-if-equal "qq 6" '(foo foo foo)
65 ;;   (let ((name '(foo)))
66 ;;     `((unquote-splicing name name name))))
67 ;; (pass-if-equal "qq 7" '`(foo (unquote (append x y) (even? 9)))
68 ;;   (let ((q '((append x y) (even? 9))))
69 ;;     ``(foo ,,@q)))
70 ;; (pass-if-equal "qq 8" '(foo (2 3 4 5) #f)
71 ;;   (let ((x '(2 3))
72 ;;         (y '(4 5)))
73 ;;     `(foo (unquote (append x y) (even? 9)))))
74 ;; (pass-if-equal "qq 9" '(a `(b ,(+ 1 2) ,(foo 4 d) e) f)
75 ;;   `(a `(b ,(+ 1 2) ,(foo ,(+ 1 3) d) e) f))
76 ;; (pass-if-equal "qq 10" '(a `(b ,x ,'y d) e)
77 ;;   (let ((name1 'x)
78 ;;         (name2 'y))
79 ;;     `(a `(b ,,name1 ,',name2 d) e)))
80
81 (result 'report)