Ah, I'll fix that up. That's 3 bugs in the code so far. AFAIK none
have yet been found in practice!

N.

On Sun, Dec 5, 2010 at 4:31 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote:
> Yes, but the `unsafe-fx' operations that I'm concerned about are the ones
> checking whether an index is valid:
>
>  (unless (and (exact-nonnegative-integer? start) (unsafe-fx< start len))
>    (raise-type-error who (format "exact non-negative integer in [0,~a)" len) 
> start))
>  (unless (and (integer? stop) (unsafe-fx<= -1 stop) (unsafe-fx<= stop len))
>    (raise-type-error who (format "exact integer in [-1,~a] or #f" len) stop))
>
>
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to