mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
8f5e4abd87
tests/term/append.trans_opt_exp2:
tests/term/occur.trans_opt_exp2:
tests/term/pl4_01.trans_opt_exp2:
tests/term/select.trans_opt_exp2:
tests/term/sum.trans_opt_exp2:
Updated these expected outputs to expect arguments to be represented
as e.g. "builtin.in" rather than "(builtin.in)". We stopped generating
the parentheses in february.
compiler/term_constr_data.m:
compiler/term_constr_fixpoint.m:
compiler/term_constr_initial.m:
compiler/term_constr_main.m:
Improve some comments that I read while trying to track down the actual
cause of the issue.
6 lines
379 B
Plaintext
6 lines
379 B
Plaintext
:- module append.
|
|
|
|
:- pragma termination_info(append.app(builtin.out, builtin.out, builtin.in), finite(0, [no, no, no, yes]), cannot_loop).
|
|
|
|
:- pragma termination2_info(append.app(builtin.out, builtin.out, builtin.in), constraints([le([term(1, r(1, 1)), term(3, r(-1, 1))], r(0, 1)), eq([term(1, r(1, 1)), term(2, r(1, 1)), term(3, r(-1, 1))], r(0, 1))]), not_set, cannot_loop).
|