I've pushed a fix for the example below, at least. Robby
On Tue, Nov 23, 2010 at 12:18 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Tue, Nov 23, 2010 at 1:04 PM, John Clements > <cleme...@brinckerhoff.org> wrote: >> >> On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote: >> >>> There are a lot of things you could mean by "Typed Racket doesn't >>> preserve source locations". Some of them TR definitely preserves >>> source locations, and some are hard cases where TR tries but doesn't >>> always succeed. So I am also interested in an example. >> >> Here's an example: > > So, here's the same behavior without TR: > > #lang racket > (require rackunit) > ((values check-equal?) (odd? 322) #true) > > 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. > -- > sam th > sa...@ccs.neu.edu > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev