From: julian.fondren@gmail.com
Subject: Re: gnatpp parameter alignment
Date: Wed, 28 Nov 2018 06:19:06 -0800 (PST)
Date: 2018-11-28T06:19:06-08:00 [thread overview]
Message-ID: <2aee23a5-7e95-4f08-a4eb-a19ef4a9a6ab@googlegroups.com> (raw)
In-Reply-To: <ly8t1d3786.fsf@pushface.org>
On Wednesday, November 28, 2018 at 3:02:35 AM UTC-6, Simon Wright wrote:
> julian.fondren@gmail.com writes:
>
> > I thought I'd always use gnatpp for styling, but I've found this
> > formatting result that I don't like at all, and which seems to come up
> > a lot in my code (so often that !pp formatting escapes would be a
> > pain):
> >
> > function waitpid (Pid : Integer; Wstatus : System.Address;
> > Options : Integer) return Integer;
>
> I suspect you're using GNAT CE 2018.
>
> I've tried this with FSF GCC 4.8..9 and GNAT GPL 2015..2017 and all give
> the result you prefer. Only CE 2018 shows this bad result.
>
Ah, this is true. This result is from the latest binaries at
https://www.adacore.com/download
GNATPP Community 2018 (20180523)
Copyright (C) 2004-2018, AdaCore.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
On the Fedora box I'm using those as well because Fedora's packages
excluded gnatpp -- I've no idea why, but 'dnf whatprovides */gnatpp'
returns nothing and none of these packages provided it:
fedora-gnat-project-common
libgnat-devel
libgnat-static
libgnat
gcc-gnat
For now I can just use whatever --par-threshold= keeps this formatting
away for a code base, and then revert to defaults when a newer build's
available.
Thanks again!
prev parent reply other threads:[~2018-11-28 14:19 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-11-28 0:34 gnatpp parameter alignment julian.fondren
2018-11-28 7:37 ` briot.emmanuel
2018-11-28 7:56 ` Mark Lorenzen
2018-11-28 8:42 ` Simon Wright
2018-11-28 9:02 ` Simon Wright
2018-11-28 13:50 ` Simon Wright
2018-11-28 14:19 ` julian.fondren [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox