Mercury Bugs - mercury
View Issue Details
0000438mercuryBugpublic2017-08-05 14:552017-08-05 14:55
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000438: partial module qualification of use_module imported entity
DescriptionCommit 5649f36 (Handle "use_module in interface, import_module in implementation") changed the language definition such that entities imported via use_module must be *fully* module qualified.

In the attached test case, we are still able to refer to a partially qualified bar.baz.in_baz (should be
TagsNo tags attached.
Attached Filesgz submodule_test.tar.gz (10,240) 2017-08-05 14:55

There are no notes attached to this issue.

Issue History
2017-08-05 14:55wangpNew Issue
2017-08-05 14:55wangpFile Added: submodule_test.tar.gz