summaryrefslogtreecommitdiff
path: root/test-suite/tests/srfi-11.test
diff options
context:
space:
mode:
Diffstat (limited to 'test-suite/tests/srfi-11.test')
-rw-r--r--test-suite/tests/srfi-11.test132
1 files changed, 132 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..40563dc18
--- /dev/null
+++ b/test-suite/tests/srfi-11.test
@@ -0,0 +1,132 @@
+;;;; srfi-11.test --- exercise SRFI-11 let-values
+;;;;
+;;;; Copyright 2004, 2006 Free Software Foundation, Inc.
+;;;;
+;;;; This library is free software; you can redistribute it and/or
+;;;; modify it under the terms of the GNU Lesser General Public
+;;;; License as published by the Free Software Foundation; either
+;;;; version 3 of the License, or (at your option) any later version.
+;;;;
+;;;; This library 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
+;;;; Lesser General Public License for more details.
+;;;;
+;;;; You should have received a copy of the GNU Lesser General Public
+;;;; License along with this library; if not, write to the Free Software
+;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 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))))))