[m-rev.] diff: fix mlds__native_bool_type as bool bugs

[Peter Ross]

Hi,


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


Estimated hours taken: 1
Branches: main, dotnet-foreign

Fix some bugs introduced by the recent change to represent
mlds__native_bool_type as bool.

builtin.m:
std_util.m:
    Change the return type from int to bool for semidet predicates
    implemented as MC++ code.

Index: builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.52.4.10
diff -u -r1.52.4.10 builtin.m
--- builtin.m	3 Sep 2001 06:41:37 -0000	1.52.4.10
+++ builtin.m	18 Oct 2001 10:20:27 -0000
@@ -486,7 +486,7 @@
 
 :- pragma foreign_code("MC++", "
 
-static MR_Integer unify_2_p(MR_TypeInfo ti, MR_Box X, MR_Box Y) 
+static bool unify_2_p(MR_TypeInfo ti, MR_Box X, MR_Box Y) 
 {
 	return mercury::builtin::mercury_code::call_rtti_generic_unify_2_p(
 			ti, X, Y);
Index: std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.226.4.11
diff -u -r1.226.4.11 std_util.m
--- std_util.m	17 Oct 2001 12:31:17 -0000	1.226.4.11
+++ std_util.m	18 Oct 2001 10:20:28 -0000
@@ -1458,7 +1458,7 @@
 		result, x, y);
 }
 
-static int
+static bool
 __Unify____type_desc_0_0(MR_Word x, MR_Word y)
 {
 	return (MR_compare_type_info(x, y) == MR_COMPARE_EQUAL);
@@ -1472,7 +1472,7 @@
 		result, x, y);
 }
 
-static int
+static bool
 special___Unify___type_desc_0_0(MR_Word x, MR_Word y)
 {
 	return (MR_compare_type_info(x, y) == MR_COMPARE_EQUAL);

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------