search

racket / rackunit

Other
18 stars 32 forks source link

typed/rackunit: incorrect syntax location in type error messages #162

Open capfredf opened 1 year ago

capfredf commented 1 year ago 
#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.