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. 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 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 modifiedtestsuite/tests/typing-modules/pr7818.ml (diff)
The file was modifiedtyping/includemod.mli (diff)
The file was modifiedtyping/includemod.ml (diff)
The file was modifiedtyping/includemod_errorprinter.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/merge_constraint.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtyping/typemod.mli (diff)