[m-rev.] trivial diff: fix runtime compilation in hl.* grades

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

Fix a cut and paste error that is preventing the runtime building
in the hl.* grades.

runtime/mercury_builtin_types.h:
	s/Mr_Type_Ctor_Desc/MR_Pseudo_Type_Desc/ in the prototypes
	for the hand-defined unify and compare predicates for
	pseudo_type_descs.

Julien.

Index: runtime/mercury_builtin_types.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_builtin_types.h,v
retrieving revision 1.5
diff -u -r1.5 mercury_builtin_types.h
--- runtime/mercury_builtin_types.h	14 Dec 2004 01:07:23 -0000	1.5
+++ runtime/mercury_builtin_types.h	23 Dec 2004 03:14:11 -0000
@@ -89,7 +89,7 @@
 MR_bool MR_CALL mercury__type_desc____Unify____type_ctor_desc_0_0(
 	MR_Type_Ctor_Desc x, MR_Type_Ctor_Desc y);
 MR_bool MR_CALL mercury__type_desc____Unify____pseudo_type_desc_0_0(
-	MR_Type_Ctor_Desc x, MR_Type_Ctor_Desc y);
+	MR_Pseudo_Type_Desc x, MR_Pseudo_Type_Desc y);
 MR_bool MR_CALL mercury__type_desc____Unify____type_desc_0_0(
 	MR_Type_Desc x, MR_Type_Desc y);
 MR_bool MR_CALL mercury__private_builtin____Unify____type_ctor_info_1_0(
@@ -133,7 +133,7 @@
 	MR_Type_Ctor_Desc x, MR_Type_Ctor_Desc y);
 void MR_CALL mercury__type_desc____Compare____pseudo_type_desc_0_0(
 	MR_Comparison_Result *result,
-	MR_Type_Ctor_Desc x, MR_Type_Ctor_Desc y);
+	MR_Pseudo_Type_Desc x, MR_Pseudo_Type_Desc y);
 void MR_CALL mercury__type_desc____Compare____type_desc_0_0(
 	MR_Comparison_Result *result, MR_Type_Desc x, MR_Type_Desc y);
 void MR_CALL mercury__private_builtin____Compare____type_ctor_info_1_0(

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