Is rackunit not supposed to work with typed Racket?

Questions & Answers
, ,
1

I tried using rackunit with typed/racket:

#lang typed/racket
  (require rackunit)

(module+ test
  (check-true #t)
  )

I was granted the following obscure error message:

 ../../usr/local/racket/share/pkgs/rackunit-lib/rackunit/private/location.rkt:22:2: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: provide/contract-id-syntax->location
  from module: location.rkt in: provide/contract-id-syntax->location

suggesting to me that there is a problem with rackunit.
I was getting this message while trying to test and debug substantially more complicated code. I was upset that I wasn't getting an error location in my code. It took a while for me to suspect that the error might not be in my code.

I think I've pared the problem down to minialism.

I am running all this in drracket. I do not know which version. How do I get drracket to confess its version? i figure it should be in a menu somewhere, but I could not find it.

-- hendrik

2

You need to use typed/rackunit.

3

Thank you. That was not obvious.

-- hendrik