This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
K-ValCompTypeChecking-39: 3 eq (3, error()) K-ValCompTypeChecking-41: (3, error()) eq 3 Both tests expect FOER0000. An implementation should also be allowed to raise a type error statically (XPTY0004). The quantifier of the type will be +: quantifier(integer, none) = quantifier(integer), quantifier(none) = 1, 1 = +
I agree with your analysis.
Added alternate results.