[mercury-users] Ambiguity

Michael Day mikeday at yeslogic.com
Thu Dec 11 10:31:01 AEDT 2008

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.



Print XML with Prince!
-------------- 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>

More information about the users mailing list