[m-rev.] for review: try goals

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Feb 18 21:24:01 AEDT 2009


On Wed, 18 Feb 2009, Peter Wang wrote:

>> In the long run it might be nice to redefine the exception_result/1 type
>> as:
>>
>>        :- type exception_result(T)
>>                --->    succeeded(T)
>>                ;       failed
>>                ;       some [E] exception(E).
>>
>> and do away with the univ there entirely.
>
> Yes.
>

Out of curiosity I've just tried making the above change.  There
appears to be a bug (which I've entered in the bug database as #89),
that prevents inst subtyping from working with existentially qunatified
data constructors.

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



More information about the reviews mailing list