Commit acfc501c authored by pfdietz's avatar pfdietz

Added a test that types in *disjoint-type-list* are disjoint. Added some...

Added a test that types in *disjoint-type-list* are disjoint.  Added some objects of type function and random-state to *universe*.
parent d7f72075
......@@ -212,11 +212,10 @@
0)
|#
(deftest types-5
(deftest simple-base-string-is-sequence
(subtypep* 'simple-base-string 'sequence)
t t)
(deftest types-6
(types-6-body)
0)
......@@ -271,6 +270,18 @@
(types-9a-body)
0)
;;;
;;; Check that disjointness of types in *disjoint-types-list*
;;; is respected by all the elements of *universe*
;;;
(deftest universe-elements-in-at-most-one-disjoint-type
(loop for e in *universe*
for types = (remove-if-not #'(lambda (x) (typep e x))
*disjoint-types-list*)
when (> (length types) 1)
collect (list e types))
nil)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; deftype
......
......@@ -286,6 +286,14 @@
(make-bar-structure :x 1 :y 'a :z nil)
))
(defvar *functions*
(list #'cons #'car #'append #'values
(macro-function 'cond)
#'(lambda (x) x)))
(defvar *random-states*
(list (make-random-state)))
(defvar *universe*
(remove-duplicates
(append
......@@ -302,5 +310,7 @@
*streams*
*readtables*
*structures*
*functions*
*random-states*
nil)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment