Commit 8514d8e6 authored by Alexander Fedorov's avatar Alexander Fedorov
Browse files

Merge branch 'type=-test-fixes' into 'master'

Type= test fixes

See merge request !37
parents 009b7e53 154eee99
Loading
Loading
Loading
Loading
Loading
+18 −4
Original line number Diff line number Diff line
@@ -1781,14 +1781,18 @@
  t)

(deftest type=.2
    (multiple-value-bind (= ok)
        (type= 'list '(or null cons))
  t
      (or (and = ok)
          (and (not =) (not ok))))
  t)

#-allegro
(deftest type=.3
    (multiple-value-bind (= ok)
        (type= 'null '(and symbol list))
  t
      (or (and = ok)
          (and (not =) (not ok))))
  t)

(deftest type=.4
@@ -1800,6 +1804,16 @@
  nil
  t)

(defun type=.6.stringp (thing)
  (not (not (stringp thing))))

(deftest type=.6
    (multiple-value-bind (= ok)
        (type= '(or string (satisfies type=.6.stringp)) 'string)
      (or (and = ok)
          (and (not =) (not ok))))
  t)

(macrolet
    ((test (type numbers)
       `(deftest ,(format-symbol t '#:cdr5.~a (string type))