[m-dev.] work around type ambiguity problem

Peter Wang novalazy at gmail.com
Wed Nov 14 15:53:49 AEDT 2007


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


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

More information about the developers mailing list