<test-group xmlns="http://www.w3.org/2005/02/query-test-XQTSCatalog" name="ValCompTypeChecking" featureOwner="Frans Englich">
   <GroupInfo>
      <title>Type Checking and Error Handling</title>
      <description/>
   </GroupInfo>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-1" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-1" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-2" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-2" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-3" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-3" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-4" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-4" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-5" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-5" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-6" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-6" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-7" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-7" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-8" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-8" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-9" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-9" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-10" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-10" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-11" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-11" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-12" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>A value comparison where the cardinality of the operand(s) is wrong.</description>
      <query name="K-ValCompTypeChecking-12" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-13" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>A value comparison involving empty sequence(s).</description>
      <query name="K-ValCompTypeChecking-13" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-13.txt</output-file>
      <expected-error>XPST0005</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-14" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>A value comparison involving empty sequence(s).</description>
      <query name="K-ValCompTypeChecking-14" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-14.txt</output-file>
      <expected-error>XPST0005</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-15" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>A value comparison involving empty sequence(s).</description>
      <query name="K-ValCompTypeChecking-15" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-15.txt</output-file>
      <expected-error>XPST0005</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-16" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-16" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-17" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-17" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-18" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-18" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-19" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-19" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-20" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-20" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-21" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-21" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-22" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-22" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-23" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-23" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-24" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-24" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-25" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-25" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-26" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-26" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-27" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-27" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-28" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-28" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-29" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Value comparison involving xs:untypedAtomic, which leads to an inexistent operator mapping.</description>
      <query name="K-ValCompTypeChecking-29" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>XPTY0004</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-30" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>Compare xs:untypedAtomic and xs:string.</description>
      <query name="K-ValCompTypeChecking-30" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-30.txt</output-file>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-31" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>Compare xs:untypedAtomic and xs:string.</description>
      <query name="K-ValCompTypeChecking-31" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-31.txt</output-file>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-32" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>An expression involving the ge operator that trigger certain optimization paths in some implementations.</description>
      <query name="K-ValCompTypeChecking-32" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-32.txt</output-file>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-33" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>An expression involving the ne operator that trigger certain optimization paths in some implementations.</description>
      <query name="K-ValCompTypeChecking-33" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-33.txt</output-file>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-34" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>Test that fn:count combined with expressions that might disable compile time evaluations(optimization) as well as the '=' operator, is conformant.</description>
      <query name="K-ValCompTypeChecking-34" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-34.txt</output-file>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-35" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-35" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-36" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-36" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-37" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-37" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-38" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-38" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-39" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-39" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-40" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-40" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-41" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="runtime-error">
      <description>Combine error() with a value comparison, testing handling of the 'none' type.</description>
      <query name="K-ValCompTypeChecking-41" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <expected-error>FOER0000</expected-error>
   </test-case>
   <test-case is-XPath2="true" Creator="Frans Englich" name="K-ValCompTypeChecking-42" FilePath="Expressions/Operators/CompExpr/ValComp/ValCompTypeChecking/" scenario="standard">
      <description>A simple value comparison that in some Bison grammars triggers a bug.</description>
      <query name="K-ValCompTypeChecking-42" date="2007-11-26+01:00"/>
      <input-file role="principal-data" variable="input-context">emptydoc</input-file>
      <output-file role="principal" compare="Text">K-ValCompTypeChecking-42.txt</output-file>
   </test-case>
</test-group>