[mercury-users] Ambiguity

[Zoltan Somogyi]

On 11-Dec-2008, Michael Day <mikeday at yeslogic.com> wrote:
> I've attached a highly ambiguous test case.

With about 4 variables that can each have any one of 77 or so types,
the current type checker creates 77^4 type assignments (about 35 million)
before throwing away all but one of them. Any tweaking of parameters
is a palliiative measure at best. The right solution is a constraint-based
type analysis algorithm, which a summer student has just started working on.

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