[m-dev.] diff: get rid of solve_equal and init

[David Glen JEFFERY]

Hi,

Unless there are any objections, I'll commit this on the main branch in the
next day or so.

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

Estimated hours taken: 0.25

runtime/mercury_type_info.h
	Mark the `solver_pred' and `init_pred' slots of the type_ctor_info
	as being unused. These slots are no longer used on the HAL branch
	(solve equality and initialisation now being handled using type 
	classes rather than hardwired support in the RTTI).

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

Index: runtime/mercury_type_info.h
===================================================================
RCS file: /home/staff/zs/imp/mercury/runtime/mercury_type_info.h,v
retrieving revision 1.63
diff -u -t -r1.63 mercury_type_info.h
--- runtime/mercury_type_info.h	2001/01/17 02:43:27	1.63
+++ runtime/mercury_type_info.h	2001/02/05 04:30:45
@@ -898,8 +898,8 @@
     MR_ProcAddr         new_unify_pred;
     MR_ProcAddr         compare_pred;
     MR_TypeCtorRep      type_ctor_rep;
-    MR_ProcAddr         solver_pred;
-    MR_ProcAddr         init_pred;
+    MR_ProcAddr         unused1;        /* spare */
+    MR_ProcAddr         unused2;        /* spare */
     MR_ConstString      type_ctor_module_name;
     MR_ConstString      type_ctor_name;
     MR_Integer          type_ctor_version;

dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------