[sc34wg3] Supporting variants in TMCL

Steve Pepper pepper.steve at gmail.com
Mon Nov 2 07:08:35 EST 2009

* Lars Marius Garshol
| > NAMES of type "foo" belonging to
| > TOPICS of type "bar" can or must have (one or more)
| >  VARIANTS in the scope "baz"
| >
| Is "baz" here a topic type, the way it is in nearly all other
| constraints (except scope-required-constraint), or is it an instance
| (as in scope-required-constraint)? In other words, is the requirement
| that the variant contain the topic "baz" in its scope, or that it
| contain an instance of "baz"?

It is a specific topic, not a type. Being able to specify the type *might* be
better than nothing, but only marginally.


More information about the sc34wg3 mailing list