7c9e987aa535e0e08bf8144d4335047489277477
[mes.git] / tests / let.test
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; let.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 test))
25
26 (pass-if "first dummy" #t)
27 (pass-if-not "second dummy" #f)
28
29 (let () (define *top-let-a* '*top-let-a*) #f)
30 (pass-if "top let " (seq? (and (defined? '*top-let-a*) *top-let-a*) #f))
31
32 (pass-if "let loop"
33   (sequal?
34    (let loop ((lst '(3 2 1)))
35      (cond ((null? lst) '())
36            (#t (cons (car lst) (loop (cdr lst))))))
37    '(3 2 1)))
38
39 (pass-if "let* comments"
40   (seq? (let* ((aa 2)
41                (bb (+ aa 3))
42                #! boo !#
43                ;;(bb 4)
44                )
45           bb)
46         5))
47
48 (pass-if "letrec"
49   (seq?
50    (letrec ((factorial (lambda (n)
51                          (cond ((= n 1) 1)
52                                (#t (* n (factorial (- n 1))))))))
53      (factorial 4))
54    24))
55
56 (result 'report)
57