On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt <sa...@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'. N. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
