5580adf35e4564a7dd7d937fc0fc7f74ea176bee
[mes.git] / tests / srfi-1.test
1 #! /bin/sh
2 # -*-scheme-*-
3 exec ${MES-src/mes} --no-auto-compile -L ${0%/*} -L module -C module -e '(tests srfi-1)' -s "$0" "$@"
4 !#
5
6 ;;; -*-scheme-*-
7
8 ;;; GNU Mes --- Maxwell Equations of Software
9 ;;; Copyright © 2016 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
10 ;;;
11 ;;; This file is part of GNU Mes.
12 ;;;
13 ;;; GNU Mes is free software; you can redistribute it and/or modify it
14 ;;; under the terms of the GNU General Public License as published by
15 ;;; the Free Software Foundation; either version 3 of the License, or (at
16 ;;; your option) any later version.
17 ;;;
18 ;;; GNU Mes is distributed in the hope that it will be useful, but
19 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
20 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
21 ;;; GNU General Public License for more details.
22 ;;;
23 ;;; You should have received a copy of the GNU General Public License
24 ;;; along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
25
26 (define-module (tests srfi-1)
27   #:use-module (srfi srfi-1)
28   #:use-module (mes mes-0)
29   #:use-module (mes test))
30
31 (mes-use-module (srfi srfi-1))
32 (mes-use-module (mes test))
33
34 (pass-if "first dummy" #t)
35 (pass-if-not "second dummy" #f)
36
37 (pass-if-equal "map 1,2"
38                '((0 . a))
39                (map (lambda (x y) (cons x y)) '(0) '(a b)))
40
41 (pass-if-equal "map 2,1"
42                '((0 . a))
43                (map (lambda (x y) (cons x y)) '(0 1) '(a)))
44
45 (pass-if "for-each 1,2"
46          (for-each (lambda (x y) (cons x y)) '(0) '(a b)))
47
48 (pass-if "for-each 2,1"
49          (for-each (lambda (x y) (cons x y)) '(0 1) '(a)))
50
51 (pass-if-equal "fold"
52                '(3 2 1)
53                (fold cons '() '(1 2 3)))
54
55 (pass-if-equal "fold-right"
56                '(1 2 3)
57                (fold-right cons '() '(1 2 3)))
58
59 (pass-if-equal "unfold"
60                '(4 3 2 1 foo)
61                (unfold zero? identity 1- 4 (const '(foo))))
62
63 (pass-if-equal "remove"
64                '(1 3)
65                (remove even? '(1 2 3)))
66
67 (pass-if-equal "append-reverse"
68                '(3 2 1 4 5 6)
69                (append-reverse '(1 2 3) '(4 5 6)))
70
71 (pass-if-equal "member lambda"
72     '(4)
73   (member 2 '(1 4) (lambda (x y) (even? y))))
74
75 (pass-if-not "member ="
76              (member 2 '(1 4) =))
77
78 (pass-if-equal "append-map"
79                '(0 0 1)
80                (append-map iota '(1 2)))
81
82 (pass-if-equal "fold-3"
83                '(1 A a 2 B b 3 C c)
84                (fold cons* '() '(3 2 1) '(C B A) '(c b a)))
85
86 (pass-if-equal "fold-right-3"
87                '(1 A a 2 B b 3 C c)
88                (fold-right cons* '() '(1 2 3) '(A B C) '(a b c)))
89
90 (result 'report)