6509 2009-01-30 22:32:54 +0000 K2-ExternalVariablesWith-23 2009-10-13 14:07:46 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows NT RESOLVED FIXED P2 normal --- 1 mike frans.englich jmdyck oliver tim public-qt-comments oldest_to_newest 23361 0 mike 2009-01-30 22:32:54 +0000 The substance of this test is declare variable $v as element(notWildCard, xs:untyped?)+ := <e/> and the test expects this to be successful. It is a type error because the element name does not match the required name. 23645 1 tim 2009-02-11 17:12:37 +0000 K2-ExternalVariablesWith-22 has a related problem. With the default construction mode of "preserve" the actual type of <e/> in each of these examples is element(e, xs:anyAtomicType). (:*******************************************************:) (: Test: K2-ExternalVariablesWith-22 :) (: Written by: Frans Englich :) (: Date: 2007-11-22T11:31:21+01:00 :) (: Purpose: A complex type declaration. :) (:*******************************************************:) declare variable $v as element(*, xs:untyped?)+ := <e/>; 1 23658 2 jmdyck 2009-02-11 21:30:27 +0000 (In reply to comment #1) > With the default construction mode of "preserve" the actual type > of <e/> in each of these examples is element(e, xs:anyAtomicType). If construction mode is preserve, the type annotation (type-name) of a constructed element node is xs:anyType, so the actual type of <e/> would be element(e, xs:anyType). But I don't think that makes a difference to the problem you raise. 23666 3 tim 2009-02-12 10:27:31 +0000 Thanks - I did mean element(e, xs:anyType). 23900 4 oliver 2009-02-24 11:47:03 +0000 In both these tests, the variable is never used. Under dynamic typing mode an implementation is free to never evaluate the definition of the global variable, and so never encounter the type error. Thus I think "1" is also a valid result for both these tests. 28296 5 frans.englich 2009-10-13 13:16:28 +0000 Seems to have been fixed in CVS on 2009/01/12 by me, but the report was never closed. 28297 6 tim 2009-10-13 13:21:49 +0000 I'm still seeing an error in K2-ExternalVariablesWith-23 Expected success, was XPTY0004: Type check error. The declared type of variable '$v' in namespace '' is 'element notWildCard nillable of type http://www.w3.org/2001/XMLSchema:untyped+' but its value has type 'element e of type http://www.w3.org/2001/XMLSchema:anyType'." /> 28299 7 frans.englich 2009-10-13 13:27:14 +0000 Yupp, maybe better now? :) 28305 8 tim 2009-10-13 14:07:46 +0000 Fixed now, thanks.