From: Simon Wright <simon@pushface.org>
Subject: Re: Generic oddness
Date: Sun, 12 Apr 2020 19:11:44 +0100
Date: 2020-04-12T19:11:44+01:00 [thread overview]
Message-ID: <ly4kto7evz.fsf@pushface.org> (raw)
In-Reply-To: d2fedfee-ff14-40c4-bdfc-87c70d66281e@googlegroups.com
Per Jakobsen <pdj@knaldgas.dk> writes:
> Is there a sane explanation for this behavior?
Possibly not, because GCC 10.0.1 (admittedly of 20200206, so a while
ago) compiles without (much) complaint:
$ /opt/gnat-ce-2019/bin/gnatmake -gnatwa -f test.adb
gcc -c -gnatwa test.adb
test.ads:3:06: warning: unit "Gen" is not referenced
test.ads:21:63: abstract subprogram not allowed as generic actual
gnatmake: "test.adb" compilation error
but
$ /opt/gcc-10.0.1/bin/gnatmake -gnatwa -f test.adb
gcc -c -gnatwa test.adb
test.ads:3:06: warning: unit "Gen" is not referenced
gcc -c -gnatwa gen.ads
gen.ads:2:09: warning: type "A" is not referenced
gcc -c -gnatwa intf.ads
prev parent reply other threads:[~2020-04-12 18:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-12 12:32 Generic oddness Per Jakobsen
2020-04-12 16:38 ` Ludovic Brenta
2020-04-14 9:42 ` SOLVED: " Per Jakobsen
2020-04-12 18:11 ` Simon Wright [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