[m-rev.] diff: make rtti_implementation.m compile for erlang

[Peter Wang]

Branches: main

library/rtti_implementation.m:
        Make the dummy definition of pseudo_type_info not be a dummy type,
        to work around the Erlang backend generating invalid code for this
        module.

Index: library/rtti_implementation.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/rtti_implementation.m,v
retrieving revision 1.86
diff -u -p -r1.86 rtti_implementation.m
--- library/rtti_implementation.m	1 Jun 2009 11:06:36 -0000	1.86
+++ library/rtti_implementation.m	2 Jun 2009 10:34:21 -0000
@@ -177,7 +177,7 @@
 :- type type_layout ---> type_layout(c_pointer).
 :- pragma foreign_type("Java", type_layout, "mercury.runtime.TypeLayout").
 
-:- type pseudo_type_info ---> pseudo_type_info.
+:- type pseudo_type_info ---> pseudo_type_info(int).    % dummy
 :- pragma foreign_type("Java", pseudo_type_info,
     "mercury.runtime.PseudoTypeInfo").
 
@@ -1613,7 +1613,7 @@ new_type_info(TypeInfo, _) = NewTypeInfo
     %
 :- func get_pti_from_arg_types(arg_types, int) = pseudo_type_info.
 
-get_pti_from_arg_types(_, _) = pseudo_type_info :-
+get_pti_from_arg_types(_, _) = pseudo_type_info(0) :-
     det_unimplemented("get_pti_from_arg_types").
 
 :- pragma foreign_proc("Java",


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------