Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000439 | mercury | Bug | public | 2017-08-06 13:09 | 2017-08-06 13:09 |
| Reporter | wangp | ||||
|---|---|---|---|---|---|
| Assigned To | |||||
| Priority | low | Severity | minor | Reproducibility | always |
| Status | new | Resolution | open | ||
| Platform | OS | OS Version | |||
| 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. | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  empty_submodule.m (469) 2017-08-06 13:09https://bugs.mercurylang.org/file_download.php?file_id=272&type=bug | ||||
| There are no notes attached to this issue. |
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2017-08-06 13:09 | wangp | New Issue | |||
| 2017-08-06 13:09 | wangp | File Added: empty_submodule.m | |||