Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000490mercuryFeature Requestpublic2020-01-11 18:182020-01-11 18:18
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000490: when importing A.B, do not require importing A
DescriptionCurrently, a module X that imports A.B must also import A; if it does not, it gets
an error about A.B being inaccessible. This makes C unnecessarily dependent on A,
which is undesirable; for example, it leads to X having to be recompiled when
a new submodule A.C gets added to A, even though X has nothing to do with A.C.

This issue was discussed on m-rev in november of 2015 in a thread named
"should we break up module_qual.m". This discussion reached a concensus
in favour of this change.
TagsNo tags attached.
Relationships
Attached Files

There are no notes attached to this issue.

Issue History
Date ModifiedUsernameFieldChange
2020-01-11 18:18zsNew Issue
2020-01-11 18:18zsAssigned To => zs
2020-01-11 18:18zsStatusnew => assigned