Re: Re: Evaluation Annotations

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
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,

Michael


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Nov 05 2004 - 17:15:18 CET

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:06 CET