From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: I am leaving Ada :-( because of GNAT bugs
Date: Thu, 07 Dec 2017 09:54:21 +0000
Organization: A noiseless patient Spider
Message-ID: <lyh8t2q2wi.fsf@pushface.org>
References: <p0ari4$djp$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="fac1ef3521ce3420281de023e5b6f71e";
	logging-data="20346"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+KQ25PfosYsEqBGqevyo+lLbaEEQ3TaKw="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:oQ9dEQzQY6ygsi+Wf1U+aM6BEas=
	sha1:b5+ODvxH4lmZ++IL8G0bXe79UK8=
Xref: reader02.eternal-september.org comp.lang.ada:49403
Date: 2017-12-07T09:54:21+00:00
List-Id: <comp.lang.ada>

Victor Porton <porton@narod.ru> writes:

> Yet one mysterious bug: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83310
>
> I am leaving Ada and try to learn Rust or D, or maybe even code in C# 
> instead.
>
> I cannot tolerate GNAT bugs anymore.
>
> For the last bug I simply don't know what is a workaround.

And no one else is going to try to find out, because your attachments to
that bug report aren't complete (you've left out the libraries
"components" and "librdf" that are required by your GPR).

You'd be more likely to get a response if you read and took to heart the
advice in StackOverflow's "How to create a Minimal, Complete, and
Verifiable example" at <https://stackoverflow.com/help/mcve>.

Here, compiling your problem source with GCC 7.1.0 gives

$ /opt/gcc-7.1.0/bin/gnatmake boiler-rdf_format-resource-parser.adb
gcc -c boiler-rdf_format-resource-parser.adb
boiler-rdf_format-resource-parser.adb:3:04: missing "return" statement in function body
boiler-rdf_format-resource-parser.adb:3:20: not type conformant with declaration at boiler-rdf_format-resource-parser.ads:29
boiler-rdf_format-resource-parser.adb:3:20: type of "S" does not match
boiler-rdf_format-resource-parser.adb:9:32: no selector "" for type "Command_Script_Info" defined at boiler-rdf_format-resource.ads:21
gnatmake: "boiler-rdf_format-resource-parser.adb" compilation error

and with GCC 8.0.0 gives

$ /opt/gcc-8.0.0/bin/gnatmake boiler-rdf_format-resource-parser.adb
gcc -c boiler-rdf_format-resource-parser.adb
boiler-rdf_format-resource-parser.adb:3:04: missing "return" statement in function body
boiler-rdf_format-resource-parser.adb:3:20: not type conformant with declaration at boiler-rdf_format-resource-parser.ads:29
boiler-rdf_format-resource-parser.adb:3:20: type of "S" does not match
rdf-redland-query_results.ads:35:19: subprogram "Finished" overrides inherited operation at rdf-auxiliary-limited_handled_record.ads:40, instance at line 90
rdf-redland-query_results.ads:35:19: subprogram "Finished" overrides inherited operation
gnatmake: "boiler-rdf_format-resource-parser.adb" compilation error