1 ;;;; various CHARACTER tests without side effects
3 ;;;; This software is part of the SBCL system. See the README file for
6 ;;;; While most of SBCL is derived from the CMU CL system, the test
7 ;;;; files (like this one) were written from scratch after the fork
10 ;;;; This software is in the public domain and is provided with
11 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
12 ;;;; more information.
14 (cl:in-package :cl-user)
16 (load "assertoid.lisp")
18 ;;; ANSI's specification of #'CHAR-NAME imposes these constraints.
20 ;;; (Obviously, the numeric values in this test implicitly assume
21 ;;; we're using an ASCII-based character set.)
22 (dolist (i '(("Newline" 10)
23 ;; (ANSI also imposes a constraint on the "semi-standard
24 ;; character" "Linefeed", but in ASCII as interpreted by
25 ;; Unix it's shadowed by "Newline" and so doesn't exist
26 ;; as a separate character.)
33 (destructuring-bind (name code) i
34 (let ((named-char (name-char name))
35 (coded-char (code-char code)))
36 (assert (eql named-char coded-char))
37 (assert (characterp named-char))
38 (let ((coded-char-name (char-name coded-char)))
39 (assert (string= name coded-char-name))))))
41 ;;; bug 230: CHAR= didn't check types of &REST arguments
42 (dolist (form '((code-char char-code-limit)
54 (char-equal #\a #\a "b")
58 (assert (raises-error? (apply (car form) (mapcar 'eval (cdr form))) type-error)))