[m-dev.] work around type ambiguity problem

[Peter Wang]

Hi,

As you know, when intermodule optimisation is enabled, the compiler
issues spurious type ambiguity errors for unqualified calls to map,
member, etc. because the type set_ordlist(T) == list(T) is exposed.

Until that gets fixed, couldn't we work around this particular instance
of the bug by redefining set_ordlist(T) as:

    :- type set_ordlist(T) ---> set_ordlist(list(T)).

Peter

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------