mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
df344578d3
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.
25 lines
830 B
Mathematica
25 lines
830 B
Mathematica
%---------------------------------------------------------------------------%
|
|
% vim: ts=4 sw=4 et ft=mercury
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- module func_class.
|
|
%---------------------------------------------------------------------------%
|
|
% Class constraints on functions were being written out before the
|
|
% determinism annotation in interface files.
|
|
:- module func_class1.
|
|
:- interface.
|
|
|
|
:- typeclass tc(T) where [].
|
|
:- func f(T) = int is det <= tc(T).
|
|
|
|
:- implementation.
|
|
f(_) = 1.
|
|
|
|
:- end_module func_class1.
|
|
%---------------------------------------------------------------------------%
|
|
% Read in the faulty interface file.
|
|
:- module func_class2.
|
|
:- implementation.
|
|
:- import_module func_class.func_class1.
|
|
:- end_module func_class2.
|