[mercury-users] Ambiguity

[Michael Day]

Hi Zoltan,

> You may be pleased to know that last week, a summer student started working
> with us on constraint-based type analysis, whose main objective is to
> eliminate this kind of worst-case behavior. He could use your test case
> as a motivating example.

I've attached a highly ambiguous test case.

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ambig.m
URL: <http://lists.mercurylang.org/archives/users/attachments/20081211/25a77043/attachment.ksh>