Mercury Bugs - mercury
View Issue Details
0000439mercuryBugpublic2017-08-06 13:092017-08-06 13:09
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000439: cannot build module which imports empty nested sub-module
DescriptionBoth mmc --make and mmake are unable to build a module which tries to import an empty nested sub-module. Obviously this is extremely low priority, and the fix may be to disallow such sub-modules.

% mmc -m empty_submodule
Making Mercury/int3s/empty_submodule.int3
empty_submodule.m:014: Warning: submodule `empty_submodule.nested' of module
empty_submodule.m:014: `empty_submodule' is empty.
** Error reading file `empty_submodule.nested.m' to generate dependencies.
** Module `empty_submodule.nested' is imported or included by module `empty_submodule'.
mercury_compile: cannot find source for module `empty_submodule.nested' in
  directories `.'

% mmake empty_submodule.depend && mmake empty_submodule
gmake: *** No rule to make target '', needed by 'empty_submodule.c_date'. Stop.
TagsNo tags attached.
Attached Files? empty_submodule.m (469) 2017-08-06 13:09

There are no notes attached to this issue.

Issue History
2017-08-06 13:09wangpNew Issue
2017-08-06 13:09wangpFile Added: empty_submodule.m