Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix #9695: no error when opening an alias to a missing module (commit: 6ccab9b) (details)
  2. change API for Env.open_signature to clarify errors (commit: 95a8fbf) (details)
  3. add example without -no-alias-deps (commit: ab83af0) (details)
  4. Adjust Changes for #9011 (commit: 9be2c01) (details)
Commit 6ccab9b9b01e9494e10d354c089b71add10f7dd9 by garrigue
Fix #9695: no error when opening an alias to a missing module
 (commit: 6ccab9b)
The file was addedtestsuite/tests/typing-modules-bugs/pr9695_bad.ml
The file was modifiedChanges (diff)
The file was addedtestsuite/tests/typing-modules-bugs/pr9695_bad.compilers.reference
The file was modifiedtyping/env.ml (diff)
Commit 95a8fbfd5b8b49634101c10dc070cf1285a94277 by garrigue
change API for Env.open_signature to clarify errors
 (commit: 95a8fbf)
The file was modifiedtyping/env.ml (diff)
The file was modifiedtyping/envaux.ml (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedtyping/env.mli (diff)
The file was modifiedtyping/typemod.ml (diff)
Commit ab83af0322552fbed4c5538208fd47bbb660fecc by garrigue
add example without -no-alias-deps
 (commit: ab83af0)
The file was modifiedChanges (diff)
The file was addedtestsuite/tests/typing-modules/pr9695.ml
The file was modifiedChanges (diff)