- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 24 Jul 2007 14:49:15 +0200
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: Michael Kifer <kifer@cs.sunysb.edu>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Christian de Sainte Marie wrote:
>
> I understood that, in BLD, the same symbol f can have either signature
> i{} or f0{()->i}, but not both. And thus, in BLD, whether f = f() or not
> is irrelevant.
I was wrong, right? Even in BLD, f can have multiple signatures, but,
the context will always tell us unambiguously which is which, correct?
And thus, the comment is relevant to BLD...
Again, it would be easier if all the facts about signatures in BLD where
collected in a single place...
Christian
Received on Tuesday, 24 July 2007 12:49:40 UTC