Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

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