Files
mercury/tests/invalid_submodules/duplicate_module_test.m
Zoltan Somogyi df344578d3 Rename X's aux modules as X_helper_N in invalid_submodules.
tests/invalid_submodules/*.m:
    Rename modules as mentioned above.

    Indent nested submodules to make them stand out.

tests/invalid_submodules/*.m:
tests/invalid_submodules/*.err_exp:
    Update all references to the moved modules.

tests/invalid_submodules/Mercury.options:
    Delete reference to a test that is another directory.
2023-06-19 18:31:32 +02:00

20 lines
622 B
Mathematica

%---------------------------------------------------------------------------%
% vim: ts=4 sw=4 et ft=mercury
%---------------------------------------------------------------------------%
%
% Test of modules declared as both nested and separate modules.
% The error occurs in the imported module duplicate_module.m,
% but it is detected when making the dependencies for this module.
:- module duplicate_module_test.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
:- import_module duplicate_module_test_helper_1.
mainI(!IO) :-
duplicate_module_test_helper_1.do_main(!IO).