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

Remove WeakExtension #517

Merged
merged 5 commits into from
Apr 13, 2022
Merged

Remove WeakExtension #517

merged 5 commits into from
Apr 13, 2022

Commits on Apr 12, 2022

  1. Remove WeakExtension

    With the new support for variable-length elements in SequenceValue,
    we can use a SequenceValue with a single variable-length element
    instead of a "weak" list. The behavior should be roughly equivalent.
    JelleZijlstra committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    757436c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    967aaa6 View commit details
    Browse the repository at this point in the history
  3. remove unused imports

    JelleZijlstra committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    b492ce4 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2022

  1. Configuration menu
    Copy the full SHA
    c47bad1 View commit details
    Browse the repository at this point in the history
  2. additional test

    JelleZijlstra committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    d42b0f7 View commit details
    Browse the repository at this point in the history