[racket-dev] TR -> no source locations?

From: Noel Welsh (noelwelsh at gmail.com)
Date: Fri Nov 26 05:26:26 EST 2010

On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> What's happening here is that the typed wrapper in `typed/rackunit' is
> treating `check-equal?' as a function, but it's really an identifier
> macro that inserts source locations when used in application position.
>  This makes it easy to write a typed wrapper, but it has the drawbacks
> you see. Probably the solution is to write a better wrapper in
> `typed/rackunit', but that might be hard without integrating with the
> internals of Rackunit.

How far along is interop for macros in Typed Racket? Would I have to
maintain typed and untyped version of Rackunit to do things


Posted on the dev mailing list.