[m-rev.] for review: work around type ambiguity problem

[Zoltan Somogyi]

On 16-Nov-2007, Peter Wang <novalazy at gmail.com> wrote:
> Use a d.u. type for `set_ordlist(T)' to work around spurious type ambiguity
> errors when a program makes calls unqualified procedures which could be
> confused with `list' procedures if the type of `set_ordlist(T) == list(T)' is
> exposed for intermodule optimisation.

That's fine.

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