[m-rev.] Solver support for abstract equivalence solver types

Ralph Becket rafe at cs.mu.OZ.AU
Tue Nov 16 15:23:06 AEDT 2004

Zoltan Somogyi, Tuesday, 16 November 2004:
> On 12-Nov-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > It seems to me that the type cast should return a value with the same
> > inst as its input.  Can you give me an example where this wouldn't be
> > the case?
> Sure. When you do an unsafe_cast from a value of an enum type to an int,
> the sets of function symbols of the two types do not overlap. The input
> argument may have mode in(bound(g)) while the output argument may have
> mode out(bound(2)).

Thanks - I'll fix that today.
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe

More information about the reviews mailing list