Skip to content

Use a nullable array implementation internally#2

Draft
craigfe wants to merge 3 commits intobacktracking:mainfrom
craigfe:nullable-array
Draft

Use a nullable array implementation internally#2
craigfe wants to merge 3 commits intobacktracking:mainfrom
craigfe:nullable-array

Conversation

@craigfe
Copy link
Contributor

@craigfe craigfe commented May 18, 2021

This PR contains the patch described in #1. It's not mergeable yet as it relies on extensions to nullable-array (PRed here), but I thought I'd create the PR now in case there are any initial comments (which will perhaps create new requirements for my other patch).

The changes are as follows:

  • remove all ~dummy arguments;
  • change resize to require an initialisation element for the new suffix that it may create;
  • add shrink, a variant of resize that can only reduce the size of the vector and so doesn't need an initialisation element;
  • add a dependency on the nullable-array library.

I haven't added any new test cases, but I'm very happy to do so. The existing ones are passing in the CI system on my own fork (here), which has decent platform coverage.

Loading
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