Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow (commit: aeb980b) (details)
  2. For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. (commit: 48b9b73) (details)
  3. Introduce Sixtyfour memory chunk to handle unaligned accesses (commit: 5f2b948) (details)
  4. Address reviewer comments. (commit: a2e25d6) (details)
  5. Catch invalid aliases at merging rather than subtyping (#14066) (commit: 5607fc4) (details)
Commit aeb980bcaff52ab831a8e1e7e40b75857dd84167 by samuel.aime.vivien
Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow
 (commit: aeb980b)
The file was modifiedtyping/gprinttyp.ml (diff)
Commit 48b9b736ee719a5645de0a30db86710edb87751a by kc
For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`.
 (commit: 48b9b73)
The file was modifiedasmcomp/arm64/emit.mlp (diff)
Commit 5f2b948a56124aa0864e202e0270475fbf97e21c by kc
Introduce Sixtyfour memory chunk to handle unaligned accesses
 (commit: 5f2b948)
The file was modifiedasmcomp/arm64/emit.mlp (diff)
The file was modifiedasmcomp/arm64/selection.ml (diff)
The file was modifiedasmcomp/printcmm.ml (diff)
The file was modifiedasmcomp/riscv/emit.mlp (diff)
The file was modifiedasmcomp/cmm.mli (diff)
The file was modifiedasmcomp/power/emit.mlp (diff)
The file was modifiedasmcomp/s390x/emit.mlp (diff)
The file was modifiedasmcomp/cmm.ml (diff)
The file was modifiedasmcomp/amd64/emit.mlp (diff)
The file was modifiedasmcomp/cmm_helpers.ml (diff)
The file was modifiedasmcomp/thread_sanitizer.ml (diff)
Commit a2e25d6d9aae00fb6762e0c3a890f4ad23b73be6 by kc
Address reviewer comments.
 (commit: a2e25d6)
The file was modifiedChanges (diff)
The file was modifiedasmcomp/arm64/emit.mlp (diff)
Commit 5607fc429d6a45bf4802c175c2950a5c8ba3711a by noreply
Catch invalid aliases at merging rather than subtyping (#14066)

* Add tests for introduction of invalid aliases via module constraints

* Catch invalid aliases at module constraints, not at subtyping

* Remove the unreachable "Invalid alias" subtyping error

* changelog
 (commit: 5607fc4)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/aliases.ml (diff)
The file was modifiedtyping/includemod_errorprinter.ml (diff)
The file was modifiedtyping/includemod.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtyping/typemod.mli (diff)
The file was modifiedtyping/includemod.mli (diff)
The file was modifiedtestsuite/tests/typing-modules/merge_constraint.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7818.ml (diff)