Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

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