Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #9702 from garrigue/fix9695 (commit: 6672acb) (details)
Commit 6672acbcd8bd55d4abaf87d0401768c91b79f514 by gabriel.scherer
Merge pull request #9702 from garrigue/fix9695

Fix #9695: no error when opening an alias to a missing module

(cherry picked from commit 038fb85bac7399903da3b3b0a5de1f5ef626ad40)
 (commit: 6672acb)
The file was modifiedlambda/matching.ml (diff)
The file was addedtestsuite/tests/typing-modules-bugs/pr9695_bad.ml
The file was addedtestsuite/tests/typing-modules/pr9695.ml
The file was addedtestsuite/tests/typing-modules-bugs/pr9695_bad.compilers.reference
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtyping/envaux.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtyping/env.ml (diff)
The file was modifiedtyping/env.mli (diff)