I think require/typed/provide in typed/rackunit is affecting the location grabbing feature. Hoping someone can provide a suggested path forward. When I run this program,
#lang typed/racket/base (require typed/rackunit) (check-true (string<? "aaaa" "bbbb")) (check-true (string<? "aaaa" "aabb")) (check-true (string<? "aaaa" "aa")) The last expression turns out to be (check-true #f) so an error is printed. However the error location points to rackunit source. -------------------- string<? FAILURE name: check-true location: /Applications/Racket v7.6/share/pkgs/rackunit-typed/rackunit/main.rkt:33:2 params: '(#f) -------------------- I can switch to (require rackunit) in #lang racket/base and the location points to the source file as expected. P.S. thanks for all your hard work. -shane -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/f3300e51-5629-45f4-9bb0-86fb0e6fa0c7%40googlegroups.com.
