| blob | bac6d51169cce9ba6c4b8d85e4ce6b44c7645f52 |
1 ;;;; This software is part of the SBCL system. See the README file for
2 ;;;; more information.
3 ;;;;
4 ;;;; While most of SBCL is derived from the CMU CL system, the test
5 ;;;; files (like this one) were written from scratch after the fork
6 ;;;; from CMU CL.
7 ;;;;
8 ;;;; This software is in the public domain and is provided with
9 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
10 ;;;; more information.
22 obj
24 type-spec)))))))
31 ;;; This test is motivated by bug #195, which previously had (THE REAL
32 ;;; #(1 2 3)) give an error which prints as "This is not a (OR
33 ;;; SINGLE-FLOAT DOUBLE-FLOAT RATIONAL)". We ideally want all of the
34 ;;; defined-by-ANSI types to unparse as themselves or at least
35 ;;; something similar (e.g. CHARACTER can unparse to BASE-CHAR, since
36 ;;; the types are equivalent in current SBCL, and EXTENDED-CHAR can
37 ;;; unparse to NIL, since there are no EXTENDED-CHARs currently).
39 ;; CLHS.
40 arithmetic-error
41 function
42 simple-condition
43 array
44 generic-function
45 simple-error
46 atom
47 hash-table
48 simple-string
49 base-char
50 integer
51 simple-type-error
52 base-string
53 keyword
54 simple-vector
55 bignum
56 list
57 simple-warning
58 bit
59 logical-pathname
60 single-float
61 bit-vector
62 long-float
63 standard-char
64 broadcast-stream
65 method
66 standard-class
67 built-in-class
68 method-combination
69 standard-generic-function
70 cell-error
71 nil
72 standard-method
73 character
74 null
75 standard-object
76 class
77 number
78 storage-condition
79 compiled-function
80 package
81 stream
82 complex
83 package-error
84 stream-error
85 concatenated-stream
86 parse-error
87 string
88 condition
89 pathname
90 string-stream
91 cons
92 print-not-readable
93 structure-class
94 control-error
95 program-error
96 structure-object
97 division-by-zero
98 random-state
99 style-warning
100 double-float
101 ratio
102 symbol
103 echo-stream
104 rational
105 synonym-stream
106 end-of-file
107 reader-error
108 t
109 error
110 readtable
111 two-way-stream
112 extended-char
113 real
114 type-error
115 file-error
116 restart
117 unbound-slot
118 file-stream
119 sequence
120 unbound-variable
121 fixnum
122 serious-condition
123 undefined-function
124 float
125 short-float
126 unsigned-byte
127 floating-point-inexact
128 signed-byte
129 vector
130 floating-point-invalid-operation
131 simple-array
132 warning
133 floating-point-overflow
134 simple-base-string
135 floating-point-underflow
136 simple-bit-vector)))
142 ;;; a bug underlying the reported bug #221: The SB-KERNEL type code
143 ;;; signalled an error on this expression.
147 ;;; bug reported by Valtteri Vuorik
166 ;;; Absent any exciting generalizations of |R, the type RATIONAL is
167 ;;; partitioned by RATIO and INTEGER. Ensure that the type system
168 ;;; knows about this. [ the type system is permitted to return NIL,
169 ;;; NIL for these, so if future maintenance breaks these tests that
170 ;;; way, that's fine. What the SUBTYPEP calls are _not_ allowed to
171 ;;; return is NIL, T, because that's completely wrong. ]
174 ;;; Likewise, these are allowed to return NIL, NIL, but shouldn't
175 ;;; return NIL, T:
186 ;;; Until sbcl-0.7.13.7, union of CONS types when the CDRs were the
187 ;;; same type gave exceedingly wrong results
197 ;;; bug 46c
231 ;;; Bug, found by Paul F. Dietz
237 ;;; Test derivation of LOG{AND,IOR,XOR} bounds for unsigned arguments.
238 ;;;
239 ;;; Fear the Loop of Doom!
240 ;;;
241 ;;; (In fact, this is such a fearsome loop that executing it with the
242 ;;; evaluator would take ages... Disable it under those circumstances.)
249 for i from a upto b do
252 extreme
258 op minimize)
270 ACTUAL ~D DERIVED ~D~%"
271 op a b c d minimize brute derived)
274 ;;; subtypep on CONS types wasn't taking account of the fact that a
275 ;;; CONS type could be the empty type (but no other non-CONS type) in
276 ;;; disguise.
285 ;;; CONS type subtypep could be too enthusiastic about thinking it was
286 ;;; certain
301 ;;; this would be in some internal test suite like type.before-xc.lisp
302 ;;; except that generic functions don't exist at that stage.
308 ;;; all sorts of answers are right for this one, but it used to
309 ;;; trigger an AVER instead.