Skip to content

Conversation

pat-rogers
Copy link
Contributor

Stress that streams can contain values of multiple types by definition, so this is as type-safe as can be.

Do some minor formatting and polishing.

@pat-rogers pat-rogers requested a review from gusthoff September 16, 2025 16:12
@pat-rogers
Copy link
Contributor Author

pat-rogers commented Sep 19, 2025 via email

@gusthoff gusthoff merged commit f91c62d into AdaCore:main Sep 19, 2025
6 checks passed
@pat-rogers
Copy link
Contributor Author

pat-rogers commented Sep 19, 2025 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants