[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