mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-15 05:44:58 +00:00
Change the output for union_diff' and insert' instructions
Estimated hours taken: 0.25 compiler/rl_dump.m: Change the output for `union_diff' and `insert' instructions to make it clearer which relation is being updated.
This commit is contained in:
@@ -181,10 +181,10 @@ rl_dump__write_instruction(_ModuleInfo, RelationInfo,
|
||||
union_diff(Union, Input1, Input2, Diff, Index, CopyInfo) - Comment) -->
|
||||
|
||||
rl_dump__write_output_rel(RelationInfo, Diff),
|
||||
comma,
|
||||
rl_dump__write_relation_id(RelationInfo, Union),
|
||||
io__write_string(" = union_diff("),
|
||||
rl_dump__write_relation_id(RelationInfo, Input1),
|
||||
io__write_string(" => "),
|
||||
rl_dump__write_relation_id(RelationInfo, Union),
|
||||
comma,
|
||||
rl_dump__write_relation_id(RelationInfo, Input2),
|
||||
comma,
|
||||
@@ -197,9 +197,10 @@ rl_dump__write_instruction(_ModuleInfo, RelationInfo,
|
||||
|
||||
rl_dump__write_instruction(ModuleInfo, RelationInfo,
|
||||
insert(UoOutput, DiInput, Input, Type, CopyInfo) - Comment) -->
|
||||
rl_dump__write_relation_id(RelationInfo, UoOutput),
|
||||
io__write_string(" = insert("),
|
||||
io__write_string("insert("),
|
||||
rl_dump__write_relation_id(RelationInfo, DiInput),
|
||||
io__write_string(" => "),
|
||||
rl_dump__write_relation_id(RelationInfo, UoOutput),
|
||||
comma,
|
||||
rl_dump__write_relation_id(RelationInfo, Input),
|
||||
comma,
|
||||
|
||||
Reference in New Issue
Block a user