Re: Help with a little function called "choose"

From: Matthew Naylor <>
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

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,


curry mailing list
Received on Di Jun 13 2006 - 12:02:16 CEST

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:08 CET