[m-rev.] for review: calling Mercury from Aditi

[Zoltan Somogyi]

On 20-Oct-2004, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> By the way, what was the rationale for
> numbering constructors passed to `construct.construct' using
> lexicographic order (which has no semantic meaning in Mercury) 
> rather than declaration order, which affects comparison order.

There was no good rationale.

> There is no simple way to get the lexicographic order index of a
> constructor given the declaration order index, but we do provide
> construct.get_functor_ordinal, which produces the declaration order
> index of a constructor given the lexicographic order index.

The whole set of predicates in construct and deconstruct should be overhauled
after a thorough review of requirements, but it hasn't been a high priority.

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