New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

capfredf opened this issue Dec 26, 2022 · 0 comments

Member

capfredf commented Dec 26, 2022

#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.

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment