/[gcl]/gcl/ansi-tests/deftype.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/deftype.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by pfdietz, Sat Jan 17 12:44:01 2004 UTC revision 1.3 by pfdietz, Sun May 22 01:11:40 2005 UTC
# Line 5  Line 5 
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))

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26