Re: disruptors of & inventory of Ada compilers and latest their era of ISO8652 compliance

["Dan'l Miller" <optikos@verizon.net>]

On Friday, May 18, 2018 at 6:48:22 AM UTC-5, Lucretia wrote:
> The *tree* packages in GNAT are autogenerated from a *def file, these map onto the C equivalent in the
> GCC backend so that GNAT can build the trees properly.

Ahh, are these .def files the pre-C++ hack of using multiply-included C header files (without multiple-inclusion guard conditional compilation #if !defined NAME_OF_FILE) to emulate parameterized types?  I guess I need to analyze the various points at which these .def files are #included to see if ”template” parameters are ginned up to be passed into the #include.

I would say that a human being author of a GiggleVM would only need a read-only* knowledge of these trees to mimic them over in rear-of-Clang-speak to feed LLVM the way that GIGI speaks rear-of-C/C++-GCC to feed GENERIC/GIMPLE.  But the more that I think about it, perhaps a mechanized transliteration of GIGI's rear-of-GCC-C/C++-feeding-GENERIC/GIMPLE to GiggleVM's rear-of-Clang-feeding-LLVM-IR might assure fewer bugs (or at least bug-for-bug compatibility).

* Writing these GENERIC trees would require far deeper & broader full-grok knowledge.