096de29e078679fd9112c3c8a8adff560c80a888
[mes.git] / tests / closure.test
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; closure.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 test))
23
24 (pass-if "first dummy" #t)
25 (pass-if-not "second dummy" #f)
26
27 (define b 0)
28 (define x (lambda () b))
29 (define (x) b)
30 (pass-if "closure" (seq? (x) 0))
31 (define (c b)
32   (x))
33 (pass-if "closure 2" (seq? (c 1) 0))
34
35 (define (x)
36   (define b 1)
37   (define (y) b)
38   (set! b 0)
39   (list b
40         (let ((b 2))
41           (y))))
42
43 (pass-if "closure 3" (sequal? (x) '(0 0)))
44
45 (pass-if "closure 4 "
46   (seq? (let ()
47           (let ((count (let ((counter 0))
48                          (lambda ()
49                            counter))))
50             (count)))
51         0))
52
53 (pass-if "closure 5 "
54          (seq?
55           (let ()
56             (define name? 2)
57             (define (foo)
58               (define name? 0)
59               (lambda () name?))
60             ((foo)))
61           0))
62
63 (pass-if "closure 6 "
64          (seq?
65           (let ()
66             (define foo
67               (lambda ()
68                 (define name? symbol?)
69                 (lambda ()
70                   (name? 'boo))))
71             ((foo)))
72                #t))