Skip to content

Correction: update the stored-empty container aggregate example - #1396

Open
gusthoff wants to merge 2 commits into
AdaCore:mainfrom
gusthoff:dev/topic/content/courses/advanced-ada/empty-container-aggregate/2026-10-25
Open

gusthoff wants to merge 2 commits into
AdaCore:mainfrom
gusthoff:dev/topic/content/courses/advanced-ada/empty-container-aggregate/2026-10-25

Conversation

@gusthoff

Copy link
Copy Markdown
Collaborator
  • Return the stored empty value through an expression function.
  • Add a runnable demonstration and remove the older GNAT pin.

Co-Authored-By: Codex noreply@openai.com

gusthoff and others added 2 commits October 25, 2026 02:51
Return the stored empty constant through an expression function.

Co-Authored-By: Codex <noreply@openai.com>
- Demonstrate that an empty aggregate returns the stored empty value.
- Enable the run button and remove the older GNAT pin.

Co-Authored-By: Codex <noreply@openai.com>
@gusthoff
gusthoff requested a review from swbaird October 25, 2026 00:54

@swbaird swbaird left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Looks good. There is always more one could add - in this case, we could also talk about the case where the Empty function takes a parameter (in addition to talking about the parameterless case). But this change is fine as it stands.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants