1 ;;;; This software is part of the SBCL system. See the README file for
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
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.
12 (load "assertoid.lisp")
13 (use-package "ASSERTOID")
15 ;;; Check for correct defaulting of unsupplied parameters to *
16 (deftype opt (&optional arg)
18 (deftype opt-singleton (&optional (arg))
20 (deftype key (&key arg)
22 (deftype key-singleton (&key (arg))
25 (assert (typep 1 'opt))
26 (assert (typep 1 'opt-singleton))
27 (assert (typep 1 'key))
28 (assert (typep 1 'key-singleton))
31 (deftype deftype-with-empty-body ())
32 (assert (subtypep 'deftype-with-empty-body nil))
33 (assert (subtypep nil 'deftype-with-empty-body))