[racket-dev] Fixing "uncertified context" error in in-vector

From: Noel Welsh (noelwelsh at gmail.com)
Date: Sun Dec 5 13:07:17 EST 2010

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


On Sun, Dec 5, 2010 at 4:31 PM, Matthew Flatt <mflatt at 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))

Posted on the dev mailing list.