mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
2a08f3bf23
compiler/check_module_interface.m:
compiler/parse_class.m:
Add color to the diagnostics generated by these modules.
In a few cases, improve the wording of the diagnostic.
tests/invalid/type_inf_loop.err_exp:
tests/invalid/typeclass_missing_det_3.err_exp:
tests/invalid_make_int/bad_existential_data_type.int_err_exp:
tests/invalid_make_int/unbound_type_vars_int.int_err_exp:
tests/invalid_nodepend/bigtest.err_exp:
tests/invalid_nodepend/duplicate_modes.err_exp:
tests/invalid_nodepend/errors_1.err_exp:
tests/invalid_nodepend/errors_2.err_exp:
tests/invalid_nodepend/errors_3.err_exp:
tests/invalid_nodepend/funcs_as_preds.err_exp:
tests/invalid_nodepend/inst_list_dup.err_exp:
tests/invalid_nodepend/no_exports.err_exp:
tests/invalid_nodepend/occurs.err_exp:
tests/invalid_nodepend/prog_io_erroneous.err_exp:
tests/invalid_nodepend/typeclass_no_param.err_exp:
tests/invalid_nodepend/typeclass_test_1.err_exp:
tests/invalid_nodepend/typeclass_test_2.err_exp:
tests/invalid_nodepend/typeclass_test_3.err_exp:
tests/invalid_nodepend/unicode_1.err_exp:
tests/invalid_nodepend/unicode_2.err_exp:
tests/invalid_nodepend/var_as_pred_name.err_exp:
tests/invalid_nodepend/vars_in_wrong_places.err_exp:
tests/warnings/empty_interface.err_exp:
Expect updated diagnostics.
9 lines
628 B
Plaintext
9 lines
628 B
Plaintext
empty_interface.m:005: Warning: the interface of module [38;5;87m`empty_interface'[39;49m [38;5;203mdoes[39;49m
|
||
empty_interface.m:005: [38;5;203mnot export anything.[39;49m
|
||
empty_interface.m:005: To be useful, a module should export something. A file
|
||
empty_interface.m:005: should contain at least one declaration other than
|
||
empty_interface.m:005: `:- import_module' in its interface section(s). This
|
||
empty_interface.m:005: would normally be a `:- pred' or `:- func'
|
||
empty_interface.m:005: declaration, or a `:- type', `:- inst', `:- mode',
|
||
empty_interface.m:005: `:- typeclass' or `:- instance' definition.
|