This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RFC: attribute "unpadded"
On Fri, Aug 23, 2002 at 08:18:47PM -0000, Mark Mitchell wrote:
> >So, you're adding more
> >complexity to an edifice that is already rather baroque -- and the end
> >result of the combination of these attributes will be difficult to
> >explain and understand.
>
> Yes; I make this argument all the time when we discuss various extensions.
>
> When the extension just provides an easier way of doing something
> that can already be done, it's a particularly strong argument. In this
> case, that's not true; the proposed extension does let us do something
> new.
However, the effect of the extension has to be duplicated internally
by the C++ front end. It might be a good idea if the language-
independent type system could represent this concept directly. If the
C extension falls naturally out of adding the language-independent
concept, it shouldn't be that bad to provide it.
I wonder if Ada can do something like this already, it seems to have
everything *else* in its type system...
(Idle thought: Is our language-independent type system powerful enough
that we could implement ML type inference with it? I suspect not.)
zw