Ada, treelang needs to be converted to --enable-mapped-location

[Mark Mitchell]

Steven Bosscher wrote:

>On Thursday 07 October 2004 04:31, Mark Mitchell wrote:
>  
>
>>Richard Kenner wrote:
>>    
>>
>>>My proposal is basically to take the view that source_location is an
>>>unsigned int that's an opaque datatype used to encode a (file, line
>>>column) triple. This datatype can either be defined in the front end (in
>>>which case it provides a language hook to produce that triple from the
>>>encoding) or it can use routines provided in line-map.c to generate the
>>>encoding.
>>>      
>>>
>>If you can do this in a way that does not make the non-Ada case go
>>measuably slower, that seems OK.  If the indirection required is costly,
>>then your proposal is lessa ttractive.
>>    
>>
>
>I humbly disagree, it is not OK.
>
>With this idea, we lock ourselves in with the Ada front end, so if
>we at one point, for whatever reason, decide that source_location
>should be something other than a "32-bit opaque data type", we first
>have to go through all this again to get the Ada representation
>changed as well.
>  
>
The reason that I disagree with your position is that I would be willing 
to make that change, even if that means that Ada were to be 
(temporarily) broken.

If we decide that we have a compelling reason to use a representation 
other than a 32-bit integer, then I would be willing to (at that point) 
simply make the change.  The Ada folks would then eventually make the 
necessary changes.  On the one hand, I don't think we should try to 
force Ada to change *now*; on the other, I don't think we should avoid 
making compelling improvements to avoid making changes in Ada.

-- 
Mark Mitchell
CodeSourcery, LLC
(916) 791-8304
mark@codesourcery.com