Re: Redundancy in TR14

2016-01-11 Thread Karl Williamson
On 01/11/2016 10:55 PM, Mark Davis ☕️ wrote: Looks that way to me too. Can you submit this as feedback? will do {phone} On Jan 12, 2016 00:39, "Karl Williamson" mailto:pub...@khwilliamson.com>> wrote: Example 7 in http://www.unicode.org/reports/tr14/#Examples has these two rules

Re: Redundancy in TR14

2016-01-11 Thread Mark Davis ☕️
Looks that way to me too. Can you submit this as feedback? {phone} On Jan 12, 2016 00:39, "Karl Williamson" wrote: > Example 7 in http://www.unicode.org/reports/tr14/#Examples > > has these two rules > > NU × (NU | SY | IS) > > NU (NU | SY | IS)* × (NU | SY | IS | CL | CP ) > > It appears to me

Redundancy in TR14

2016-01-11 Thread Karl Williamson
Example 7 in http://www.unicode.org/reports/tr14/#Examples has these two rules NU × (NU | SY | IS) NU (NU | SY | IS)* × (NU | SY | IS | CL | CP ) It appears to me that the first rule generates a subset of what the 2nd rule generates, and so is useless. It could be hence removed for simplici