[m-rev.] diff: fix lcc test case failure

[Fergus Henderson]

This fixes a problem introduced in DJ's merge of the HAL branch
changes back onto the main branch.

----------

Estimated hours taken: 0.5
Branches: main

tests/hard_coded/existential_types_test.m:
	Fix a type error that showed up when compiling with lcc: the
	argument of MR_unravel_univ needs to have type `MR_TypeInfo', but
	the `TypeInfo_for_T' variables are declared with type `MR_Word'.

Workspace: /home/venus/fjh/ws-venus2/mercury
Index: tests/hard_coded/existential_types_test.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/existential_types_test.m,v
retrieving revision 1.6
diff -u -d -r1.6 existential_types_test.m
--- tests/hard_coded/existential_types_test.m	2001/03/18 23:10:15	1.6
+++ tests/hard_coded/existential_types_test.m	2001/04/08 08:37:27
@@ -39,9 +39,12 @@
 
 call_my_univ_value(Univ) = my_univ_value(Univ).
 
-:- pragma c_code(my_univ_value(Univ::in) = (Value::out), will_not_call_mercury, "
-	MR_unravel_univ(Univ, TypeInfo_for_T, Value);
-").
+:- pragma c_code(my_univ_value(Univ::in) = (Value::out), will_not_call_mercury, "{
+	MR_TypeInfo type_info;
+
+	MR_unravel_univ(Univ, type_info, Value);
+	TypeInfo_for_T = (MR_Word) type_info;
+}").
 
 % The predicate has_type/2 is basically an existentially typed
 % inverse to the function type_of/1.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------