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.

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

Renaming "collection" as "list" #534

Closed
denismerigoux opened this issue Nov 28, 2023 · 0 comments · Fixed by #546
Closed

Renaming "collection" as "list" #534

denismerigoux opened this issue Nov 28, 2023 · 0 comments · Fixed by #546
Assignees
Labels
🔧 compiler Issue concerns the compiler ❓ invalid This doesn't seem right

Comments

@denismerigoux
Copy link
Contributor

The type "collection" should be renamed to "list" ("liste" in French). We should also specify "list of integer" instead of "list integer" (if the parser allows). This renaming will avoid any confusion that the user could have about order-preservation properties of operations on collections.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🔧 compiler Issue concerns the compiler ❓ invalid This doesn't seem right
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants