| /dports/lang/sbcl/sbcl-1.3.13/tests/ |
| H A D | type.impure.lisp | 69 (and (subtypep x y)
70 (subtypep y x)))
133 (assert (subtypep 'ratio 'real))
134 (assert (subtypep 'ratio 'number))
170 (assert-t-t (subtypep 'nil 'nil))
171 (assert-t-t (subtypep 'nil 'atom))
172 (assert-t-t (subtypep 'nil 't))
175 (assert-t-t (subtypep 'atom 't))
176 (assert-nil-t (subtypep 't 'nil))
178 (assert-t-t (subtypep 't 't))
[all …]
|
| H A D | compound-cons.impure.lisp | 51 (assert (subtypep '(cons t) 'cons))
52 (assert (subtypep 'cons '(cons t)))
53 (assert (subtypep '(cons t *) 'cons))
54 (assert (subtypep 'cons '(cons t *)))
55 (assert (subtypep '(cons * *) 'cons))
56 (assert (subtypep 'cons '(cons * *)))
58 (assert (subtypep '(cons number *) 'cons))
59 (assert (not (subtypep 'cons '(cons number *))))
60 (assert (subtypep '(cons * number) 'cons))
61 (assert (not (subtypep 'cons '(cons * number))))
[all …]
|
| H A D | type.pure.lisp | 161 (assert (subtypep '(function)
164 (subtypep '(function)
180 (assert (subtypep t '(or real (not real))))
188 (assert (subtypep '(rational 0 10)
212 (assert (subtypep 'nil '(complex nil)))
213 (assert (subtypep '(complex nil) 'nil))
306 (subtypep '(and function stream) 'nil)
320 (subtypep '(cons (satisfies foo) t)
326 (subtypep 'generic-function 'function)
464 (assert (subtypep `(or (integer * -1)
[all …]
|
| H A D | gray-streams.impure.lisp | 19 (assert (subtypep 'fundamental-stream 'stream))
20 (assert (subtypep 'fundamental-stream 'standard-object))
22 (assert (subtypep 'fundamental-input-stream 'fundamental-stream))
27 (assert (subtypep 'fundamental-character-input-stream
29 (assert (subtypep 'fundamental-character-input-stream
31 (assert (subtypep 'fundamental-character-output-stream
33 (assert (subtypep 'fundamental-character-output-stream
36 (assert (subtypep 'fundamental-binary-input-stream
38 (assert (subtypep 'fundamental-binary-input-stream
40 (assert (subtypep 'fundamental-binary-output-stream
[all …]
|
| H A D | extended-sequences.impure.lisp | 20 (with-test (:name (sb-kernel:extended-sequence subtypep :relations))
23 (multiple-value-list (subtypep type1 type2))))))
24 (subtypep 'sb-kernel:extended-sequence 'sb-kernel:instance)
25 (subtypep 'sb-kernel:instance 'sb-kernel:extended-sequence)
27 (subtypep 'sb-kernel:extended-sequence 'sb-kernel:funcallable-instance)
28 (subtypep 'sb-kernel:funcallable-instance 'sb-kernel:extended-sequence)))
|
| H A D | deftype.impure.lisp | 32 (assert (subtypep 'deftype-with-empty-body nil))
33 (assert (subtypep nil 'deftype-with-empty-body))
38 (assert (subtypep 'deftype.atom-body t))
39 (assert (subtypep t 'deftype.atom-body)))
|
| H A D | string.pure.lisp | 56 (assert (subtypep (class-of (make-array 1 :element-type nil))
58 (assert (subtypep (class-of (make-array 2 :element-type nil :fill-pointer 1))
69 (assert (subtypep (type-of (make-array 2 :element-type nil)) 'simple-string))
70 (assert (subtypep (type-of (make-array 4 :element-type nil :fill-pointer t))
|
| H A D | mop-28.impure.lisp | 52 (class (when (subtypep class specializer)
61 (when (subtypep class c)
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/tests/ |
| H A D | type.tst | 332 (subtypep nil 'fixnum) t
336 (subtypep 'long-float 'float ) t
338 (subtypep 'null 'symbol) t
339 (subtypep 'null 'list) t
340 (subtypep 'cons 'list) t
346 (subtypep 'string 'vector) t
348 (subtypep 'bit-vector 'vector) t
349 (subtypep 'vector 'array) t
362 (subtypep 'bit-vector 'vector) t
368 (subtypep 'integer '*) ERROR
[all …]
|
| H A D | hash-classes.lisp | 30 thereis (subtypep class (find-class 'hash-object)))
45 thereis (subtypep class (find-class 'hash-object))))
|
| /dports/cad/verilator/verilator-4.216/src/ |
| H A D | V3TraceDecl.cpp | 250 AstNodeDType* const subtypep = nodep->subDTypep()->skipRefToEnump(); in visit() local
259 m_traValuep->dtypep(subtypep); in visit()
260 iterate(subtypep); in visit()
275 AstNodeDType* const subtypep = nodep->subDTypep()->skipRefToEnump(); in visit() local
283 (i - nodep->lo()) * subtypep->width(), subtypep->width()); in visit()
284 m_traValuep->dtypep(subtypep); in visit()
285 iterate(subtypep); in visit()
316 itemp->lsb(), subtypep->width()); in visit()
317 m_traValuep->dtypep(subtypep); in visit()
318 iterate(subtypep); in visit()
[all …]
|
| H A D | V3Coverage.cpp | 341 const AstNodeDType* const subtypep = adtypep->subDTypep()->skipRefp(); in toggleVarRecurse() local
345 index_code * subtypep->width(), subtypep->width()), in toggleVarRecurse()
347 index_code * subtypep->width(), subtypep->width())); in toggleVarRecurse()
356 AstNodeDType* const subtypep = itemp->subDTypep()->skipRefp(); in toggleVarRecurse() local
360 index_code, subtypep->width()), in toggleVarRecurse()
362 index_code, subtypep->width())); in toggleVarRecurse()
363 toggleVarRecurse(subtypep, depth + 1, newent, varp, chgVarp); in toggleVarRecurse()
369 AstNodeDType* const subtypep = itemp->subDTypep()->skipRefp(); in toggleVarRecurse() local
373 toggleVarRecurse(subtypep, depth + 1, newent, varp, chgVarp); in toggleVarRecurse()
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/src/ |
| H A D | subtypep.lisp | 1602 (typespec-error 'subtypep type))
1610 (typespec-error 'subtypep type))
1616 (typespec-error 'subtypep type))
1620 (typespec-error 'subtypep type))
1627 (typespec-error 'subtypep type))
1638 (typespec-error 'subtypep type))
1648 (typespec-error 'subtypep type))
1655 (typespec-error 'subtypep type))
1664 (typespec-error 'subtypep type))
1788 (t (typespec-error 'subtypep type))))
[all …]
|
| H A D | defs2.lisp | 253 ((or (subtypep seltype 'INTEGER) (subtypep veltype 'INTEGER))
273 ((or (subtypep seltype 'INTEGER) (subtypep veltype 'INTEGER))
423 (or (subtypep typespec 'LIST) (subtypep typespec 'VECTOR))
|
| H A D | type.lisp | 106 (t (if (subtypep type 'NIL)
120 (if (subtypep type 'CHARACTER)
157 (if (subtypep type 'REAL)
907 (typespec-error 'subtypep type))
1065 (typespec-error 'subtypep type))
1074 (typespec-error 'subtypep type))
1088 (typespec-error 'subtypep type))
1092 (typespec-error 'subtypep type))
1096 (typespec-error 'subtypep type))
1100 (typespec-error 'subtypep type))
[all …]
|
| /dports/lang/sbcl/sbcl-1.3.13/src/code/ |
| H A D | cross-type.lisp | 59 (when (or (subtypep 'single-float 'double-float)
60 (subtypep 'double-float 'single-float))
65 (cond ((or (subtypep raw-result 'float)
66 (subtypep raw-result 'complex))
70 ((subtypep raw-result 'integer)
80 ((subtypep raw-result 'simple-string)
82 ((subtypep raw-result 'string) 'base-string)
83 ((some (lambda (type) (subtypep raw-result type))
166 (subtypep target-type 'structure!object))
|
| H A D | target-extensions.lisp | 101 (aver (subtypep simple-error 'simple-condition))
102 (aver (subtypep simple-error 'error))
|
| /dports/databases/pgloader3/flexi-streams-20200925-git/ |
| H A D | lw-char-stream.lisp | 60 (unless (subtypep (stream-element-type stream) 'octet)
73 (unless (subtypep (stream-element-type stream) 'octet)
|
| H A D | stream.lisp | 60 (unless (or (subtypep element-type 'character)
61 (subtypep element-type 'octet))
76 (unless (or (subtypep new-value 'character)
|
| /dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/ |
| H A D | type.lisp | 106 (t (if (subtypep type 'NIL)
120 (if (subtypep type 'CHARACTER)
157 (if (subtypep type 'REAL)
912 (typespec-error 'subtypep type))
1070 (typespec-error 'subtypep type))
1079 (typespec-error 'subtypep type))
1093 (typespec-error 'subtypep type))
1097 (typespec-error 'subtypep type))
1101 (typespec-error 'subtypep type))
1105 (typespec-error 'subtypep type))
[all …]
|
| /dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/ |
| H A D | type.lisp | 106 (t (if (subtypep type 'NIL)
120 (if (subtypep type 'CHARACTER)
157 (if (subtypep type 'REAL)
912 (typespec-error 'subtypep type))
1070 (typespec-error 'subtypep type))
1079 (typespec-error 'subtypep type))
1093 (typespec-error 'subtypep type))
1097 (typespec-error 'subtypep type))
1101 (typespec-error 'subtypep type))
1105 (typespec-error 'subtypep type))
[all …]
|
| /dports/databases/pgloader3/alexandria-20200925-git/alexandria-1/ |
| H A D | types.lisp | 126 (multiple-value-bind (sub ok) (subtypep type1 type2)
128 (subtypep type2 type1))
132 (multiple-value-bind (sub ok) (subtypep type2 type1)
|
| /dports/devel/cl-alexandria/alexandria-f35e232ceb2ada8d10e7fdf27ccac07f781eea0e/alexandria-1/ |
| H A D | types.lisp | 126 (multiple-value-bind (sub ok) (subtypep type1 type2)
128 (subtypep type2 type1))
132 (multiple-value-bind (sub ok) (subtypep type2 type1)
|
| /dports/databases/pgloader3/cl-containers-20200427-git/dev/ |
| H A D | dynamic-classes.lisp | 105 (subtypep other-class class)))
213 (not (subtypep class dynamic-class))))
219 (subtypep dynamic-class class-name))
|
| /dports/lang/abcl/abcl-src-1.8.0/src/org/armedbear/lisp/ |
| H A D | make-sequence.lisp | 118 (cond ((or (not (atom type)) (subtypep type 'array))
122 ((and class (subtypep type 'sequence))
|