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 optional<T&>. 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. Regards, -- Joel de Guzman http://www.boost-consulting.com http://spirit.sf.net