This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
8.3.2 Subtype and Type equality Intro "during the static type analysis" Delete "the". "in typeswitch expressions, treat and assert expressions" Either insert "expressions" after "treat", or delete it after "typeswitch". Note "The above definition although complete and precise," Insert comma after "definition". "refers to values which are not available" Insert comma after "values". "corresponding finite states automata." s/states/state/ "intersection have been" Insert comma after "intersection".
Fixed as suggested. - Jerome