Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. error messages: point mismatched univars (commit: 511e95b) (details)
  2. update Changes (commit: b5a884a) (details)
Commit 511e95be095aa0d45f0d8f2c29cab6f59a17a948 by Florian Angeletti
error messages: point mismatched univars
 (commit: 511e95b)
The file was modifiedtyping/errortrace.ml (diff)
The file was modifiedtyping/ctype.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtyping/errortrace.mli (diff)
The file was modifiedtyping/errortrace_report.ml (diff)
The file was modifiedChanges (diff)