You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ocp-lint will complain that x is not fully qualified:
File "lint_qual.ml", line 3, characters 11-12:
Warning 1: plugin_typedtree/fully_qualified_identifiers/not-qualified-enough SEVERITY 2
external identifier "x" is not fully qualified
(should be "M.x")
I'd argue that either no warning should be emitted at all, or that at least it should be possible to disable the emission of the warning in that case, without deactivating the whole category.
The text was updated successfully, but these errors were encountered:
In the following code:
ocp-lint
will complain thatx
is not fully qualified:I'd argue that either no warning should be emitted at all, or that at least it should be possible to disable the emission of the warning in that case, without deactivating the whole category.
The text was updated successfully, but these errors were encountered: