[m-rev.] for review: comparison of preds/funcs

[Mark Brown]

On 16-Apr-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> Here's the updated log message and relative diff.  interdiff got slightly
> confused by the changes in the tests directory, but those changes are fairly
> straightforward anyway.
> 

A minor addendum, to avoid link errors if a program using the new pred
is compiled in grade hlc.gc:

--- log3	Tue Apr 16 16:43:55 2002
+++ log	Tue Apr 16 16:44:58 2002
@@ -25,6 +25,11 @@
 	Bug fix: add missing pic_o versions of the explicit dependencies.
 	Use variables for the suffixes in these dependencies.
 
+runtime/mercury.c:
+runtime/mercury.h:
+	Supply a HIGHLEVEL_CODE version of the new predicate.  This just
+	gives a "Sorry, not implemented" message and aborts.
+
 tests/hard_coded/Mmakefile:
 tests/hard_coded/compare_rep_usereq.exp:
 tests/hard_coded/compare_rep_usereq.m:

only in patch2:
--- runtime/mercury.h	14 Apr 2002 17:56:45 -0000	1.56
+++ runtime/mercury.h	16 Apr 2002 06:47:01 -0000
@@ -682,6 +682,8 @@
 	MR_Comparison_Result *, MR_Box, MR_Box);
 void MR_CALL mercury__builtin__compare_3_p_3(MR_Mercury_Type_Info,
 	MR_Comparison_Result *, MR_Box, MR_Box);
+void MR_CALL mercury__std_util__compare_representation_3_p_0(
+	MR_Mercury_Type_Info, MR_Comparison_Result *, MR_Box, MR_Box);
 
 MR_bool MR_CALL mercury__builtin____Unify____int_0_0(MR_Integer x,
 	MR_Integer y); 
only in patch2:
--- runtime/mercury.c	12 Apr 2002 01:24:22 -0000	1.40
+++ runtime/mercury.c	16 Apr 2002 06:46:57 -0000
@@ -327,6 +327,13 @@
 	mercury__builtin__compare_3_p_0(type_info, res, x, y);
 }
 
+void MR_CALL
+mercury__std_util__compare_representation_3_p_0(MR_Mercury_Type_Info ti,
+	MR_Comparison_Result *res, MR_Box x, MR_Box y)
+{
+	SORRY("compare_representation/3 for HIGHLEVEL_CODE");
+}
+
 /*---------------------------------------------------------------------------*/
 /*---------------------------------------------------------------------------*/
 /*
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------