Re: -fdump-ada-spec

[Simon Wright <simon@pushface.org>]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> Simon Wright <simon@pushface.org> writes:
>
>> Does anyone know where this is implemented in the GCC sources?
>
> I don't; I guess you want to develop a patch?

Not really; just to understand it better!

For example, you may have taken the online manual's remark "C++ classes
will be mapped to Ada tagged types" as gospel; it turns out that this
only happens for C++ classes with virtual methods. I think.

>>  <snip>
>>
>> and the 'limited with' magic only works for _types_, so you get the
>> error '"FILE" not declared in "Stdio"'.
>>
>> Stdio.FILE should be declared as
>>
>>       type FILE is new Blah;

Thinking about it, that doesn't match the 'semantics' of typedef.

> As a workaround, you can maintain a patch for the generated code, and
> apply it in your Makefile.

Actually, an editor script to change 'limited with' to plain 'with'
would sort this one out nicely.