Mercury Bugs - mercury
View Issue Details
0000525mercuryBugpublic2020-10-29 19:352020-10-29 19:35
Reporterzs 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000525: compiler should detect missing included module
DescriptionThe compiler should generate an error message for situations
such as:

backend_libs.m has an include_module for erlang_rtti
erlang_rtti is deleted, along with all import_modules for it
the include_module for erlang_rtti becomes an orphan
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2020-10-29 19:35zsNew Issue