Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. error message: explain quantification mismatches (details)
  2. update Changes (details)
Commit 524fd249c09812d8d3371e00a8e108a4dd9d512b by Florian Angeletti
error message: explain quantification mismatches
The file was modifiedtestsuite/tests/typing-gadts/test.ml (diff)
The file was modifiedtyping/ctype.mli (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr10907.ml (diff)
The file was modifiedtyping/errortrace.mli (diff)
The file was modifiedtyping/errortrace.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly_params.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedtyping/errortrace_report.ml (diff)
The file was modifiedtyping/typecore.ml (diff)
The file was modifiedChanges (diff)