Re: I am leaving Ada :-( because of GNAT bugs

[Simon Wright <simon@pushface.org>]

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