Commit 6ee594dc authored by pfdietz's avatar pfdietz
Browse files

Fixes for ECL

parent 6c6786ee
......@@ -22,7 +22,7 @@
t t)
(deftest base-string.5
:notes (:allow-nil-arrays)
:notes (:allow-nil-arrays :nil-vectors-are-strings)
(subtypep* '(array nil (*)) 'base-string)
nil t)
......@@ -30,4 +30,3 @@
:notes (:nil-vectors-are-strings)
(subtypep* 'string 'base-string)
nil t)
......@@ -48,5 +48,5 @@ If negative zeros are distinct this is probably not good, since it makes (defcon
;;; Haible disagrees with :result-type-element-type-by-subtype
#+clisp (rt::disable-note :result-type-element-type-by-subtype)
#+(or openmcl gcl) (rt::disable-note :nil-vectors-are-strings)
#+(or openmcl gcl ecl) (rt::disable-note :nil-vectors-are-strings)
#+gcl (rt::disable-note :allow-nil-arrays)
......@@ -36,19 +36,19 @@
t)
(deftest proclaim.error.3
(signals-error (proclaim `(optimize . foo)) type-error)
(signals-error (proclaim `(optimize . foo)) error)
t)
(deftest proclaim.error.4
(signals-error (proclaim `(inline . foo)) type-error)
(signals-error (proclaim `(inline . foo)) error)
t)
(deftest proclaim.error.5
(signals-error (proclaim `(notinline . foo)) type-error)
(signals-error (proclaim `(notinline . foo)) error)
t)
(deftest proclaim.error.6
(signals-error (proclaim `(type . foo)) type-error)
(signals-error (proclaim `(type . foo)) error)
t)
(deftest proclaim.error.7
......@@ -56,22 +56,17 @@
t)
(deftest proclaim.error.8
(signals-error (proclaim '(type integer . foo)) type-error)
(signals-error (proclaim '(type integer . foo)) error)
t)
(deftest proclaim.error.9
(signals-error (proclaim '(integer . foo)) type-error)
(signals-error (proclaim '(integer . foo)) error)
t)
(deftest proclaim.error.10
(signals-error (proclaim '(declaration . foo)) type-error)
(signals-error (proclaim '(declaration . foo)) error)
t)
(deftest proclaim.error.11
(signals-error (proclaim '(ftype (function (t) t) . foo)) type-error)
(signals-error (proclaim '(ftype (function (t) t) . foo)) error)
t)
......@@ -38,16 +38,16 @@
nil t)
(deftest simple-base-string.9
:notes (:allow-nil-arrays)
:notes (:allow-nil-arrays :nil-vectors-are-strings)
(subtypep* '(simple-array nil (*)) 'simple-base-string)
nil t)
(deftest simple-base-string.10
:notes (:allow-nil-arrays)
:notes (:allow-nil-arrays :nil-vectors-are-strings)
(typep* (make-array '(0) :element-type nil) 'simple-base-string)
nil)
(deftest simple-base-string.11
:notes (:allow-nil-arrays)
:notes (:allow-nil-arrays :nil-vectors-are-strings)
(typep* (make-array '(12) :element-type nil) 'simple-base-string)
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