Re: array conversion - how to do?

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Geert says

<<Now I think about it, it is possible to rather closely model
typecasting for arrays by implementing array conversion as
showed below. It is a pity that this generates lots of code
with GNAT although all code could be eliminated. Are there
any compilers that correctly compile this into a null function?
>>

I hope not!

If the body of Error is not available, this is not a valid optimization,
and indeed is typical of the kind of invalid optimizations that optimizing
compilers are sometimes known to do.

(I leave it as an interesting excercise to propose bodies of Error that
can tell this invalid optimization is being performed -- there is more
than once answer!)

Of course this means that your complaint about the conversion still stands,
but you can't go adding major chunks of complexity to a language just so
it can handle one more case efficiently, especially when it is an artifical
case -- I find the use of that subtype of character to be excessive
baggage in the first place.