0.pre7.89:

[sbcl.git] / tests / character.pure.lisp

diff --git a/tests/character.pure.lisp b/tests/character.pure.lisp
new file mode 100644 (file)
index 0000000..cc6f397
--- /dev/null
+++ b/tests/character.pure.lisp
@@ -0,0 +1,37 @@
+;;;; various CHARACTER tests without side-effects
+
+;;;; This software is part of the SBCL system. See the README file for
+;;;; more information.
+;;;;
+;;;; While most of SBCL is derived from the CMU CL system, the test
+;;;; files (like this one) were written from scratch after the fork
+;;;; from CMU CL.
+;;;; 
+;;;; This software is in the public domain and is provided with
+;;;; absolutely no warranty. See the COPYING and CREDITS files for
+;;;; more information.
+
+(cl:in-package :cl-user)
+
+;;; ANSI's specification of #'CHAR-NAME imposes these constraints.
+;;;
+;;; (Obviously, the numeric values in this test implicitly assume
+;;; we're using an ASCII-based character set.)
+(dolist (i '(("Newline" 10)
+            ;; (ANSI also imposes a constraint on the "semi-standard
+            ;; character" "Linefeed", but in ASCII as interpreted by
+            ;; Unix it's shadowed by "Newline" and so doesn't exist
+            ;; as a separate character.)
+            ("Space" 32)
+            ("Tab" 9)
+            ("Page" 12)
+            ("Rubout" 127)
+            ("Return" 13)
+            ("Backspace" 8)))
+  (destructuring-bind (name code) i
+    (let ((named-char (name-char name))
+         (coded-char (code-char code)))
+      (assert (eql named-char coded-char))
+      (assert (characterp named-char))
+      (let ((coded-char-name (char-name coded-char)))
+       (assert (string= name coded-char-name))))))