Re: Record operations (Algebraic Data Types and printing)

[Simon Wright <simon@pushface.org>]

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

> On Friday, October 5, 2018 at 11:17:39 PM UTC-7, Henrik Härkönen wrote:
>> > Auto_Text_IO in Stephe's Ada Library[1]: might need some fixups for
>> > newer compilers/standards.
>> > 
>> > [1] http://stephe-leake.org/ada/sal.html
>> 
>> Alright, seems that there's other nice stuff too, thanks. :)
>
> That has some packages that were generated by or support auto_text_io,
> but not the actual auto_text_io code, which you need to generate a
> Text_IO package for your record types.

Oh, sorry for misleading people.

> I stopped supporting the auto_text_io tool, mostly because ASIS was
> not ported to the newer language versions.

AdaCore's ASIS still works, their own implementation to deal with modern
language versions.

> These days the best way to reimplement auto_text_io is to start with
> libadalang (https://github.com/AdaCore/libadalang). If anyone wants to
> try that, I can probably dig up the auto_text_io code.

I find libadalang a bit distressing, mostly because of the extensive
reliance on external Python utilities: from REQUIREMENTS.dev,

Mako==1.0.1
PyYAML==3.11
Sphinx==1.3.1
coverage==3.7.1
enum==0.4.6
enum34==1.1.2
psutil==3.4.2
sphinx-rtd-theme==0.1.9
funcy==1.7.1
-e git+https://github.com/AdaCore/langkit.git#egg=langkit
docutils==0.12
autopep8==1.2.4
yapf==0.16.0

and Quex.

Of course, the libraries required for GPS make a long list too.

Also, there are also difficulties using the latest Github libadalang,
which relies on a recent libgpr (more recent than the one I included
with the macOS GCC 8.1.0, but OK with GNAT CE 2018).

I suppose I just have to man up, bite the bullet, ...