[racket] recommendations how to use Typed Racket with rackunit?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Nov 28 14:09:24 EST 2010

On Sun, Nov 28, 2010 at 12:41 PM, keydana at gmx.de <keydana at gmx.de> wrote:
> Hi,
> changing some typed racket code from using define-struct: to struct:, I have problems getting my test code to run.
> While still using define-struct:, I had a language specification of #lang typed/racket/no-check, because omitting the "no-check" I was getting the

I would keep using `define-struct:' for the time being; I'll
investigate why this isn't working.  It isn't obvious at first glance,
but the `struct:' code is doing some complicated tricks.

> BTW: Right now for posting, I wanted to put both the definitions and the test code in one file, and having everything in one module it worked fine. But when I have 2 modules like the code I'm appending below, I get the aforementioned error.

Check out the `racket/load' language for exactly this purpose.

sam th
samth at ccs.neu.edu

Posted on the users mailing list.