You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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 usingscala.util.NotGiven
to prevent unsafe uses of the api:#146
The text was updated successfully, but these errors were encountered: