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

2010-11-26 Thread Sam Tobin-Hochstadt
On Fri, Nov 26, 2010 at 5:26 AM, Noel Welsh wrote: > On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt > 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 locati

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

2010-11-26 Thread Robby Findler
On Fri, Nov 26, 2010 at 4:26 AM, Noel Welsh wrote: > On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt > 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 locati

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

2010-11-26 Thread Noel Welsh
On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt 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

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

2010-11-23 Thread Robby Findler
I've pushed a fix for the example below, at least. Robby On Tue, Nov 23, 2010 at 12:18 PM, Sam Tobin-Hochstadt wrote: > On Tue, Nov 23, 2010 at 1:04 PM, John Clements > wrote: >> >> On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote: >> >>> There are a lot of things you could mean by "Typed

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

2010-11-23 Thread Sam Tobin-Hochstadt
On Tue, Nov 23, 2010 at 1:04 PM, John Clements 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

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

2010-11-23 Thread John Clements
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 in

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

2010-11-20 Thread Sam Tobin-Hochstadt
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. On Sat, Nov 20, 2010 at 1:55 PM, Carl Eas

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

2010-11-20 Thread Carl Eastlund
Do you have a sample program where Racket preserves source locations and Typed Racket doesn't? Carl Eastlund On Sat, Nov 20, 2010 at 1:51 PM, John Clements wrote: > It appears to me that TR does not preserve source locations, which makes > testing extremely painful > (which test failed? Who kno

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

2010-11-20 Thread John Clements
It appears to me that TR does not preserve source locations, which makes testing extremely painful (which test failed? Who knows.) I'm hoping that I'm just missing something obvious, here. I'm also in the market for obvious workarounds. Apologies if this is a FAQ; I did actually google for the a