summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Ryde <user42@zip.com.au>2004-04-23 21:17:34 +0000
committerKevin Ryde <user42@zip.com.au>2004-04-23 21:17:34 +0000
commit42b4fcb48d82bb1d656d46feffe39837197857fc (patch)
tree29e3b82306e08cf7b897dca7168a3b0de14a0827
parent7c9da364a4c5d857edc5ec63b59f7a28649087d2 (diff)
downloadguile-42b4fcb48d82bb1d656d46feffe39837197857fc.tar.gz
New file.
-rw-r--r--test-suite/tests/srfi-11.test133
1 files changed, 133 insertions, 0 deletions
diff --git a/test-suite/tests/srfi-11.test b/test-suite/tests/srfi-11.test
new file mode 100644
index 000000000..15cd4ac1b
--- /dev/null
+++ b/test-suite/tests/srfi-11.test
@@ -0,0 +1,133 @@
+;;;; srfi-11.test --- exercise SRFI-11 let-values
+;;;;
+;;;; Copyright 2004 Free Software Foundation, Inc.
+;;;;
+;;;; This program is free software; you can redistribute it and/or modify
+;;;; it under the terms of the GNU General Public License as published by
+;;;; the Free Software Foundation; either version 2, or (at your option)
+;;;; any later version.
+;;;;
+;;;; This program is distributed in the hope that it will be useful,
+;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+;;;; GNU General Public License for more details.
+;;;;
+;;;; You should have received a copy of the GNU General Public License
+;;;; along with this software; see the file COPYING. If not, write to
+;;;; the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
+;;;; Boston, MA 02111-1307 USA
+
+(define-module (test-suite test-srfi-11)
+ #:use-module (test-suite lib)
+ #:use-module (srfi srfi-11))
+
+
+;;
+;; let-values
+;;
+
+(with-test-prefix "let-values"
+
+ (with-test-prefix "no exprs"
+
+ (pass-if "no values"
+ (let-values ()
+ #t)))
+
+ (with-test-prefix "one expr"
+
+ (pass-if "no values"
+ (let-values ((() (values)))
+ #t))
+
+ (pass-if "one value"
+ (let-values (((x) (values 1)))
+ (equal? x 1)))
+
+ (pass-if "one value as rest"
+ (let-values ((x (values 1)))
+ (equal? x '(1))))
+
+ (pass-if "two values"
+ (let-values (((x y) (values 1 2)))
+ (and (equal? x 1)
+ (equal? y 2)))))
+
+ (with-test-prefix "two exprs"
+
+ (pass-if "no values each"
+ (let-values ((() (values))
+ (() (values)))
+ #t))
+
+ (pass-if "one value / no values"
+ (let-values (((x) (values 1))
+ (() (values)))
+ (equal? x 1)))
+
+ (pass-if "one value each"
+ (let-values (((x) (values 1))
+ ((y) (values 2)))
+ (and (equal? x 1)
+ (equal? y 2))))
+
+ (pass-if-exception "first binding invisible to second expr"
+ '(unbound-variable . ".*")
+ (let-values (((x) (values 1))
+ ((y) (values (1+ x))))
+ #f))))
+
+;;
+;; let*-values
+;;
+
+(with-test-prefix "let*-values"
+
+ (with-test-prefix "no exprs"
+
+ (pass-if "no values"
+ (let*-values ()
+ #t)))
+
+ (with-test-prefix "one expr"
+
+ (pass-if "no values"
+ (let*-values ((() (values)))
+ #t))
+
+ (pass-if "one value"
+ (let*-values (((x) (values 1)))
+ (equal? x 1)))
+
+ (pass-if "one value as rest"
+ (let-values ((x (values 1)))
+ (equal? x '(1))))
+
+ (pass-if "two values"
+ (let*-values (((x y) (values 1 2)))
+ (and (equal? x 1)
+ (equal? y 2)))))
+
+ (with-test-prefix "two exprs"
+
+ (pass-if "no values each"
+ (let*-values ((() (values))
+ (() (values)))
+ #t))
+
+ (pass-if "one value / no values"
+ (let*-values (((x) (values 1))
+ (() (values)))
+ (equal? x 1)))
+
+ (pass-if "one value each"
+ (let*-values (((x) (values 1))
+ ((y) (values 2)))
+ (and (equal? x 1)
+ (equal? y 2))))
+
+ (pass-if "first binding visible to second expr"
+ (let*-values (((x) (values 1))
+ ((y) (values (1+ x))))
+ (and (equal? x 1)
+ (equal? y 2))))))