5 |
|
|
6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
;;; FIXME |
(compile-and-load "types-aux.lsp") |
9 |
;;; Need to add non-error tests |
|
10 |
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
11 |
|
;;; deftype |
12 |
|
|
13 |
|
(deftest deftype.1 |
14 |
|
(typep 1 '(even-array integer (10))) |
15 |
|
nil) |
16 |
|
|
17 |
|
(deftest deftype.2 |
18 |
|
(typep nil '(even-array t (*))) |
19 |
|
nil) |
20 |
|
|
21 |
|
(deftest deftype.3 |
22 |
|
(notnot-mv (typep (make-array '(10)) '(even-array t (*)))) |
23 |
|
t) |
24 |
|
|
25 |
|
(deftest deftype.4 |
26 |
|
(typep (make-array '(5)) '(even-array t (*))) |
27 |
|
nil) |
28 |
|
|
29 |
|
(deftest deftype.5 |
30 |
|
(notnot-mv (typep (make-string 10) '(even-array character (*)))) |
31 |
|
t) |
32 |
|
|
33 |
|
(deftest deftype.6 |
34 |
|
(notnot-mv |
35 |
|
(typep (make-array '(3 5 6) :element-type '(unsigned-byte 8)) |
36 |
|
'(even-array (unsigned-byte 8)))) |
37 |
|
t) |
38 |
|
|
39 |
|
|
40 |
|
;;; Error tests |
41 |
|
|
42 |
(deftest deftype.error.1 |
(deftest deftype.error.1 |
43 |
(signals-error (funcall (macro-function 'deftype)) |
(signals-error (funcall (macro-function 'deftype)) |