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

get rid of ImmutableVector calls (WIP) #5307

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

ThomasBreuer
Copy link
Contributor

The idea is to use "example vectors" with the desired internal representation whenever this is possible.
Thus eventually only those (few) ImmutableVector calls will remain where GAP is expected to choose an appropriate internal representation. (And we will then see how this situation can be improved further.)

The idea is to use "example vectors" with the desired internal
representation whenever this is possible.
Thus eventually only those (few) `ImmutableVector` calls will remain
where GAP is expected to choose an appropriate internal representation.
(And we will then see how this situation can be improved further.)
@ThomasBreuer ThomasBreuer added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) topic: library release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jan 6, 2023
@fingolfin
Copy link
Member

This seems plausible to me

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants