4fd0c97991875bc1b9dfde2588786ea5dcff97b3
[mes.git] / tests / let-syntax.test
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; let-syntax.test: This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ;;; GNU General Public License for more details.
17 ;;;
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 (mes-use-module (mes base))
22 (mes-use-module (mes quasiquote))
23 (mes-use-module (mes let))
24 (mes-use-module (mes scm))
25 (mes-use-module (mes syntax))
26 (mes-use-module (mes let-syntax))
27 (mes-use-module (mes test))
28
29 (pass-if "first dummy" #t)
30 (pass-if-not "second dummy" #f)
31
32 (pass-if "let-syntax"
33   (seq?
34    (let-syntax ((when (syntax-rules ()
35                         ((when condition exp ...)
36                          (if (not condition)
37                              (begin exp ...))))))
38      (when #f 3))
39    3))
40
41 (pass-if "let-syntax no-leak"
42   (seq?
43    (when #f 3)
44    *unspecified*))
45
46 (pass-if "let-syntax"
47   (sequal?
48    (let-syntax ((when (syntax-rules ()
49                         ((when condition exp ...)
50                          (if (not condition)
51                              (begin exp ...)))))
52                 (unless (syntax-rules ()
53                         ((when condition exp ...)
54                          (if condition
55                              (begin exp ...))))))
56      (list (when #f 0) (unless #t 1)))
57    '(0 1)))
58
59 (result 'report)