Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #9244 from lpw25/fix-usage-warnings (commit: 2e44534) (details)
Commit 2e44534a92fbbda62910d388cb0859def09650b2 by Florian Angeletti
Merge pull request #9244 from lpw25/fix-usage-warnings

Fix usage warnings

(cherry picked from commit 1fb6a464a8c8952763bdb2e04d05637bce55c3e6)
 (commit: 2e44534)
The file was addedtestsuite/tests/typing-warnings/pr9244.ml
The file was modifiedtoplevel/toploop.ml (diff)
The file was modifiedtoplevel/opttoploop.ml (diff)
The file was modifiedtyping/typemod.ml (diff)
The file was modifieddriver/compile_common.ml (diff)
The file was modifiedtyping/includemod.ml (diff)
The file was modifiedtyping/includemod.mli (diff)
The file was modifiedChanges (diff)