Re: meta-comment on typing Marcin 'Qrczak' Kowalczyk 06 Oct 2005 07:01 UTC

Per Bothner <xxxxxx@bothner.com> 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
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/