Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #9385 from lpw25/fix-copy-scope-bugs (commit: a091c89) (details)
  2. Merge pull request #9415 from lpw25/fix-open-struct-in-flambda-toplevel (commit: c96220c) (details)
Commit a091c89005d2b5b0fbddbfb7bc626c58d3165e5d by leo
Merge pull request #9385 from lpw25/fix-copy-scope-bugs

Fix copy scope bugs

(cherry picked from commit 1f9be49f027a4680c329ddcfe3ad2ca46e9b16bf)
 (commit: a091c89)
The file was addedtestsuite/tests/typing-modules/pr9384.ml
The file was modifiedtyping/subst.ml (diff)
The file was modifiedChanges (diff)
Commit c96220c2b94b702c91970832de19e6226b46b9fe by leo
Merge pull request #9415 from lpw25/fix-open-struct-in-flambda-toplevel

Treat `open struct` as `include struct` in toplevel

(cherry picked from commit 2a50fef1aea30adda55b5153ec36244b01ed79fd)
 (commit: c96220c)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/generalized-open/gpr1506.ml (diff)
The file was modifiedtestsuite/tests/generalized-open/accepted_expect.ml (diff)