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))