Commit 6ec3bf97 authored by pfdietz's avatar pfdietz

Moved ansi-test/rt/ files to ansi-tests/, since ECL was having trouble with...

Moved ansi-test/rt/ files to ansi-tests/, since ECL was having trouble with compiling in the subdirectory.  Fixed missing end-of-file newline problem that caused ECL to barf.  Added new tests for subtypep on cons with rational, real intervals.  Added tests for an SBCL problem in subtypep on negated rational, integer types.
parent 53bf853d
......@@ -5,4 +5,4 @@
(in-package :cl-test)
;;; Compiler macro tests will go here
\ No newline at end of file
;;; Compiler macro tests will go here
......@@ -42,4 +42,4 @@
;;; (classify-error (defconstant +ignorable-constant-name2+ nil
;;; "This is a docstring"
;;; "This is an unnecessary extra argument."))
;;; program-error)
\ No newline at end of file
;;; program-error)
(load "compile-and-load.lsp")
(load "rt/rt-package.lsp")
(compile-and-load "rt/rt.lsp")
;;; (unless (probe-file "rt/rt.o") (compile-file "rt/rt.lsp"))
;;; (load "rt/rt.o")
(load "rt-package.lsp")
(compile-and-load "rt.lsp")
;;; (unless (probe-file "rt.o") (compile-file "rt.lsp"))
;;; (load "rt.o")
(load "cl-test-package.lsp")
(in-package :cl-test)
(load "universe.lsp")
......
......@@ -88,3 +88,25 @@
(cons (integer 3 (6)) (integer 3 (6))))
'(cons (integer 0 (9)) (integer 0 (9))))
nil)
(deftest subtypep.cons.10
(check-equivalence
'(or
(cons (rational 0 (3)) (rational 0 (6)))
(cons (rational 3 (9)) (rational 0 (3)))
(cons (rational 0 (6)) (rational 6 (9)))
(cons (rational 6 (9)) (rational 3 (9)))
(cons (rational 3 (6)) (rational 3 (6))))
'(cons (rational 0 (9)) (rational 0 (9))))
nil)
(deftest subtypep.cons.11
(check-equivalence
'(or
(cons (real 0 (3)) (real 0 (6)))
(cons (real 3 (9)) (real 0 (3)))
(cons (real 0 (6)) (real 6 (9)))
(cons (real 6 (9)) (real 3 (9)))
(cons (real 3 (6)) (real 3 (6))))
'(cons (real 0 (9)) (real 0 (9))))
nil)
......@@ -161,4 +161,13 @@
(deftest subtypep.rational.16
(check-equivalence '(and integer (rational (-1/2) (1/2)))
'(integer 0 0))
nil)
\ No newline at end of file
nil)
(deftest subtypep.rational.17
(subtypep*-or-fail '(not (rational -1/2 1/2)) '(not (integer 0 0)))
t)
(deftest subtypep.rational.18
(subtypep*-or-fail '(not (rational -1/2 1/2)) '(not (eql 0)))
t)
......@@ -185,7 +185,13 @@
'(rational (1/11) (8/37)))
nil)
(deftest subtypep.rational.23
(subtypep*-or-fail '(not (real -1/2 1/2)) '(not (integer 0 0)))
t)
(deftest subtypep.rational.24
(subtypep*-or-fail '(not (real -1/2 1/2)) '(not (eql 0)))
t)
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