Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

Update to GNAT Community 2020 #81

Closed
jklmnn opened this issue May 25, 2020 · 2 comments · Fixed by #82
Closed

Update to GNAT Community 2020 #81

jklmnn opened this issue May 25, 2020 · 2 comments · Fixed by #82
Assignees

Comments

@jklmnn
Copy link
Member

jklmnn commented May 25, 2020

When compiling SXML with GNAT Community 2020 I get the following error:

sxml.adb:66:13: error: not fully conformant with declaration at sxml.ads:320
sxml.adb:66:13: error: predicate of "D" does not match
@jklmnn
Copy link
Member Author

jklmnn commented May 25, 2020

It seems that the type Content_Base_Type and its subtype Content_Type need to have the same predicate.

@senier
Copy link
Member

senier commented May 26, 2020

It seems that the type Content_Base_Type and its subtype Content_Type need to have the same predicate.

No, this is an issue in the code that remained undetected in previous compiler versions. While the spec uses Content_Base_Type, the implementation uses Content_Type which is clearly an error.

@senier senier self-assigned this May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
@senier senier mentioned this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
senier pushed a commit that referenced this issue May 26, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants