typed-racket

typed-racket copied to clipboard

What version of Racket are you using?

8.5

What program did you run?

#lang typed/racket

(vector-ref (vector 3 4 5) (+ 1 1))

;;; ... with syntactic test suite coverage enabled

What should have happened?

the use of vector-ref should have been shown as having been covered

If you got an error message, please include it here.

... instead, the use of vector-ref is highlighted as having not been used.

Looking at the fully expanded source, it certainly appears that the problem is that the vector-ref is duplicated into a use of vector-ref and a use of unsafe-vector-ref, and my guess is that the use of unsafe-vector-ref is not linked to the correct syntax location.

Perhaps this is a known problem, my apologies if there are lots of issues like this already. :(