[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: Split "include" element?
At the moment the "include" element is used in two different contexts
with slightly different meanings:
- at the pattern level; the semantics here are straight inclusion
- at the grammar level; the semantics here are to merge grammars
Should we instead have two separate elements? One way to do this would
be to rename the grammar-level include to something else ("merge"?).
James
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC