mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
b87367d7de
Estimated hours taken: 2
Branches: main
compiler/typecheck.m:
Use more meaningful variable names when an argument
has the same name in all clauses.
Rename variables so that both arguments of
a clause like `p(X, X).' are both called `X'
in the debugger.
tests/debugger/print_goal.{m,inp,exp}:
Add a test case.
tests/debugger/field_names.exp:
tests/debugger/interpreter.exp:
tests/invalid/aditi_update_mode_errors.err_exp:
tests/invalid/merge_ground_any.err_exp:
tests/invalid/polymorphic_unification.err_exp:
Update expected output.
21 lines
127 B
Plaintext
21 lines
127 B
Plaintext
echo on
|
|
context none
|
|
register --quiet
|
|
b big_data
|
|
b print_goal
|
|
c
|
|
p goal
|
|
finish
|
|
p goal
|
|
c
|
|
v
|
|
p goal
|
|
finish
|
|
v
|
|
p goal
|
|
c
|
|
v
|
|
finish
|
|
v
|
|
c
|