Dear Michael and Sergio,
Thanks for your replies.
Sorry for the confusion over "know which becomes instantiated first".
I meant "suspend until at least one of the variables becomes
instantiated". So I'm looking for committed choice rather than
"isVar".
A fair merge using ports sounds promising, thanks.
Unfortunatly it would take a number of paragraphs to explain what I'm
doing (I've already scrapped one draft!). But in short, I have an
abstract data type and a set of primitive relations over it, which
make heavy use of bi-driectional data flow. When values of this type
are created, but unused, I need to explicity kill them. However, if I
can define "choose" then killing can be done implicitly.
I'll post a solution using ports, if I find one.
Thanks again for your help,
Matt.
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Jun 13 2006 - 12:02:16 CEST