[Bug 1822] New: [XSLT 2.0] +INF

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1822

           Summary: [XSLT 2.0] +INF
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 2.0
        AssignedTo: mike@saxonica.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


Copied from public-qt-comments:

I tried to use bugzilla to comment on the XSLT 2.0 WD, but not sure I
succeeded. Here it is again.
XSL Transformations (XSLT) Version 2.0
W3C Working Draft 4 April 2005
http://www.w3.org/TR/2005/WD-xslt20-20050404/ 

XML Schema Part 2 definitions for infinity value in a float data type (
http://www.w3.org/TR/xmlschema-2/ ) are as follows:
"The special values positive and negative infinity and not-a-number have
lexical representations INF, -INF and NaN ..."

The XSLT2 WD has an example that cites '+INF', but it looks like XML
Schema part 2 doesn't specifically provide for the plus sign on positive
infinity.
I am referring to the XSLT2 WD example in "Example: Errors in Constant
Subexpressions" that contains the following line:
<xsl:value-of select="xs:double('+INF')"/>

Based on XML Schema part 2, it looks like the XSLT2 example should
instead say:
<xsl:value-of select="xs:double('INF')"/>

It looks like -INF is defined in XML Schema data types but not +INF:
<xsl:value-of select="xs:double('-INF')"/> 
 
Thanks,
Kit Lueder

MITRE Dept. W215 -- Enterprise Services Systems Engineering

    _/    _/             Kit C. J. Lueder       
   _/   _/         _/   The MITRE Corp.         Tel:  703-983-5205
  _/_/_/    _/  _/_/_/ 7515 Colshire Dr        Cell: 703-577-2463
 _/   _/   _/    _/   Mailstop H405           FAX:  703-983-3383
_/    _/  _/    _/   McLean, VA 22102-7508   Mail: kit@mitre.org
Note: MITRE numbers have changed from 703-883-xxxx to 703-983-xxxx.
Divided we stand; United we fall.

Received on Thursday, 28 July 2005 08:18:29 UTC