4309 2007-02-08 14:23:51 +0000 fn-insert-before-mix-args-010 has invalid float value 2007-09-12 10:37:40 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 Other Linux CLOSED INVALID P2 normal --- 1 frans.englich frans.englich public-qt-comments oldest_to_newest 13928 0 frans.englich 2007-02-08 14:23:51 +0000 fn-insert-before-mix-args-010's query reads: fn:insert-before( ("a", "b", "c"),2, xs:float("-0")) the expected base line is: "a 0 b c" To me this seems wrong. 17.1.2 Casting to xs:string and xs:untypedAtomic reads: "If SV has the value positive or negative zero, TV is "0" or "-0" respectively." Saxon evaluates the above to "a -0 b c", which is what I would expect. In revision 1.5 of the file, the baseline changed from -0.0E0 to 0, without documenting why: http://dev.w3.org/cvsweb/2006/xquery-test-suite/TestSuiteStagingArea/ExpectedTestResults/Functions/SeqFunc/GeneralSeqFunc/SeqInsertBeforeFunc/fn-insert-before-mix-args-010.txt.diff?r1=1.4&r2=1.5&f=h Frans 13929 1 frans.englich 2007-02-08 14:28:09 +0000 To be a bit more specific: the baseline reading "a 0 b c" should be removed, unless I'm not mistaken. 13930 2 mike 2007-02-08 15:32:14 +0000 IIRC the spec says that when casting the string "-0" to float, it's implementation-defined whether you get negative or positive zero. (The reason is to do with the fact that Schema 1.0 doesn't have a distinct negative zero in the value-space) The change from 0.0e0 to 0 was to fix a bug: floating point zero when converted to a string should give you "0". 13931 3 frans.englich 2007-02-08 18:12:09 +0000 Ok. In that case the paragraph in 17.1.2 contradicts it, since it makes a distinction for positive and negative zero. It would be cool with a pointer to where it's mentioned how this serialization is implementation defined. Maybe a candidate for errata. Frans 16482 4 frans.englich 2007-09-12 09:44:24 +0000 Mike, section 17.1.2 Casting to xs:string and xs:untypedAtomic reads: If ST is xs:float or xs:double, then: If SV has the value positive or negative zero, TV is "0" or "-0" respectively. doesn't this mandate that xs:float("-0") must serialize to "-0"? 16484 5 mike 2007-09-12 09:59:14 +0000 xs:float("-0") is allowed to return positive or negative zero. This was decided because XML Schema 1.0 doesn't actually recognize negative zero. If it returns negative zero then it must serialize as "-0"; if it returns positive zero then it must serialize as "0". Michael Kay 16490 6 frans.englich 2007-09-12 10:37:14 +0000 I see. Rejecting.