[m-rev.] for review: fix deep profiling runtime compilation failure

[Julien Fischer]

On Fri, 16 Feb 2007, Simon Taylor wrote:

>
>
> On 16-Feb-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>> This is fairly yucky.  We should consider allowing
>> compare_representation/3 to be defined for foreign_types.
>
> I was way off in my last message.  The compare code will work
> for atomic types (like bitmaps), but won't work for types that
> contain Mercury terms.

Maybe it's worth adding an attribute to foreign types that allows
the compiler to distinguish between atomic and non-atomic foreign
types (and sets the compare_representation predicate appropriately on
that basis.)

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