mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
349 B
349 B
bad_module_name.sub.m:008: Error: file `bad_module_name.sub.m' contains the
bad_module_name.sub.m:008: wrong module. Expected module
bad_module_name.sub.m:008: `bad_module_name.sub', found module
bad_module_name.sub.m:008: `wrong_module_name'.
bad_module_name.m:010: The expected name is specified here.
bad_module_name.sub.m:008: wrong module. Expected module
bad_module_name.sub.m:008: `bad_module_name.sub', found module
bad_module_name.sub.m:008: `wrong_module_name'.
bad_module_name.m:010: The expected name is specified here.