Re: Re: Evaluation Annotations

From: Bernd Brassel <bbr_at_informatik.uni-kiel.de>
Date: Fri, 05 Nov 2004 10:27:00 +0100

Michael Hanus schrieb:

> 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?

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fri Nov 05 2004 - 11:50:07 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:05 CEST