Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

  1. error messages: external with non-syntactic arity (commit: 36ddb17) (details)
  2. release calendar update (commit: 53699e2) (details)
Commit 36ddb173e8749d726bc3d9581bc61596d3530048 by Florian Angeletti
error messages: external with non-syntactic arity
 (commit: 36ddb17)
The file was modifiedtyping/typedecl.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtyping/typedecl.mli (diff)
The file was addedtestsuite/tests/typing-external/non_syntactic_arity.ml
The file was modifiedrelease-info/calendar.md (diff)