Per Bothner <per@xxxxxxxxxxx> writes:
> Since it *optional* static typing, I'm assuming that the specific
> operations are "consistent" in the sense of the following example:
>
> If (and (fixnum? x) (fixnum? y))
> then: (eqv? (+ x y) (fx+ x y))
It's not the same: (fx+ x y) returns a fixnum even if it overflows.
--
__("< Marcin Kowalczyk
\__/ qrczak@xxxxxxxxxx
^^ http://qrnik.knm.org.pl/~qrczak/