1 ;;;; This file contains the implementation specific type
2 ;;;; transformation magic. Basically, the various non-standard
3 ;;;; predicates that can be used in TYPEP transformations.
5 ;;;; This software is part of the SBCL system. See the README file for
8 ;;;; This software is derived from the CMU CL system, which was
9 ;;;; written at Carnegie Mellon University and released into the
10 ;;;; public domain. The software is in the public domain and is
11 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
12 ;;;; files for more information.
16 ;;;; internal predicates
18 ;;; These type predicates are used to implement simple cases of TYPEP.
19 ;;; They shouldn't be used explicitly.
20 (define-type-predicate base-char-p base-char)
21 (define-type-predicate bignump bignum)
22 (define-type-predicate complex-double-float-p (complex double-float))
23 (define-type-predicate complex-single-float-p (complex single-float))
25 (define-type-predicate complex-long-float-p (complex long-float))
26 ;;; (COMPLEX-VECTOR-P isn't here because it's not so much a Lisp-level
27 ;;; type predicate as just a hack to get at the type code so that we
28 ;;; can implement some primitive stuff in Lisp.)
29 (define-type-predicate double-float-p double-float)
30 (define-type-predicate fixnump fixnum)
31 (define-type-predicate long-float-p long-float)
32 (define-type-predicate ratiop ratio)
33 (define-type-predicate short-float-p short-float)
34 (define-type-predicate single-float-p single-float)
35 (define-type-predicate simple-array-p simple-array)
36 (define-type-predicate simple-array-nil-p (simple-array nil (*)))
37 (define-type-predicate simple-array-unsigned-byte-2-p
38 (simple-array (unsigned-byte 2) (*)))
39 (define-type-predicate simple-array-unsigned-byte-4-p
40 (simple-array (unsigned-byte 4) (*)))
41 (define-type-predicate simple-array-unsigned-byte-8-p
42 (simple-array (unsigned-byte 8) (*)))
43 (define-type-predicate simple-array-unsigned-byte-16-p
44 (simple-array (unsigned-byte 16) (*)))
45 (define-type-predicate simple-array-unsigned-byte-32-p
46 (simple-array (unsigned-byte 32) (*)))
47 (define-type-predicate simple-array-signed-byte-8-p
48 (simple-array (signed-byte 8) (*)))
49 (define-type-predicate simple-array-signed-byte-16-p
50 (simple-array (signed-byte 16) (*)))
51 (define-type-predicate simple-array-signed-byte-30-p
52 (simple-array (signed-byte 30) (*)))
53 (define-type-predicate simple-array-signed-byte-32-p
54 (simple-array (signed-byte 32) (*)))
55 (define-type-predicate simple-array-single-float-p
56 (simple-array single-float (*)))
57 (define-type-predicate simple-array-double-float-p
58 (simple-array double-float (*)))
60 (define-type-predicate simple-array-long-float-p
61 (simple-array long-float (*)))
62 (define-type-predicate simple-array-complex-single-float-p
63 (simple-array (complex single-float) (*)))
64 (define-type-predicate simple-array-complex-double-float-p
65 (simple-array (complex double-float) (*)))
67 (define-type-predicate simple-array-complex-long-float-p
68 (simple-array (complex long-float) (*)))
69 (define-type-predicate system-area-pointer-p system-area-pointer)
70 (define-type-predicate unsigned-byte-32-p (unsigned-byte 32))
71 (define-type-predicate signed-byte-32-p (signed-byte 32))
72 (define-type-predicate vector-t-p (vector t))
73 (define-type-predicate weak-pointer-p weak-pointer)
74 (define-type-predicate code-component-p code-component)
75 (define-type-predicate lra-p lra)
76 (define-type-predicate fdefn-p fdefn)
78 ;;; Unlike the un-%'ed versions, these are true type predicates,
79 ;;; accepting any type object.
80 (define-type-predicate %standard-char-p standard-char)