MAYBE types?

[Will Thompson]

On 13/12/10 14:31, Alex Merry wrote:
> Is there anything I can do to help get this put in?

Well, you could take a look over the patches, and/or test them out. Many 
eyes, etc. (I've been meaning to review this branch for ages, because I 
really want maybe types too...)

> In the short term, I'm going to annotate my structure with a boolean:
> (b(oss)).  This seems to me to be the best approach, as the "o" component is
> used as the identifying element of the structure, and (from my reading of the
> spec) this can't be empty.

That's true. In a few places in Telepathy, we use "/" to mean "no object 
path", and my inner purist gets angry.

-- 
Will