test: More values, call-with-values tests.
[mes.git] / tests / cwv.test
1 #! /bin/sh
2 # -*-scheme-*-
3 echo ' ()' | cat $($(dirname $0)/../scripts/include.mes $0) $0 /dev/stdin | $(dirname $0)/../scripts/mes "$@"
4 #paredit:||
5 exit $?
6 !#
7
8 ;;; -*-scheme-*-
9
10 ;;; Mes --- Maxwell Equations of Software
11 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
12 ;;;
13 ;;; scm.test: This file is part of Mes.
14 ;;;
15 ;;; Mes is free software; you can redistribute it and/or modify it
16 ;;; under the terms of the GNU General Public License as published by
17 ;;; the Free Software Foundation; either version 3 of the License, or (at
18 ;;; your option) any later version.
19 ;;;
20 ;;; Mes is distributed in the hope that it will be useful, but
21 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
22 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
23 ;;; GNU General Public License for more details.
24 ;;;
25 ;;; You should have received a copy of the GNU General Public License
26 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
27
28 (mes-use-module (mes base-0))
29 (mes-use-module (mes base))
30 (mes-use-module (mes quasiquote))
31 (mes-use-module (mes let))
32 (mes-use-module (srfi srfi-0))
33 (mes-use-module (mes scm))
34 (mes-use-module (mes test))
35
36 (if guile?
37   (use-modules (srfi srfi-1)))
38
39 (pass-if "values" (seq? (values 0 1) 0))
40 (pass-if "values 2" (seq? ((lambda (x) x) (values 1 2 3)) 1))
41 (pass-if "values 3" (seq? 1 ((lambda (x) x) (values 1 2 3))))
42 (pass-if "call-with-values" (seq? (call-with-values (lambda () (values 1 2 3))
43                                     (lambda (a b c) (+ a b c)))
44                                   6))
45
46 (pass-if-equal "values 5"
47     '(1 2 3 4 5)
48     (call-with-values
49      (lambda ()
50        (values 1 2 3 4 5))
51    (lambda (one two three four five)
52      (list one two three four five))))
53
54 (pass-if-equal "values rests"
55     1
56     (call-with-values
57      (lambda ()
58        (values 1 2 3 4 5))
59      (lambda (one . rest)
60        one)))
61
62 (pass-if-equal "values 4a 4b"
63     '(1 2 3 four-a 5)
64  ((lambda (one two three four five)
65     (append
66      (list one two three)
67      (call-with-values
68          (lambda () four)
69        (lambda (4a . 4b)
70          ;;(cons 4a 4b) FIXME: non-compliancy?
71          (list 4a)
72 ))
73      (list five)))
74   1 2 3 (values 'four-a 'four-b) 5))
75
76 (result 'report)