Re: Common Lisp solved this problem 20 years ago Alan Watson 25 Oct 2005 20:11 UTC
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