Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix #7741: Failure to report escaping type variable (#9545) (commit: 13a081b) (details)
Commit 13a081b04edefcef1df1b608fc25d2286d817600 by noreply
Fix #7741: Failure to report escaping type variable (#9545)

 (commit: 13a081b)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtyping/ctype.ml (diff)