racket / rackunit

Other
18 stars 32 forks source link

repair typed check-* #156

Closed capfredf closed 2 years ago

capfredf commented 2 years ago

closes #155

capfredf commented 2 years ago

I need to come up with a solution to properly test those typed bindings....

samth commented 2 years ago

I would just make rackunit-test depend on this package, and have a test file in there.

capfredf commented 2 years ago

I already have that file in rackunit-test (not committed yet). I am thinking about tests where source locations are correctly reported for typed check-*

samth commented 2 years ago

For that I think you probably need to look at the exception message and be sure that it contains the right file name.

capfredf commented 2 years ago

@samth I added a test file. Can you take a look and merge this pull request if it looks good to you?