# Is rackunit not supposed to work with typed Racket?

**URL:** <https://racket.discourse.group/t/is-rackunit-not-supposed-to-work-with-typed-racket/3836>\
**Category:** Questions & Answers\
**Tags:** drracket, typed-racket, bug\
**Created:** [July 4, 2025, 10:12pm UTC](https://racket.discourse.group/t/is-rackunit-not-supposed-to-work-with-typed-racket/3836 "2025-07-04T22:12:24Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![hendrikboom3](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/hendrikboom3/32/2748_2.png) [@hendrikboom3](https://racket.discourse.group/u/hendrikboom3)\
**Post date:** [July 4, 2025, 10:12pm UTC](https://racket.discourse.group/t/is-rackunit-not-supposed-to-work-with-typed-racket/3836/1 "2025-07-04T22:12:24Z")

</div>

I tried using rackunit with typed/racket:

```scheme
#lang typed/racket
  (require rackunit)

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

```

I was granted the following obscure error message:

```scheme
 ../../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

---

<div class="post-metadata">

**Author:** ![shawnw](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/shawnw/32/1031_2.png) [@shawnw](https://racket.discourse.group/u/shawnw)\
**Post date:** [July 4, 2025, 10:22pm UTC](https://racket.discourse.group/t/is-rackunit-not-supposed-to-work-with-typed-racket/3836/2 "2025-07-04T22:22:04Z")

</div>

You need to use `typed/rackunit`.

---

<div class="post-metadata">

**Author:** ![hendrikboom3](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/hendrikboom3/32/2748_2.png) [@hendrikboom3](https://racket.discourse.group/u/hendrikboom3)\
**Post date:** [July 5, 2025, 1:48am UTC](https://racket.discourse.group/t/is-rackunit-not-supposed-to-work-with-typed-racket/3836/3 "2025-07-05T01:48:38Z")

</div>

Thank you. That was not obvious.

-- hendrik