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

Lift a simple function into an operation safely. #879

Merged
merged 1 commit into from
Jan 8, 2024
Merged

Lift a simple function into an operation safely. #879

merged 1 commit into from
Jan 8, 2024

Commits on Jan 6, 2024

  1. Lift a simple function into an operation safely.

    There is the potential for a function, if it is a continuation, to
    cause the scope in which it is called to be destroyed. In this
    case, nothing after that function should ever be called. However,
    because of the way `lift()` is currently implemented, this will not be
    the case.
    
    This unpacks the `lift()` function to be a single instruction that
    immediately returns value of invoking the function. However, because
    there is a `yield` point in the computation, it is an opportunity to
    not continue which will happen if corresponding frame is closed.
    
    At the same time, it removes the named types since they don't really
    add much clarity when you look at them from your language server.
    cowboyd committed Jan 6, 2024
    Configuration menu
    Copy the full SHA
    44995ef View commit details
    Browse the repository at this point in the history