10802 |
(deftest misc.603 |
(deftest misc.603 |
10803 |
(funcall (compile nil '(lambda () (let ((x (values 0))) 0)))) |
(funcall (compile nil '(lambda () (let ((x (values 0))) 0)))) |
10804 |
0) |
0) |
10805 |
|
|
10806 |
|
;;; gcl 2.7.0 (23 Jul 2005, experimental cvs HEAD) |
10807 |
|
;;; Error in COMPILER::T1EXPR [or a callee]: |
10808 |
|
;;; LOAD-TIME-VALUE is not of type (OR RATIONAL FLOAT). |
10809 |
|
|
10810 |
|
(deftest misc.604 |
10811 |
|
(let ((form '(lambda (p1 p2) |
10812 |
|
(declare (optimize (speed 2) (safety 1) (debug 3) (space 3)) |
10813 |
|
(type real p1) (type t p2)) |
10814 |
|
(eql (the (rational -55253767/37931089) p1) (the atom p2))))) |
10815 |
|
(funcall (compile nil form) -55253767/37931089 'a)) |
10816 |
|
nil) |
10817 |
|
|
10818 |
|
;;; Error in FUNCALL [or a callee]: LOAD-TIME-VALUE is not of type NUMBER. |
10819 |
|
|
10820 |
|
(deftest misc.605 |
10821 |
|
(let ((form '(lambda (p1 p2) |
10822 |
|
(declare (optimize (speed 3) (safety 1) (debug 0) (space 0)) |
10823 |
|
(type number p1) (type (float 0.0 3579.314s0) p2)) |
10824 |
|
(eql (the real p1) p2)))) |
10825 |
|
(not (funcall (compile nil form) 3579.314s0 3579.314s0))) |
10826 |
|
nil) |
10827 |
|
|
10828 |
|
;;; Error in COMPILER::CMP-ANON [or a callee]: #\a is not of type FIXNUM. |
10829 |
|
|
10830 |
|
(deftest misc.606 |
10831 |
|
(let ((form '(lambda () |
10832 |
|
(declare (optimize (speed 3) (safety 2) (debug 3) (space 2))) |
10833 |
|
(equal #\a #c(-1775806.0s0 88367.29s0))))) |
10834 |
|
(funcall (compile nil form))) |
10835 |
|
nil) |
10836 |
|
|
10837 |
|
;;; Error in COMPILER::CMP-ANON [or a callee]: #*1 is not of type FIXNUM. |
10838 |
|
|
10839 |
|
(deftest misc.607 |
10840 |
|
(funcall (compile nil '(lambda () |
10841 |
|
(declare (optimize (speed 0) (safety 2) (debug 2) (space 2))) |
10842 |
|
(equal #*1 1)))) |
10843 |
|
nil) |
10844 |
|
|
10845 |
|
;;; Error in COMPILER::CMP-ANON [or a callee]: #\& is not of type FIXNUM. |
10846 |
|
|
10847 |
|
(deftest misc.608 |
10848 |
|
(funcall (compile nil '(lambda (p1) |
10849 |
|
(declare (optimize (speed 3) (safety 2) (debug 3) (space 3)) |
10850 |
|
(type (integer -62603278 -31187) p1)) |
10851 |
|
(equal p1 #\&))) |
10852 |
|
-31228) |
10853 |
|
nil) |
10854 |
|
|
10855 |
|
;;; Wrong return value (was returning T) |
10856 |
|
|
10857 |
|
(deftest misc.609 |
10858 |
|
(funcall (compile nil '(lambda () |
10859 |
|
(declare (optimize (speed 0) (safety 0) (debug 0) (space 3))) |
10860 |
|
(equalp "b" #*)))) |
10861 |
|
nil) |
10862 |
|
|
10863 |
|
;;; Error in COMPILER::CMP-ANON [or a callee]: 7933992 is not of type SYMBOL. |
10864 |
|
|
10865 |
|
(deftest misc.610 |
10866 |
|
(not (funcall (compile nil '(lambda (p2) |
10867 |
|
(declare (optimize (speed 1) (safety 1) (debug 3) (space 2)) |
10868 |
|
(type (cons symbol) p2)) |
10869 |
|
(typep -32 p2))) |
10870 |
|
'(eql -32))) |
10871 |
|
nil) |
10872 |
|
|
10873 |
|
;;; Error in CAR [or a callee]: -757161859 is not of type LIST. |
10874 |
|
|
10875 |
|
(deftest misc.611 |
10876 |
|
(funcall (compile nil '(lambda (p1) |
10877 |
|
(declare (optimize (speed 1) (safety 3) (debug 0) (space 2)) |
10878 |
|
(type (cons atom) p1)) |
10879 |
|
(car p1))) |
10880 |
|
'(48144509 . a)) |
10881 |
|
48144509) |
10882 |
|
|