0000439: cannot build module which imports empty nested sub-module

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000439

mercury

Bug

public

2017-08-06 13:09

Reporter

wangp

Assigned To

Priority

low

Severity

minor

Reproducibility

always

Status

new

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000439: cannot build module which imports empty nested sub-module

Description

Both 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 'empty_submodule.nested.int', needed by 'empty_submodule.c_date'. Stop.

Date Modified	Username	Field
Issue History
2017-08-06 13:09	wangp	New Issue
2017-08-06 13:09	wangp	File Added: empty_submodule.m

Relationships

Notes
There are no notes attached to this issue.