Skip to content

Fix demoting apply_cont in switch#464

Merged
mshinwell merged 5 commits intoocaml-flambda:flambda2.0-stablefrom
chambart:fix_escaping_exn_cont
Jun 9, 2021
Merged

Fix demoting apply_cont in switch#464
mshinwell merged 5 commits intoocaml-flambda:flambda2.0-stablefrom
chambart:fix_escaping_exn_cont

Conversation

@chambart
Copy link
Copy Markdown

The changes to exception continuations of #451 have not been propagated to the apply_cont in switches. This fixes some problems related to that. I do not know if this misses things in Rebuild_expr. @mshinwell you should look carefully there to see if any changes to this is required there.

@Gbury
Copy link
Copy Markdown

Gbury commented May 28, 2021

In order for the new test to actually be run by CI, you need to add a line with the folder name (in this case tests/flambda2) in .github/workflows/test-list.

@chambart
Copy link
Copy Markdown
Author

Thanks I would have missed that. I took the opportunity to also add another missing test dir

@mshinwell mshinwell self-requested a review June 9, 2021 09:05
@mshinwell
Copy link
Copy Markdown

This looks good and I'm going to merge it now. However I think some changes might be needed in Expr_builder in the case where new wrappers are introduced when rewriting uses. Will explain on slack.

@mshinwell mshinwell merged commit 8576df2 into ocaml-flambda:flambda2.0-stable Jun 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants