Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prefer usage of quantified expressions #1238

Merged
merged 2 commits into from
Jun 10, 2024
Merged

Prefer usage of quantified expressions #1238

merged 2 commits into from
Jun 10, 2024
+18 −49

Conversation

pjljvandelaar
Copy link
Contributor

Addresses issue 1237

Solution by Rejuvenation-Ada crate
vote for Rejuvenation-Ada as The 2022 Ada Crate Of The Year

@pjljvandelaar
Copy link
Contributor Author

Don't understand why the macos-latest fails.
Could you please explain if I did something wrong.

@mosteo
Copy link
Member

mosteo commented Nov 14, 2022

macOS errors are not caused by your changes, we're investigating this issue.

@jquorning
Copy link
Contributor

jquorning commented Mar 13, 2023 •
edited
Loading

macOS: The logs for this run have expired and are no longer available.

jquorning
jquorning reviewed Mar 13, 2023
View reviewed changes
Copy link
Contributor

@jquorning jquorning left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This program text is working only with an Ada 2012 compiler.

@pjljvandelaar
Copy link
Contributor Author

This program text is working only with an Ada 2012 compiler.

Indeed, quantified expressions are supported since Ada 2012.
See e.g. https://www.adacore.com/uploads/technical-papers/Ada2012_Rationale_Chp2_expressions.pdf

@mosteo mosteo merged commit 72ebc9a into alire-project:master Jun 10, 2024
22 checks passed
@pjljvandelaar pjljvandelaar deleted the issue1237 branch June 17, 2024 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jquorning jquorning

@mosteo mosteo

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@pjljvandelaar @mosteo @jquorning