- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 24 Jul 2007 08:52:42 -0400
- To: Christian de Sainte Marie <csma@ilog.fr>
- Cc: "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
our emails crossed in the wire.
That remark was not about the signatures, but about the semantics. It
appears in the section on semantics.
--michael
Received on Tuesday, 24 July 2007 12:52:46 UTC