Re: example of machine generated Ada ?

[Simon Wright <simon@pushface.org>]

Patrick <patrick@spellingbeewinnars.org> writes:

> I am just daydreaming about generating Ada from another language.
>
> Several languages use C as an intermediate language but hand written C
> is hard to read and machine generated is even more painful. Ada might
> make for reliable, readable machine generated code.

It depends on the aims of the person/organisation that develops the code
generator. My aims in ColdFrame[1], which amongst other things generates
package specs that users might need to look at, included that the
generated code should look as if it had been written by a human - and
should compile without warnings, especially style warnings. I see that I
actually suppress style warnings, but as I recall this was only because
users insisted on using very long names and in consequence I couldn't
avoid long lines. Perhaps I should revisit this now that GNAT allows
finer control? - no, it only allows you to switch particular style
checks off for specific entities, the non-specific form only allows
adding checks.

[1] https://sourceforge.net/projects/coldframe/