[m-rev.] trivial diff: fix bug in moose

[David Overton]

Estimated hours taken: 0.1
Branches: main

extras/moose/moose.m:
	Action methods are functions so write them out using function syntax
	rather than pred syntax.

Index: moose.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/moose/moose.m,v
retrieving revision 1.4
diff -u -r1.4 moose.m
--- moose.m	19 Feb 2002 07:49:01 -0000	1.4
+++ moose.m	9 Jul 2002 03:30:45 -0000
@@ -276,7 +276,7 @@
 		io__format("\tfunc %s(", [s(MethodName)]),
 		io__write_list(Types, ", ", term_io__write_term(VarSet)),
 		( { Types \= [] } -> io__write_string(", ") ; [] ),
-		io__format("T, T),\n", []),
+		io__write_string("T) = T,\n"),
 
 		io__format("\tmode %s(", [s(MethodName)]),
 		io__write_list(Types, ", ", WriteIn),
@@ -867,11 +867,12 @@
 			{ search(Xfns, RNt, xform(_, XFormName)) },
 			{ Head = functor(_, HeadArgs, _) }
 		->
-			{ append(HeadArgs, [Ts0, Ts], Then1Args) },
-			{ Then1 = functor(atom(XFormName), Then1Args, Ctxt) }
+			{ append(HeadArgs, [Ts0], Then1Args) },
+			{ XFTerm = functor(atom(XFormName), Then1Args, Ctxt) }
 		;
-			{ Then1 = functor(atom("="), [Ts0, Ts], Ctxt) }
+			{ XFTerm = Ts0 }
 		),
+		{ Then1 = functor(atom("="), [Ts, XFTerm], Ctxt) },
 		{ Then = functor(atom(","), [Then0, Then1], Ctxt) },
 		{ BodyTerm = functor(atom(";"),[
 			functor(atom("->"), [
-- 
David Overton                   The University of Melbourne  +61 3 8344 9159
dmo at cs.mu.oz.au                 Monash University (Clayton)  +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo     Mobile Phone                 +61 4 0337 4393
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------