Skip to content
Snippets Groups Projects
Commit 80e11fc5 authored by pfdietz's avatar pfdietz
Browse files

Test from OpenMCL (complex rationals)

parent 58b08a85
No related branches found
No related tags found
No related merge requests found
...@@ -10056,3 +10056,12 @@ Broken at C::WT-MAKE-CLOSURE. ...@@ -10056,3 +10056,12 @@ Broken at C::WT-MAKE-CLOSURE.
(sqrt p1))) (sqrt p1)))
n)))) n))))
t) t)
;;; OpenMCL
;;; 1/2 is not of type integer
(deftest misc.545
(let ((x #c(-1 1/2)))
(declare (type (eql #c(-1 1/2)) x))
x)
#c(-1 1/2))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment