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

Lifetime Dependency Annotations for Non-escapable Types #2305

Open
wants to merge 27 commits into
base: main
Choose a base branch
from

Commits on Jan 25, 2024

  1. First full draft.

    tbkka committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    7e767dc View commit details
    Browse the repository at this point in the history
  2. Whitespace cleanup

    tbkka committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    243e33b View commit details
    Browse the repository at this point in the history
  3. Fix formatting

    tbkka committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    b30308d View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Configuration menu
    Copy the full SHA
    ccc54d9 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Link to pitch thread

    tbkka committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    2992389 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. Configuration menu
    Copy the full SHA
    ba3946c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0aab19d View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Configuration menu
    Copy the full SHA
    f9b06b7 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. methods are mutating, not inout

    tbkka committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    84521ca View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Expand alternative syntaxes

    tbkka committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    3055bec View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Configuration menu
    Copy the full SHA
    78d07f2 View commit details
    Browse the repository at this point in the history
  2. Corrections from meg-gupta

    tbkka committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    6ebcdb4 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Overhaul semantics discussion

    We need to separate description of the dependency itself --
    which places a bound on when particular objects can be
    destroyed -- from the syntax.
    In particular, the syntax specifies a relationship between
    two objects, but that relationship is not always a
    lifetime dependency itself (because of "copied" dependencies).
    tbkka committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    eed1b05 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Configuration menu
    Copy the full SHA
    2e82c6b View commit details
    Browse the repository at this point in the history
  2. Use "copied lifetime dependency" more consistently

    Also, fix the proposed syntax for properties
    tbkka committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    f648b02 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Configuration menu
    Copy the full SHA
    a502076 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Configuration menu
    Copy the full SHA
    40a78d9 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Merge pull request #1 from atrick/rename-span

    Changed `StorageView` and `BufferReference` to `Span` to match the si…
    tbkka committed May 7, 2024
    Configuration menu
    Copy the full SHA
    bf846dd View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Configuration menu
    Copy the full SHA
    25e4355 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Additions to Proposed solutions

    - Dependent parameters
    - Dependent properties
    - Conditional dependencies
    - Immortal lifetimes
    - Depending on immutable global variables
    - Depending on an escapable `BitwiseCopyable` value
    - Depending on an escapable `BitwiseCopyable` value
    atrick committed May 28, 2024
    Configuration menu
    Copy the full SHA
    af162ef View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    adfe8a0 View commit details
    Browse the repository at this point in the history
  3. Cleanup Future directions

    Remove Lifetime Dependencies for Computed Properties
    
    Remove Lifetime Dependencies between arguments
    atrick committed May 28, 2024
    Configuration menu
    Copy the full SHA
    3b6f859 View commit details
    Browse the repository at this point in the history
  4. Additions to Future directions

    - Value component lifetime
    - Abstract lifetime components
    - Protocol lifetime requirements
    - Structural lifetime dependencies
    atrick committed May 28, 2024
    Configuration menu
    Copy the full SHA
    2fd52e1 View commit details
    Browse the repository at this point in the history
  5. Grammar updates

    atrick committed May 28, 2024
    Configuration menu
    Copy the full SHA
    1c5a02e View commit details
    Browse the repository at this point in the history
  6. Merge pull request #2 from atrick/update

    Add several new sections
    tbkka committed May 28, 2024
    Configuration menu
    Copy the full SHA
    c6ede5d View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Update and cleanup the grammar.

    Add dependent parameters, immortal dependencies, and 'selfDependsOn'.
    atrick committed May 29, 2024
    Configuration menu
    Copy the full SHA
    def2c82 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Merge pull request #3 from atrick/lifetime-dependency

    Update and cleanup the grammar.
    tbkka committed May 31, 2024
    Configuration menu
    Copy the full SHA
    d9aa90b View commit details
    Browse the repository at this point in the history