Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add Hint when a module is used in place of a module type (commit: 50848fe) (details)
Commit 50848feb108fa386440e1de3d593afb0e3257923 by xavier.vdw
Add Hint when a module is used in place of a module type

Add hint when a module is used instead of a module type or when a
module type is used instead of a module or when a class type is
used instead of a class.
 (commit: 50848fe)
The file was modifiedtyping/env.ml (diff)
The file was modifiedChanges (diff)
The file was addedtestsuite/tests/typing-modules/pr6633.ml