From: Jere <jhb.chat@gmail.com>
Subject: Re: expression functions and raise expressions
Date: Sat, 3 Mar 2018 14:54:33 -0800 (PST)
Date: 2018-03-03T14:54:33-08:00 [thread overview]
Message-ID: <38a501d0-32c2-4d97-ae7c-e32c1ea48ff7@googlegroups.com> (raw)
In-Reply-To: <lya7voj2xf.fsf@pushface.org>
On Saturday, March 3, 2018 at 3:54:06 PM UTC-5, Simon Wright wrote:
> Jere writes:
>
> > GNAT GPL 2017 accepts it, but FSF GNAT 7.2 for mingw64 on Win10
> > gives some errors:
> > test.ads:328:11: (Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))
> > test.ads:328:11: return by reference not permitted in Ada 2005
> >
> > NOTE: Reference_Type is untagged limited discriminated null
> > record with Implicit_Dereference defined. Also note that a similar
> > function that returns an aggregate initialization compiles fine
> > on both versions.
> >
> > I am compiling with Ada2012 mode (-gnat12 option)
> >
> > I believe this to be a bug in GCC 7.2 for mingw64, but wanted to
> > make sure I wasn't misreading the RM.
>
> It's fixed in GCC 8.
>
> It fails in the same way as 7.1.0, same weird error message about 2005,
> with GNAT GPL 2016.
>
> (macOS High Sierra)
Ok, thanks for the confirmation. I worked around it, but it definitely
caught me offguard.
next prev parent reply other threads:[~2018-03-03 22:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-03 18:39 expression functions and raise expressions Jere
2018-03-03 20:03 ` Jeffrey R. Carter
2018-03-03 22:53 ` Jere
2018-03-03 20:54 ` Simon Wright
2018-03-03 22:54 ` Jere [this message]
2018-03-05 20:21 ` Randy Brukardt
2018-03-07 22:39 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox