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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Nov 26 06:19:38 EST 2010

On Fri, Nov 26, 2010 at 4:26 AM, Noel Welsh <noelwelsh at gmail.com> wrote:
> 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
> 'properly'.

In this particular case, the answer is no.


Posted on the dev mailing list.