Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add another test for usage warnings (commit: 1c03659) (details)
  2. Fix missing unused variables warning with functor application (commit: b0e1540) (details)
  3. Fix unused functor argument warning in toplevel (commit: 62e286a) (details)
  4. Make the `mark` parameters in `Includemod` non-optional (commit: bc8c0d2) (details)
  5. Add Changes entry (commit: fd25722) (details)
Commit 1c03659e340d0a959c2f4801b18caa24727859fb by leo
Add another test for usage warnings
 (commit: 1c03659)
The file was addedtestsuite/tests/typing-warnings/pr9244.ml
Commit b0e1540ac1b63c40fb6803e5631b53648981c707 by leo
Fix missing unused variables warning with functor application
 (commit: b0e1540)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtestsuite/tests/typing-warnings/pr9244.ml (diff)
Commit 62e286a1c73b07464c9c5392da13a3742254464a by leo
Fix unused functor argument warning in toplevel
 (commit: 62e286a)
The file was modifiedtoplevel/toploop.ml (diff)
The file was modifiedtoplevel/opttoploop.ml (diff)
The file was modifiedtestsuite/tests/typing-warnings/pr9244.ml (diff)
Commit bc8c0d2538e6818a0778c4f123acfcaba2598686 by leo
Make the `mark` parameters in `Includemod` non-optional
 (commit: bc8c0d2)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtyping/includemod.ml (diff)
The file was modifiedtyping/includemod.mli (diff)
The file was modifieddriver/compile_common.ml (diff)
The file was modifiedChanges (diff)