Re: Re: Evaluation Annotations

From: Michael Hanus <>
Date: Fri, 05 Nov 2004 17:04:07 +0100

Bernd Brassel wrote:
> Michael Hanus schrieb:
                ^^^^^^^ You should change your mail tool language...
> > I looked at my programs where I use rigid functions. Almost all
> > of their uses are related to concurrent programming with ports,
> > and their rigidity becomes unnnessary if the list of incoming
> > messages is directly passed through a call to rigidSpine
> > when the port is opened.
> Is it really only the spine that must be rigid for your port programs?
> How about the message itself, should it not be a non-variable term?

Usually, I don't send pure logical variables as messages,
but you are right that it is better to check also the messages.
And Wolfgang already proposed a solution with the help of rigid.

Best regards,


curry mailing list
Received on Fr Nov 05 2004 - 17:15:18 CET

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