Re: [Ecls-list] Bug: invalid type propagation with EQL types

2012-06-27 Thread Juan Jose Garcia-Ripoll
On Tue, Jun 26, 2012 at 10:53 PM, Eric Marsden eric.mars...@free.fr wrote: ECL (Embeddable Common-Lisp) 12.5.1 (git:6e1c455e5207b3592125c52a7ec39fa353bc8a9d) (lambda (p3) (declare (optimize (speed 1) (safety 0) (debug 2) (space 0)) (type (eql 4432671931722342132) p3))

Re: [Ecls-list] Bug: invalid type propagation with EQL types

2012-06-27 Thread Eric Marsden
jjg == Juan Jose Garcia-Ripoll juanjose.garciarip...@gmail.com writes: jjg This has been fixed in CVS. Due to a misordering of IF conditions, ECL was jjg using ecl_fixnum and not ecl_to_long() for coercing objects to long types jjg (which is the C type that fits the number you passed).

[Ecls-list] Bug: invalid type propagation with EQL types

2012-06-26 Thread Eric Marsden
ECL (Embeddable Common-Lisp) 12.5.1 (git:6e1c455e5207b3592125c52a7ec39fa353bc8a9d) (lambda (p3) (declare (optimize (speed 1) (safety 0) (debug 2) (space 0)) (type (eql 4432671931722342132) p3)) (if nil W p3)) #bytecompiled-function 03c2f1e0 (funcall (compile nil *)