mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +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.
8 lines
744 B
Plaintext
8 lines
744 B
Plaintext
:- module pl4_01.
|
|
|
|
:- pragma termination_info(pl4_01.append3(builtin.in, builtin.in, builtin.in, builtin.out), finite(0, [no, yes, yes, yes, no]), cannot_loop).
|
|
:- pragma termination_info(pl4_01.append3(builtin.out, builtin.out, builtin.out, builtin.in), finite(0, [no, no, no, no, yes]), cannot_loop).
|
|
|
|
:- pragma termination2_info(pl4_01.append3(builtin.in, builtin.in, builtin.in, builtin.out), constraints([eq([term(1, r(1, 1)), term(2, r(1, 1)), term(3, r(1, 1)), term(4, r(-1, 1))], r(0, 1))]), not_set, cannot_loop).
|
|
:- pragma termination2_info(pl4_01.append3(builtin.out, builtin.out, builtin.out, builtin.in), constraints([eq([term(1, r(1, 1)), term(2, r(1, 1)), term(3, r(1, 1)), term(4, r(-1, 1))], r(0, 1))]), not_set, cannot_loop).
|