Marcin 'Qrczak' Kowalczyk wrote:
> Declaring types of identifiers is not enough, because it can't express
> the wish to ignore any fixnum overflow and assume that the result will
> fit in a fixnum.

Indeed, the current SRFI does not adequately distinguish between the
following two cases:

(a) addition in which the operands are fixnums and the result is
guaranteed to be a fixnum (or should be wrapped to a fixnum's range).

(b) addition in which the operands are fixnums and the result is not
guaranteed to be a fixnum (and should not be wrapped to a fixnum's range).

Regards,

Alan
--
Dr Alan Watson
Centro de Radioastronomía y Astrofísica
Universidad Astronómico Nacional de México