[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: meta-comment on typing



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/