Re: Help with a little function called "choose"

From: Matthew Naylor <mattfn_at_gmail.com>
Date: Tue, 13 Jun 2006 09:56:13 +0100

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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:08 CEST