[m-dev.] diff: turn unify by ctor_rep back on

[Tyson Dowd]

Hi,


===================================================================


Estimated hours taken: 0.05

runtime/mercury_ho_call.c:
	Turn MR_UNIFY_COMPARE_BY_CTOR_REP back on.


Index: runtime/mercury_ho_call.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_ho_call.c,v
retrieving revision 1.26
diff -u -r1.26 mercury_ho_call.c
--- mercury_ho_call.c	1999/10/28 06:22:58	1.26
+++ mercury_ho_call.c	1999/11/10 08:54:54
@@ -8,14 +8,9 @@
 ** Public License - see the file COPYING.LIB in the Mercury distribution.
 */
 
-/*
-XXX currently the MR_UNIFY_COMPARE_BY_CTOR_REP code is broken;
-it fails the tests/hard_coded/user_defined_equality.m test case.
-So for now it is disabled.
 #define MR_UNIFY_COMPARE_BY_CTOR_REP	
 #define	MR_UNIFY_COMPARE_BY_CTOR_REP_SPEC_1
 #define	MR_UNIFY_COMPARE_BY_CTOR_REP_SPEC_2
-*/
 
 /*
 ** This module provides much of the functionality for doing higher order


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------