Skip to content

add row polymorphism declarations to continations, fix some bad ones #3089

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

add row polymorphism declarations to continations, fix some bad ones #3089

wants to merge 1 commit into from

Conversation

@jonenst
Copy link
Contributor

@jonenst jonenst commented Oct 19, 2024 •
edited
Loading

can someone check that the new stack effects are correct ?
@jonenst jonenst force-pushed the continuationsrowpoly branch from ec219eb to 4784278 Compare October 19, 2024 19:51
@jonenst
Copy link
Contributor Author

jonenst commented Oct 24, 2024

don't merge there's a mistake in cleanup it doesn't get the error. Also it seems like row variables can't express the min height of mismatching branches (with exception or without exception) of cleanup/finally, so need to decide on what to do
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@jonenst