[m-rev.] trivial diff: update mode and inst syntax in extras/aditi

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

extras/aditi/aditi.m:
	Update mode and inst syntax.

Julien

Index: aditi.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/aditi/aditi.m,v
retrieving revision 1.18
diff -u -r1.18 aditi.m
--- aditi.m	23 Aug 2003 13:31:04 -0000	1.18
+++ aditi.m	9 Feb 2005 07:56:58 -0000
@@ -61,11 +61,11 @@
 :- type aditi__state.

 % XXX This will change to unique when the mode system is fully implemented.
-:- inst aditi_unique = ground.
-:- mode aditi_di :: in(aditi_unique).
-:- mode aditi_uo :: out(aditi_unique).
-:- mode aditi_ui :: in(aditi_unique).
-:- mode aditi_mui :: in(aditi_unique).
+:- inst aditi_unique == ground.
+:- mode aditi_di  == in(aditi_unique).
+:- mode aditi_uo  == out(aditi_unique).
+:- mode aditi_ui  == in(aditi_unique).
+:- mode aditi_mui == in(aditi_unique).

 :- type aditi__result(T)
 	--->	ok(T)
@@ -118,7 +118,7 @@
 :- mode aditi__disconnect(in, out, di, uo) is det.

 :- type aditi__transaction(T) == pred(T, aditi__state, aditi__state).
-:- inst aditi__transaction = (pred(out, aditi_di, aditi_uo) is det).
+:- inst aditi__transaction == (pred(out, aditi_di, aditi_uo) is det).

 	% aditi__transaction(Connection, Transaction, Result).
 	%

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------