[m-dev.] diff: no stats for index

[Zoltan Somogyi]

runtime/mercury_wrapper.[ch]:
	Delete the variables that supported statistics about index operations,
	since the runtime is not involved in index operations any more, and
	thus cannot collect statistics.

Zoltan.

cvs diff: Diffing .
Index: mercury_wrapper.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_wrapper.c,v
retrieving revision 1.58
diff -u -b -B -r1.58 mercury_wrapper.c
--- mercury_wrapper.c	2000/04/05 06:29:01	1.58
+++ mercury_wrapper.c	2000/04/18 04:56:32
@@ -132,7 +132,6 @@
 /* we depend on these five structs being initialized to zero */
 MR_TypeStat	MR_type_stat_mer_unify;
 MR_TypeStat	MR_type_stat_c_unify;
-MR_TypeStat	MR_type_stat_mer_index;
 MR_TypeStat	MR_type_stat_mer_compare;
 MR_TypeStat	MR_type_stat_c_compare;
 
@@ -1026,7 +1025,6 @@
 
 	MR_print_one_type_ctor_stat(fp, "UNIFY", &MR_type_stat_mer_unify);
 	MR_print_one_type_ctor_stat(fp, "UNIFY_C", &MR_type_stat_c_unify);
-	MR_print_one_type_ctor_stat(fp, "INDEX", &MR_type_stat_mer_index);
 	MR_print_one_type_ctor_stat(fp, "COMPARE", &MR_type_stat_mer_compare);
 	MR_print_one_type_ctor_stat(fp, "COMPARE_C", &MR_type_stat_c_compare);
 
Index: mercury_wrapper.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_wrapper.h,v
retrieving revision 1.30
diff -u -b -B -r1.30 mercury_wrapper.h
--- mercury_wrapper.h	2000/04/05 06:29:02	1.30
+++ mercury_wrapper.h	2000/04/18 04:56:09
@@ -203,7 +203,6 @@
 
 extern	MR_TypeStat	MR_type_stat_mer_unify;
 extern	MR_TypeStat	MR_type_stat_c_unify;
-extern	MR_TypeStat	MR_type_stat_mer_index;
 extern	MR_TypeStat	MR_type_stat_mer_compare;
 extern	MR_TypeStat	MR_type_stat_c_compare;
 
cvs diff: Diffing GETOPT
cvs diff: Diffing machdeps
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------