[m-rev.] for review: native types in table_builtin.m

[Zoltan Somogyi]

On 12-Nov-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> There should be a comment here explaining that the IL definitions 
> are dummy definitions (and why).

OK.

> What is the Mercury definition for?  I don't really understand why you
> need both the il and the Mercury definitions.

It is also a dummy, to make the module compile with --target java.

> Will this change cause any problems in ".rt" (--reserve-tag) grades?

No. From Mercury, the type is an abstract type; its values are not manipulated
by Mercury-generated C code, only by hand-written C code.

> Attempting to unify or deconstruct values of these types
> (e.g. to print them in the debugger) won't work in ".rt" grades
> if the Mercury type definition is used.

The debugger works only with a C backend, which won't use the Mercury
definition.

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