Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add test for #9856 (commit: bab1cf8) (details)
  2. Add missing `lower_contravariant` call (commit: 0eeeb2d) (details)
  3. Add Changes entry (commit: 203ef1f) (details)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
Commit 0eeeb2d43d95a9dc548bdf1cbc06cdc442d0ce75 by leo
Add missing `lower_contravariant` call
 (commit: 0eeeb2d)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedChanges (diff)