317 |
(not (macro-function 'deftype)) |
(not (macro-function 'deftype)) |
318 |
nil) |
nil) |
319 |
|
|
320 |
|
(deftest typep-nil-null |
321 |
|
(not (not (typep nil 'null))) |
322 |
|
t) |
323 |
|
|
324 |
|
(deftest typep-t-null |
325 |
|
(typep t 'null) |
326 |
|
nil) |
327 |
|
|
328 |
;;; Special cases of types-6 that are/were causing problems in CMU CL |
;;; Special cases of types-6 that are/were causing problems in CMU CL |
329 |
|
|
330 |
(deftest keyword-is-subtype-of-atom |
(deftest keyword-is-subtype-of-atom |
338 |
(deftest extended-char-is-subtype-of-atom |
(deftest extended-char-is-subtype-of-atom |
339 |
(subtypep* 'extended-char 'atom) |
(subtypep* 'extended-char 'atom) |
340 |
t t) |
t t) |
341 |
|
|
342 |
|
;;; Error checking of type-related functions |
343 |
|
|
344 |
|
(deftest subtypep.error.1 |
345 |
|
(classify-error (subtypep)) |
346 |
|
program-error) |
347 |
|
|
348 |
|
(deftest subtypep.error.2 |
349 |
|
(classify-error (subtypep t)) |
350 |
|
program-error) |
351 |
|
|
352 |
|
(deftest subtypep.error.3 |
353 |
|
(classify-error (subtypep t t nil nil)) |
354 |
|
program-error) |
355 |
|
|
356 |
|
(deftest type-of.error.1 |
357 |
|
(classify-error (type-of)) |
358 |
|
program-error) |
359 |
|
|
360 |
|
(deftest type-of.error.2 |
361 |
|
(classify-error (type-of nil nil)) |
362 |
|
program-error) |
363 |
|
|
364 |
|
(deftest typep.error.1 |
365 |
|
(classify-error (typep)) |
366 |
|
program-error) |
367 |
|
|
368 |
|
(deftest typep.error.2 |
369 |
|
(classify-error (typep nil)) |
370 |
|
program-error) |
371 |
|
|
372 |
|
(deftest typep.error.3 |
373 |
|
(classify-error (typep nil t nil nil)) |
374 |
|
program-error) |
375 |
|
|
376 |
|
(deftest type-error-datum.error.1 |
377 |
|
(classify-error (type-error-datum)) |
378 |
|
program-error) |
379 |
|
|
380 |
|
(deftest type-error-datum.error.2 |
381 |
|
(classify-error |
382 |
|
(let ((c (make-condition 'type-error :datum nil |
383 |
|
:expected-type t))) |
384 |
|
(type-error-datum c nil))) |
385 |
|
program-error) |
386 |
|
|
387 |
|
(deftest type-error-expected-type.error.1 |
388 |
|
(classify-error (type-error-expected-type)) |
389 |
|
program-error) |
390 |
|
|
391 |
|
(deftest type-error-expected-type.error.2 |
392 |
|
(classify-error |
393 |
|
(let ((c (make-condition 'type-error :datum nil |
394 |
|
:expected-type t))) |
395 |
|
(type-error-expected-type c nil))) |
396 |
|
program-error) |
397 |
|
|