[sc34wg3] Problem with wildcards

[Lars Heuer]

Hi Lars,

[...]
>> I was never a big fan of the include-directive and favoured always the
>> import-directive, so I'd support the proposal to drop the item
>> identifiers of the included file.
>
> I was thinking of dropping only the ones for wildcards. What do you
> think?

That may work, although TMCL used a bootstrap template to setup
several constraints. If TMCL (or any other CTM file) uses wildcards to
initialize an ontology / constraints, all these wildcards are resolved
against the included file, right? I am not sure if this may cause a
problem or not.

Best regards,
Lars
-- 
Semagia
<http://www.semagia.com/>