typed/rackunit: incorrect syntax location in type error messages
capfredf opened this issue · comments
#lang typed/racket/base
(module+ test
(require typed/rackunit)
(+ 10 20)
(+ 30 40)
(check-equal? 10))
The error message is
hello.rkt:3:0: Type Checker: No function domains matched in function application:
Types: Any Any String -> Any
Any Any -> Any
Arguments: Positive-Byte
Expected result: AnyValues
We expect the message to point us to the line where check-equal?
is incorrectly used.