# Negative test: product of type promotion within the xsd:decimal type tree.
# $Id: typePromotion-decimal-decimal-fail.rq,v 1.1 2006/01/19 17:21:29 andy_seaborne Exp $

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
SELECT ?one ?two
 WHERE { ?one rdf:value ?oneL .
         ?two rdf:value ?twoL .
         FILTER ( datatype(?oneL) = xsd:unsignedByte && 
                  datatype(?twoL) = xsd:unsignedShort && 
                  datatype(?oneL + ?twoL) = xsd:unsignedShort ) }