[m-dev.] diff: prevent double export

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Aug 18 18:02:30 AEST 1999


The only thing about this diff that needs looking at is that someone who knows
the type checker should put in a check that detects double declarations.

compiler/hlds_pred.m:
	Do not export the type pred_markers twice; once is enough.

Zoltan.

cvs diff: Diffing .
Index: hlds_pred.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/hlds_pred.m,v
retrieving revision 1.64
diff -u -b -r1.64 hlds_pred.m
--- hlds_pred.m	1999/08/13 01:43:01	1.64
+++ hlds_pred.m	1999/08/18 09:52:49
@@ -643,8 +643,6 @@
 :- pred purity_to_markers(purity, pred_markers).
 :- mode purity_to_markers(in, out) is det.
 
-:- type pred_markers.
-
 :- pred pred_info_get_markers(pred_info, pred_markers).
 :- mode pred_info_get_markers(in, out) is det.
 
@@ -1147,6 +1145,7 @@
 type_info_locn_set_var(typeclass_info(_, Num), Var, typeclass_info(Var, Num)).
 
 %-----------------------------------------------------------------------------%
+
 :- type pred_markers == list(marker).
 
 init_markers([]).
cvs diff: Diffing notes
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list