mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
ae5f8d4ce7
compiler/parse_tree_out_sym_name.m:
As above.
tests/invalid/*.err_exp:
tests/term/*.trans_opt_exp:
tests/warnings/test_tscp.exp:
Update these files to expect the *absence* of unnecessary parentheses
around sym_names.
tests/term/foreign_valid.m:
Export some pragmas to avoid warnings that are irrelevant to the test.
24 lines
1.8 KiB
Plaintext
24 lines
1.8 KiB
Plaintext
:- module foreign_valid.
|
|
|
|
:- pragma termination_info(foreign_valid.test1(builtin.out), infinite, cannot_loop).
|
|
:- pragma termination_info(foreign_valid.test10(builtin.out), infinite, can_loop).
|
|
:- pragma termination_info(foreign_valid.test2(builtin.out), infinite, can_loop).
|
|
:- pragma termination_info(foreign_valid.test3(builtin.out), infinite, can_loop).
|
|
:- pragma termination_info(foreign_valid.test4(builtin.out), infinite, cannot_loop).
|
|
:- pragma termination_info(foreign_valid.test5(builtin.out), infinite, cannot_loop).
|
|
:- pragma termination_info(foreign_valid.test6(builtin.out), infinite, can_loop).
|
|
:- pragma termination_info(foreign_valid.test7(builtin.out), infinite, cannot_loop).
|
|
:- pragma termination_info(foreign_valid.test8(builtin.out), infinite, can_loop).
|
|
:- pragma termination_info(foreign_valid.test9(builtin.out), infinite, cannot_loop).
|
|
|
|
:- pragma termination2_info(foreign_valid.test1(builtin.out), constraints([]), not_set, cannot_loop).
|
|
:- pragma termination2_info(foreign_valid.test10(builtin.out), constraints([]), not_set, can_loop).
|
|
:- pragma termination2_info(foreign_valid.test2(builtin.out), constraints([]), not_set, can_loop).
|
|
:- pragma termination2_info(foreign_valid.test3(builtin.out), constraints([]), not_set, can_loop).
|
|
:- pragma termination2_info(foreign_valid.test4(builtin.out), constraints([]), not_set, cannot_loop).
|
|
:- pragma termination2_info(foreign_valid.test5(builtin.out), constraints([]), not_set, cannot_loop).
|
|
:- pragma termination2_info(foreign_valid.test6(builtin.out), constraints([]), not_set, can_loop).
|
|
:- pragma termination2_info(foreign_valid.test7(builtin.out), constraints([]), not_set, cannot_loop).
|
|
:- pragma termination2_info(foreign_valid.test8(builtin.out), constraints([]), not_set, can_loop).
|
|
:- pragma termination2_info(foreign_valid.test9(builtin.out), constraints([]), not_set, cannot_loop).
|