Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Revert "build_subtype: assert arrow type is known (#9348)" (commit: 0bc07da) (details)
  2. Add tests for #9859 after #9348 revert (commit: cacfa69) (details)
  3. update Changes (commit: 897de32) (details)
Commit 0bc07da5a785b25d7003675a12a09bbd1f187269 by Florian Angeletti
Revert "build_subtype: assert arrow type is known (#9348)"

This reverts commit bea2d045827b3f94f4e4da3c2c388344ceaee67b.
 (commit: 0bc07da)
The file was modifiedtyping/ctype.ml (diff)
Commit cacfa6994e5c7e204446e19def71da960a94728f by Florian Angeletti
Add tests for #9859 after #9348 revert
 (commit: cacfa69)
The file was modifiedtestsuite/tests/typing-misc/labels.ml (diff)
The file was modifiedChanges (diff)