Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add regression test (details)
  2. Fix non-destructive `with type` with type constraints (details)
  3. Add with type constraint testing (details)
  4. Update changelog (details)
Commit 9936c99820f4d4aa53a7eb3ee1e99bfdd4f0d340 by rtjoa
Add regression test
The file was modifiedtestsuite/tests/typing-modules/merge_constraint.ml (diff)
Commit fd56f1f4c7f850a25b3606e588b2579b9ec234a0 by rtjoa
Fix non-destructive `with type` with type constraints
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/merge_constraint.ml (diff)
Commit 2204b3dd03ebd6612be9fc1e4bc4b2c0623d32e0 by rtjoa
Add with type constraint testing
The file was modifiedtestsuite/tests/typing-modules/merge_constraint.ml (diff)
The file was modifiedChanges (diff)