mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-06 07:49:02 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
mercury/tests/warnings
History
Zoltan Somogyi 2a1f376c5d Use spaces in all Mercury.options files. 
Use consistent indentation.

Sort many blocks of module-specific MCFLAGS settings by module name.

Add XXXs about some questionable options.
2025-12-06 10:39:04 +11:00
..
.gitignore
…
abstract_type_decl.err_exp
…
abstract_type_decl.m
…
allow_non_contiguity_for.err_exp
…
allow_non_contiguity_for.m
…
ambiguous_overloading.err_exp
Don't output lines that end with a space.
2025-09-15 06:28:07 +10:00
ambiguous_overloading.m
…
arg_order_rearrangment.err_exp
…
arg_order_rearrangment.m
…
bad_type_order_switch.err_exp
…
bad_type_order_switch.m
…
bug311.err_exp
…
bug311.m
…
bug412.err_exp
…
bug412.m
…
bug477.err_exp
…
bug477.m
…
bug576.err_exp
Fix a reversed sanity check.
2025-07-05 11:45:24 +02:00
bug576.m
Fix a reversed sanity check.
2025-07-05 11:45:24 +02:00
det_infer_warning.err_exp
…
det_infer_warning.m
…
disabled_warning.err_exp
…
disabled_warning.m
…
double_underscore.err_exp
…
double_underscore.m
…
duplicate_call.err_exp
…
duplicate_call.m
…
duplicate_const.err_exp
…
duplicate_const.m
…
empty_interface.err_exp
…
empty_interface.m
…
foreign_singleton.err_exp
…
foreign_singleton.err_exp2
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
foreign_singleton.err_exp3
Fix some more tests/invalid failures.
2025-09-14 14:28:42 +10:00
foreign_singleton.m
…
foreign_term_invalid.err_exp
…
foreign_term_invalid.m
…
format_call_multi_helper_1.m
…
format_call_multi.err_exp
…
format_call_multi.m
…
format_call_warning_helper_1.m
…
format_call_warning.err_exp
…
format_call_warning.m
…
gh85.err_exp
…
gh85.m
…
help_opt_levels.err_exp
Record the initial values of the bool_special options ...
2025-07-07 13:19:35 +02:00
help_opt_levels.m
…
help_text.err_exp
Merge --warn-interface-imports into --warn-unused-interface-imports.
2025-11-29 02:23:32 +11:00
help_text.m
…
inconsistent_pred_order.err_exp
Don't output lines that end with a space.
2025-09-15 06:28:07 +10:00
inconsistent_pred_order.m
…
inf_recursion_lambda.err_exp
…
inf_recursion_lambda.m
…
inference_test.err_exp
…
inference_test.m
…
infinite_recursion.err_exp
…
infinite_recursion.m
…
inst_with_no_type_helper_1.m
…
inst_with_no_type.err_exp
…
inst_with_no_type.m
…
lib_dup_profiling_builtin.err_exp
Rename tests that duplicate library module names.
2025-09-03 18:28:54 +02:00
lib_dup_profiling_builtin.m
Rename tests that duplicate library module names.
2025-09-03 18:28:54 +02:00
lib_dup_time.err_exp
Rename tests that duplicate library module names.
2025-09-03 18:28:54 +02:00
lib_dup_time.m
Rename tests that duplicate library module names.
2025-09-03 18:28:54 +02:00
lib_dup_time.subtime.m
Rename tests that duplicate library module names.
2025-09-03 18:28:54 +02:00
Mercury.options
Use spaces in all Mercury.options files.
2025-12-06 10:39:04 +11:00
missing_if.err_exp
…
missing_if.m
…
missing_singleton_warning.err_exp
…
missing_singleton_warning.m
…
Mmakefile
Fix some more tests/invalid failures.
2025-09-14 14:28:42 +10:00
moved_trace_goal.err_exp
Require warning/info messages to specify an option.
2025-08-18 12:07:38 +02:00
moved_trace_goal.m
…
non_contiguous_decls.err_exp
…
non_contiguous_decls.m
…
non_stratification.err_exp
…
non_stratification.m
…
non_term_user_special.err_exp
…
non_term_user_special.m
…
obsolete_proc_pragma.err_exp
…
obsolete_proc_pragma.m
…
occurs.err_exp
…
occurs.m
…
petdr1.err_exp
…
petdr1.m
…
pragma_source_file.err_exp
…
pragma_source_file.m
…
pragma_term_conflict.err_exp
…
pragma_term_conflict.m
…
purity_warnings.err_exp
Require warning/info messages to specify an option.
2025-08-18 12:07:38 +02:00
purity_warnings.m
…
redundant_coerce.err_exp
…
redundant_coerce.m
…
repeated_singleton.err_exp
…
repeated_singleton.m
…
save.err_exp
…
save.m
…
simple_code.err_exp
…
simple_code.m
…
singleton_test_state_var.err_exp
…
singleton_test_state_var.m
…
singleton_test.err_exp
…
singleton_test.err_exp2
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
singleton_test.err_exp3
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
singleton_test.m
…
spurious_obsolete.err_exp
…
spurious_obsolete.m
…
state_vars_test.err_exp
…
state_vars_test.m
…
subtype_order.err_exp
Don't output lines that end with a space.
2025-09-15 06:28:07 +10:00
subtype_order.m
…
suspicious_foreign_code.err_exp
…
suspicious_foreign_code.m
…
suspicious_recursion.err_exp
…
suspicious_recursion.m
…
table_with_inline.err_exp
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
table_with_inline.err_exp2
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
table_with_inline.err_exp3
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
table_with_inline.m
Fix some causes of test case failures in java grade.
2025-09-13 14:06:18 +10:00
term_indirect_warning.err_exp
…
term_indirect_warning.m
…
test_tscp.err_exp
Don't output lines that end with a space.
2025-09-15 06:28:07 +10:00
test_tscp.m
…
unify_f_g.err_exp
…
unify_f_g.m
…
unify_x_f_x.err_exp
…
unify_x_f_x.m
…
unknown_warning.err_exp
…
unknown_warning.m
…
unneeded_final_statevar.err_exp
Generate same final state var warnings for lambdas ...
2025-10-08 19:55:29 +11:00
unneeded_final_statevar.m
Generate same final state var warnings for lambdas ...
2025-10-08 19:55:29 +11:00
unneeded_mode_specific_clause.err_exp
…
unneeded_mode_specific_clause.m
…
unresolved_polymorphism_anon.err_exp
…
unresolved_polymorphism_anon.m
…
unsigned_zero_cmp.err_exp
…
unsigned_zero_cmp.m
…
unsorted_import_blocks.err_exp
…
unsorted_import_blocks.m
…
unused_args_analysis_helper_1.m
…
unused_args_analysis.err_exp
…
unused_args_analysis.err_exp2
…
unused_args_analysis.m
…
unused_args_test.err_exp
…
unused_args_test.m
…
unused_import.err_exp
…
unused_import.m
…
unused_interface_import_helper_1.m
…
unused_interface_import_helper_2.m
…
unused_interface_import.err_exp
Improve --warn-too-private-instances.
2025-07-22 14:57:42 +02:00
unused_interface_import.m
…
up_to_date.err_exp
…
up_to_date.m
…
warn_contiguous_foreign.err_exp
…
warn_contiguous_foreign.m
…
warn_dead_procs_trace.err_exp
…
warn_dead_procs_trace.m
…
warn_dead_procs.err_exp
…
warn_dead_procs.m
…
warn_non_contiguous_foreign_group.err_exp
…
warn_non_contiguous_foreign_group.m
…
warn_non_contiguous_foreign.err_exp
…
warn_non_contiguous_foreign.m
…
warn_non_contiguous.err_exp
…
warn_non_contiguous.m
…
warn_return.err_exp
…
warn_return.err_exp2
…
warn_return.err_exp3
…
warn_return.m
…
warn_self_import.err_exp
…
warn_self_import.m
…
warn_stubs.err_exp
…
warn_stubs.m
…
warn_succ_ind.err_exp
…
warn_succ_ind.err_exp2
Fix more test case failures.
2025-09-15 15:44:54 +10:00
warn_succ_ind.err_exp3
…
warn_succ_ind.m
…