Skip to content

Proposal: make forking safe in regard to boundary-based combinators #147

Open
@lbialy

Description

@lbialy

In the future capture calculus will make it possible to prevent unsafe captures of boundary.Label[A] but for now that's not yet stable or even available. I propose that fork family of operators include a scoped token (using a context function) that can be then reused using scala.util.NotGiven to prevent unsafe uses of the api:

#146

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions