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

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Nov 16 15:18:21 AEDT 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)).

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