[m-rev.] for review: some more rtti for java

[Julien Fischer]

On Wed, 20 Jan 2010, Peter Wang wrote:

> Branches: main
>
> Implement some RTTI procedures for Java:
>
>        get_functor_ordinal/2,
>        get_functor_lex/2,
>        type_ctor/2,
>        pseudo_type_ctor_and_args/3,
>        make_type/2
>
> Make type_desc/type_ctor_desc/pseudo_type_desc into synonyms for type_info/etc.,
> mainly to simplify the hand-written RTTI handling functions.  Previously the
> *_desc types were represented by *Desc wrapper classes.
>
>
> compiler/mlds_to_java.m:
> compiler/builtin_lib_types.m:
>        Map *_desc types to TypeInfo_Struct, TypeCtorInfo_Struct,
>        PseudoTypeInfo_Struct.  We cannot simply use
>        `:- pragma foreign_type("Java", ...)' in the library as the compiler
>        will complain about missing type definitions for other language
>        backends.

Can't you just provide a dummy Mercury type definition fo rhte non-Java
backends?

The diff looks fine otherwise.

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