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

Compiler: demonstrate and fix bug from 1354 #1356

Merged
merged 6 commits into from
Dec 12, 2022
Merged

Compiler: demonstrate and fix bug from 1354 #1356

merged 6 commits into from
Dec 12, 2022

Conversation

hhugo
Copy link
Member

@hhugo hhugo commented Dec 11, 2022

continues/replaces #1355
fix #1354

@vouillon
Copy link
Member

This works much better than I would have thought. With the right intuition (this is just argument passing), the changes to the optimization phases are straightforward. The complexity is localized in Parse_bytecode.

@hhugo
Copy link
Member Author

hhugo commented Dec 12, 2022

Thanks for the fix. I've squashed some commit. Do you have more on this PR ? Can we merge ?

@hhugo hhugo changed the title Compiler: demonstrate bug from 1354 Compiler: demonstrate and fix bug from 1354 Dec 12, 2022
@vouillon
Copy link
Member

vouillon commented Dec 12, 2022

Thanks for the fix. I've squashed some commit. Do you have more on this PR ? Can we merge ?

I think we can merge

@hhugo hhugo merged commit acd8497 into master Dec 12, 2022
@hhugo hhugo deleted the fix-incr branch December 12, 2022 12:40
hhugo pushed a commit to hhugo/opam-repository that referenced this pull request Dec 19, 2022
…s_of_ocaml-ppx_deriving_json, js_of_ocaml-ppx, js_of_ocaml-lwt and js_of_ocaml-compiler (5.0.0)

CHANGES:

## Features/Changes
* Compiler: add support for effect handlers (--enable=effects)
* Compiler: small refactoring in code generation
* Compiler: check build info compatibility when linking js file.
* Misc: fix and update benchmarks
* Misc: upgrade CI
* Toplevel: recover more names when generating code during toplevel evaluation
* Runtime: wrapping exception or not is now controled in the runtime.

## Bug fixes
* Runime: Gc.finalise_last should not be eliminated
* Tyxml: reactive dom needed a fix after ocsigen/js_of_ocaml#1268 (ocsigen/js_of_ocaml#1353)
* Toplevel: Make sure the toplevel uses the correct memory representaion for strings
* Compiler: fix minifier, missing constraint on try-catch blocks.
* Compiler: Miscompilation of code involving references and exceptions (ocsigen/js_of_ocaml#1354, ocsigen/js_of_ocaml#1356)
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.

[BUG] Miscompilation of code involving references and exceptions
2 participants