diff: report errors for duplicate mode declarations

Fergus Henderson fjh at murlibobo.cs.mu.OZ.AU
Sun Nov 23 16:16:53 AEDT 1997


I wrote:

>Report an error for duplicate mode declarations.

A bit of testing revealed I need to make a couple more changes.

--------------------

tests/valid/qualified_cons_id.m:
library/int.m:
	Fix duplicate mode declaration errors.

cvs diff  library/int.m tests/valid/qualified_cons_id.m
Index: library/int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.47
diff -u -r1.47 int.m
--- int.m	1997/11/21 06:49:23	1.47
+++ int.m	1997/11/23 04:36:55
@@ -163,7 +163,6 @@
 
 :- pred builtin_plus(int, int, int).
 :- mode builtin_plus(in, in, uo) is det.
-:- mode builtin_plus(in, in, uo) is det.
 
 :- pred builtin_unary_plus(int, int).
 :- mode builtin_unary_plus(in, uo) is det.
Index: tests/valid/qualified_cons_id.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/qualified_cons_id.m,v
retrieving revision 1.2
diff -u -r1.2 qualified_cons_id.m
--- qualified_cons_id.m	1997/02/17 01:41:48	1.2
+++ qualified_cons_id.m	1997/11/23 05:12:40
@@ -13,8 +13,13 @@
 
 :- pred test(maybe(T), T).
 :- mode test(in(bound(std_util:yes(ground))), out) is det.
-:- mode test(in(yes), out) is det.
+
+:- pred test2(maybe(T), T).
+:- mode test2(in(yes), out) is det.
 
 :- implementation.
 
 test(std_util:yes(T), T).
+
+test2(std_util:yes(T), T).
+



More information about the developers mailing list