From: Paul F. D. <di...@dl...> - 2003-09-29 22:06:01
|
(let ((form1 '(lambda (b c) (declare (type (integer -350684427436 -255912007) b)) (logandc2 c (if (< b (setq b -25647585550)) b 0)))) (form2 '(lambda (b c) (logandc2 c (if (< b (setq b -25647585550)) b 0)))) (vals '(-297090677547 -20121092))) (print (apply (compile nil form1) vals)) (print (apply (compile nil form2) vals))) ;; ;; In sbcl 0.8.3.94, this prints: ;; ;; -58158788 ;; 25644243212 ;; Paul |
From: Alexey D. <ade...@co...> - 2003-09-30 08:12:12
|
"Paul F. Dietz" <di...@dl...> writes: > (let ((form1 '(lambda (b c) > (declare (type (integer -350684427436 -255912007) b)) > (logandc2 c (if (< b (setq b -25647585550)) b 0)))) > (form2 '(lambda (b c) > (logandc2 c (if (< b (setq b -25647585550)) b 0)))) > (vals '(-297090677547 -20121092))) > (print (apply (compile nil form1) vals)) > (print (apply (compile nil form2) vals))) > > ;; > ;; In sbcl 0.8.3.94, this prints: > ;; > ;; -58158788 > ;; 25644243212 > ;; Ouch... This (and two other) are another case of 233b; there are good chances they will live for some time. If this bug appears too often, set SB-C::*CONSTRAINT-PROPAGATE* to NIL. -- Regards, Alexey Dejneka "Alas, the spheres of truth are less transparent than those of illusion." -- L.E.J. Brouwer |