>>> "Joel" == Joel E Denny <[EMAIL PROTECTED]> writes:
> I like the idea of equating a semantic type with a type in the > target language rather than with a union field name. I also see > how modules might conflict on a field name, but types don't have > that problem. It also solves one of the issues to support C++ variants in bison, where we do not rely on a union, but on a templated structure, parametrized by the various types. That's *if* we use Boost Variants.
