diff: order of `yes' and `no'

Fergus Henderson fjh at cs.mu.oz.au
Wed Jul 9 00:34:11 AEST 1997


library/std_util.m:
	Change the order of the constructors in the declaration of the
	`maybe' type so that `no' compares less than `yes(T)'.  The
	concensus on the Haskell mailing list is that this is a more
	intuitive ordering.

library/bool.m:
	Change the order of the constructors in the declaration of the
	`bool' type so that `no' compares less than `yes'.  For
	consistency with `maybe', and for consistency with C/C++.

Index: std_util.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/std_util.m,v
retrieving revision 1.93
diff -u -r1.93 std_util.m
--- std_util.m	1997/06/04 09:59:37	1.93
+++ std_util.m	1997/07/08 14:25:27
@@ -75,7 +75,7 @@
 
 % The "maybe" type.
 
-:- type maybe(T) ---> yes(T) ; no.
+:- type maybe(T) ---> no ; yes(T).
 
 %-----------------------------------------------------------------------------%
 
Index: bool.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/bool.m,v
retrieving revision 1.1
diff -u -r1.1 bool.m
--- bool.m	1996/02/03 17:36:43	1.1
+++ bool.m	1997/07/08 14:26:45
@@ -26,7 +26,7 @@
 % rather than `true' and `false'.  This is to avoid confusion
 % with the predicates `true' and `fail'.
 
-:- type bool ---> yes ; no.
+:- type bool ---> no ; yes.
 
 :- pred bool__or(bool, bool, bool).
 :- mode bool__or(in, in, out) is det.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list