This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.2.9 The fn:error function STA / rule 4 Expr3 There's no premise concerning Expr3. Do you mean to imply that it doesn't have to have a static type?
No, Expr3 should definitely be type-checked. This is already fixed by the refactoring of the typing rules for function calls. Closed with no change to the document. - Jerome