https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86916
--- Comment #10 from simon at pushface dot org ---
This was fixed in 10.1.0, and is still fixed in 11.1.0:
$ /opt/gcc-10.1.0/bin/gnatmake -c -u -f -gnatl *.adb
gcc -c -gnatl animation.adb
[...]
==============Error messages for source file: morph.ads
22. API_Morph_Value'(others => <>));
|
>>> expected type "API_Morph_Value" defined at line 13
>>> found a composite type
30. API_Morph_Weight'(others => <>));
|
>>> expected type "API_Morph_Weight" defined at line 14
>>> found a composite type
288 lines: 4 errors
gnatmake: "animation.adb" compilation error
