[m-dev.] trivial diff: improve RL dumps
Simon Taylor
stayl at cs.mu.OZ.AU
Wed Jun 23 14:29:15 AEST 1999
Estimated hours taken: 0.5
compiler/rl_dump.m:
Change the output for `union_diff' and `insert' instructions
to make it clearer which relation is being updated.
Index: rl_dump.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/rl_dump.m,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -u -r1.2 -r1.3
--- rl_dump.m 1999/03/12 06:14:16 1.2
+++ rl_dump.m 1999/06/23 04:27:57 1.3
@@ -181,10 +181,10 @@
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,
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,
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list