[m-rev.] diff: rename no to no_arg

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25
Branches: main

Avoid ambiguous overloading problems with two types in std_util having
a no data constructor.

library/std_util.m:
	Rename the no data constructor in maybe_arg to no_arg.

library/deconstruct.m:
	Use the new data constructor name.

Index: deconstruct.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/deconstruct.m,v
retrieving revision 1.18
diff -u -r1.18 deconstruct.m
--- deconstruct.m	2 Dec 2002 15:51:28 -0000	1.18
+++ deconstruct.m	3 Dec 2002 08:55:47 -0000
@@ -297,7 +297,7 @@
 	( MaybeUniv = yes(Univ),
 		MaybeArg = 'new arg'(univ_value(Univ))
 	; MaybeUniv = no,
-		MaybeArg = std_util__no
+		MaybeArg = std_util__no_arg
 	).
 
 named_arg(Term, NonCanon, Name, Argument) :-
Index: std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.275
diff -u -r1.275 std_util.m
--- std_util.m	2 Dec 2002 15:51:29 -0000	1.275
+++ std_util.m	3 Dec 2002 08:55:47 -0000
@@ -565,7 +565,7 @@
 
 :- type maybe_arg
 	--->	some [T] arg(T)
-	;	no.
+	;	no_arg.
 
 	% functor, argument and deconstruct and their variants take any type
 	% (including univ), and return representation information for that type.

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