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 Fr Nov 05 2004 - 11:50:07 CET