http://www.w3.org/Bugs/Public/show_bug.cgi?id=4189 --- Comment #2 from Michael Dyck <jmdyck@ibiblio.org> 2008-10-25 19:26:43 --- I've discovered another bug in the 'union interpretation' rule. Consider the case: define type TN1 { T1 } define type TN2 extends TN1 { T2 } define type TN3 restricts TN2 { T3 } The union interpretation of TN1 should be: T1 | (T1,T2) | T3 but the rule results in: T1 | (T1,(T2|T3)) i.e. T1 | (T1,T2) | (T1,T3) -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.Received on Saturday, 25 October 2008 19:26:55 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:24 UTC