[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