Changes

Summary

Fix #9640: regression introduced by #9623 (commit: a96a610) (details)
update PR number (commit: 6a47e31) (details)
add example (commit: b2b9fc3) (details)
factorize in merge_constraint (commit: 9dc7df7) (details)
comment for module alias + factorize with_type/with_typesubst (commit: 83ae23d) (details)

Commit a96a610a9582b0d6548af6b811bd00872977317c by garrigue Fix #9640: regression introduced by #9623 (commit: a96a610)
The file was modified	Changes (diff)
The file was modified	testsuite/tests/typing-modules/merge_constraint.ml (diff)
The file was modified	typing/typemod.ml (diff)
Commit 6a47e31dcb8122f8cebfc1ef208c2f9abd087cf6 by garrigue update PR number (commit: 6a47e31)
The file was modified	Changes (diff)
Commit b2b9fc3d9a44863f8bdf5357bfa8b00e285cbfc4 by garrigue add example (commit: b2b9fc3)
The file was modified	testsuite/tests/typing-modules/merge_constraint.ml (diff)
Commit 9dc7df741bd1343df783271b12438416aa3297d4 by garrigue factorize in merge_constraint (commit: 9dc7df7)
The file was modified	typing/typemod.ml (diff)
Commit 83ae23d24927275ee2465507f9487a7193f0ae71 by garrigue comment for module alias + factorize with_type/with_typesubst (commit: 83ae23d)
The file was modified	typing/typemod.ml (diff)