Default and Fixed Attribute declarations

Hi All,

I am just looking for a clarification. Given:

  <xs:element name="baz">
    <xs:complexType>
      <xs:attribute name="foo" type="xs:string" fixed="bar" />
    </xs:complexType>
  </xs:element>


What should happen when the validator encounters:

<baz foo=""/>

(a) Validity Error

(b) PSVI contains the foo attribute with the value "bar".

I am fairly positive it is (a)... but I have a note to myself saying the 
opposite.

XSV, MXSML, .NET 1.1, .NET 2.0, Xerces2-J, Oracle agree

Xerces2-C++, XsdValid do not.


Thanks,
Jeff Rafter