Tom> I suspect that there's some work fixing optimization passes. I have Tom> not looked but I would not be surprised if some of them pick locations Tom> poorly when rearranging things.
Aldy> But this has nothing to do with error messages. I mean, not initially. Yeah, it is somewhat indirect. It can matter if some expression's location is later used when emitting an error. Users will probably benefit a lot more from work in the FE than the ME. Aldy> 1. beginning/ending locations functionality as Joseph suggests. Aldy> 2. make sure the parsers pick the proper token/location. Aldy> 3. error reporting machinery Aldy> How does this sound? It sounds good to me. #1 might be hard, I have not looked into it. ISTR Manuel having a patch for caret diagnostic output... ? Aldy> (As is customary with me, I'm doing a lot of hand-waving, because Aldy> everything's a 4-5 day job in my mind-- just like tuples. I'm sure Aldy> it'll be a can of worms.) :) Tom
