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