From: Joel de Guzman (joel_at_[hidden])
Date: 2005-10-11 20:20:18
Fernando Cacciola wrote:
> Hi Joel,
> I don't know what 'eps' is for so I can't follow the equivalence between
> "!a" and "a|eps"
eps is an epsilon match: matches the null string.
> Nevertheless, I can see that if optional<A> MUST be equivalent to
> variant<A,nil>; _and_ variant<T&,nil> doesn't rebind, then neither should
> But to complete the argument we would need to show that
> (1) optional<A> MUST be equivalent to variant<A,nil>
> Only if (1) holds.
> Can you show with a solid argument that (1) _shall_ hold?
I thought I just did! Oh my... I'm getting tired with this.
I'll just refrain from using optional and just use variant
everywhere. The variant interface is more reasonable.
-- Joel de Guzman http://www.boost-consulting.com http://spirit.sf.net
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk