mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-14 21:35:49 +00:00
Avoid ambiguity warnings with --intermodule-optimization.
Estimated hours taken: 0. Branches: main compiler/xml_documentation.m: Avoid ambiguity warnings with --intermodule-optimization.
This commit is contained in:
@@ -324,7 +324,7 @@ get_comment_backwards(Comments, Line) = Comment :-
|
|||||||
|
|
||||||
import_documentation(InterfaceImportedModules, ImportedModule, !Xmls) :-
|
import_documentation(InterfaceImportedModules, ImportedModule, !Xmls) :-
|
||||||
XmlName = name(ImportedModule),
|
XmlName = name(ImportedModule),
|
||||||
( ImportedModule `member` InterfaceImportedModules ->
|
( ImportedModule `set.member` InterfaceImportedModules ->
|
||||||
XmlVisibility = visibility(status_exported)
|
XmlVisibility = visibility(status_exported)
|
||||||
;
|
;
|
||||||
XmlVisibility = visibility(status_local)
|
XmlVisibility = visibility(status_local)
|
||||||
|
|||||||
Reference in New Issue
Block a user