[mercury-users] Ambiguity

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Dec 11 11:52:26 AEDT 2008


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



More information about the users mailing list