Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

  1. Fix missing expectations in typing-poly/poly.ml (commit: ca3d055) (details)
  2. Additional corrections (commit: cc99be1) (details)
  3. Audit unexecuted phrases (commit: 0df7dea) (details)
  4. Audit (commit: bcc6670) (details)
  5. Fix audit (commit: 7edc3e9) (details)
  6. Changes (commit: 0fc202c) (details)
  7. Update changes (commit: 3ca69c1) (details)
Commit ca3d055ae4984319da49fefc05b3b813b5edb1c1 by source
Fix missing expectations in typing-poly/poly.ml
 (commit: ca3d055)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtestsuite/tools/expect.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/polyvars.ml (diff)
The file was modifiedtestsuite/tests/typing-recmod/pr6491.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/firstclass.ml (diff)
The file was modifiedtestsuite/tests/letrec-check/records.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/yallop_bugs.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/injectivity.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/ambiguity.ml (diff)
The file was modifiedtestsuite/tests/typing-immediate/immediate.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7851.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/variance.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr7374.ml (diff)
The file was modifiedtestsuite/tests/letrec-check/float_unboxing.ml (diff)
The file was modifiedtestsuite/tests/lib-array/test_array.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/gadthead.ml (diff)
The file was modifiedtestsuite/tests/typing-unboxed-types/test.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr5985.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/aliases.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7818.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr13579.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr6158.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr5985.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/gadthead.ml (diff)
The file was modifiedtestsuite/tests/lib-array/test_array.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/firstclass.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/injectivity.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/yallop_bugs.ml (diff)
The file was modifiedtestsuite/tests/typing-immediate/immediate.ml (diff)
The file was modifiedtestsuite/tests/letrec-check/records.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr7374.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/variance.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7818.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr6158.ml (diff)
The file was modifiedtestsuite/tests/letrec-check/float_unboxing.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/pr13579.ml (diff)
The file was modifiedtestsuite/tests/typing-unboxed-types/test.ml (diff)
The file was modifiedtestsuite/tests/typing-poly/poly.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/aliases.ml (diff)
The file was modifiedtestsuite/tests/typing-recmod/pr6491.ml (diff)
The file was modifiedtestsuite/tests/typing-gadts/ambiguity.ml (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7851.ml (diff)
The file was modifiedtestsuite/tests/typing-misc/polyvars.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedChanges (diff)