Bit string primitives are missing type checks.

diff --git a/tests/check.scm b/tests/check.scm
index 536dc94ba6b86a1f5b478260ae85289a912346bf..05bfb54d3dffe10043a72f2e01030f8c57976d84 100644 (file)
--- a/tests/check.scm
+++ b/tests/check.scm
@@ -55,6 +55,7 @@ USA.
     "runtime/test-arith"
     "runtime/test-ieee754"
     "runtime/test-binary-port"
+    "runtime/test-bit-string"
     "runtime/test-bundle"
     "runtime/test-bytevector"
     ("runtime/test-char" (runtime))

diff --git a/tests/runtime/test-bit-string.scm b/tests/runtime/test-bit-string.scm
new file mode 100644 (file)
index 0000000..7bbd4d5
--- /dev/null
+++ b/tests/runtime/test-bit-string.scm
@@ -0,0 +1,98 @@
+#| -*-Scheme-*-
+
+Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
+    1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
+    2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016,
+    2017, 2018 Massachusetts Institute of Technology
+
+This file is part of MIT/GNU Scheme.
+
+MIT/GNU Scheme 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 of the License, or (at
+your option) any later version.
+
+MIT/GNU Scheme 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 MIT/GNU Scheme; if not, write to the Free Software
+Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301,
+USA.
+
+|#
+
+;;;; Tests of bit string operations
+
+(declare (usual-integrations))
+\f
+(define (no-op x)
+  x)
+
+(define-test 'bit-string-move!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-move! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
+
+(define-test 'bit-string-movec!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-movec! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
+
+(define-test 'bit-string-or!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-or! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
+
+(define-test 'bit-string-and!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-and! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
+
+(define-test 'bit-string-andc!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-andc! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
+
+(define-test 'bit-string-xor!/type-error
+  (lambda ()
+    (let ((x (no-op #f)))
+      (expect-error
+       (lambda ()
+         (assert-error
+          (lambda ()
+            (bit-string-xor! x (make-bit-string 64 #f)))
+          (list condition-type:wrong-type-argument)))
+       (list condition-type:hardware-trap)))))
\ No newline at end of file