Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Karsten Poeck
ansi-test
Commits
69e40933
Commit
69e40933
authored
Feb 14, 2003
by
pfdietz
Browse files
More float, member, eql type tests.
parent
2c4e6759
Changes
1
Hide whitespace changes
Inline
Side-by-side
ansi-tests/subtypep.lsp
View file @
69e40933
...
...
@@ -392,6 +392,32 @@
(subtypep* '(long-float 0.0l0 10.0l0) '(long-float 0.0l0 (10.0l0)))
nil t)
(deftest subtypep.float.24
(check-equivalence '(and (short-float 0.0s0 2.0s0)
(short-float 1.0s0 3.0s0))
'(short-float 1.0s0 2.0s0))
nil)
(deftest subtypep.float.25
(check-equivalence '(and (single-float 0.0f0 2.0f0)
(single-float 1.0f0 3.0f0))
'(single-float 1.0f0 2.0f0))
nil)
(deftest subtypep.float.26
(check-equivalence '(and (double-float 0.0d0 2.0d0)
(double-float 1.0d0 3.0d0))
'(double-float 1.0d0 2.0d0))
nil)
(deftest subtypep.float.27
(check-equivalence '(and (long-float 0.0l0 2.0l0)
(long-float 1.0l0 3.0l0))
'(long-float 1.0l0 2.0l0))
nil)
;;; SUBTYPEP on CONS types
...
...
@@ -528,6 +554,12 @@
(t (check-disjointness t1 t2)))))
nil)
(deftest subtypep.member.19
(let ((i1 (1+ most-positive-fixnum))
(i2 (1+ most-positive-fixnum)))
(check-equivalence `(member 0 ,i1) `(member 0 ,i2)))
nil)
;;; Tests of EQL types
(deftest subtypep.eql.1
...
...
@@ -552,6 +584,11 @@
(t (check-disjointness t1 t2)))))
nil)
(deftest subtypep.eql.3
(let ((i1 (1+ most-positive-fixnum))
(i2 (1+ most-positive-fixnum)))
(check-equivalence `(eql ,i1) `(eql ,i2)))
nil)
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment