[m-rev.] diff: replace deprecated syntax in .int files

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

compiler/mercury_to_mercury.m:
	Don't use deprecated syntax for mode and inst definitions in
	interface files.

Julien.

Index: mercury_to_mercury.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mercury_to_mercury.m,v
retrieving revision 1.245
diff -u -r1.245 mercury_to_mercury.m
--- mercury_to_mercury.m	14 Jul 2004 05:37:05 -0000	1.245
+++ mercury_to_mercury.m	23 Aug 2004 05:29:26 -0000
@@ -932,7 +932,7 @@
 	{ list__map(pred(V::in, variable(V)::out) is det, Args, ArgTerms) },
 	{ construct_qualified_term(Name, ArgTerms, Context, InstTerm) },
 	mercury_output_term(InstTerm, VarSet, no),
-	io__write_string(") = "),
+	io__write_string(") == "),
 	mercury_output_inst(Body, VarSet),
 	io__write_string(".\n").

@@ -1502,7 +1502,7 @@
 	{ list__map(pred(V::in, variable(V)::out) is det, Args, ArgTerms) },
 	{ construct_qualified_term(Name, ArgTerms, Context, ModeTerm) },
 	mercury_format_term(ModeTerm, VarSet, no),
-	add_string(") :: "),
+	add_string(") == "),
 	mercury_format_mode(Mode, simple_inst_info(VarSet)),
 	add_string(".\n").

@@ -1545,7 +1545,7 @@
 	;
 		add_string("("),
 		mercury_format_inst(InstA, InstInfo),
-		add_string(" -> "),
+		add_string(" >> "),
 		mercury_format_inst(InstB, InstInfo),
 		add_string(")")
 	).

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------