Re: [xsl] Implicit casting from double to float

--On Wednesday, January 07, 2009 17:35:01 +0530 Mukul Gandhi wrote:

This could be a more accurate example for the feature I described,
<xsl:variable name="num" select="xs:double('1e4')" as="xs:float" />
<xsl:value-of select="$num" />
This runs fine with Saxon 9.x.

As it should given the definition of the language.

<http://www.w3.org/TR/xpath20/#promotion> seems to be the appropriate reference for this.

--
Owen Rees
========================================================
Hewlett-Packard Limited.   Registered No: 690597 England
Registered Office:  Cain Road, Bracknell, Berks RG12 1HN

Current Thread
[xsl] Implicit casting from double to float Mukul Gandhi - 7 Jan 2009 07:02:11 -0000 Andrew Welch - 7 Jan 2009 09:58:46 -0000 Mukul Gandhi - 7 Jan 2009 10:25:22 -0000 Mukul Gandhi - 7 Jan 2009 12:06:28 -0000 Owen Rees - 7 Jan 2009 12:24:38 -0000 <= David Carlisle - 7 Jan 2009 12:33:23 -0000 David Carlisle - 7 Jan 2009 12:49:36 -0000 Mukul Gandhi - 7 Jan 2009 14:56:49 -0000 David Carlisle - 7 Jan 2009 15:17:38 -0000

Current Thread

[xsl] Implicit casting from double to float
- Mukul Gandhi - 7 Jan 2009 07:02:11 -0000
  - Andrew Welch - 7 Jan 2009 09:58:46 -0000
    - Mukul Gandhi - 7 Jan 2009 10:25:22 -0000
      - Mukul Gandhi - 7 Jan 2009 12:06:28 -0000
      - Owen Rees - 7 Jan 2009 12:24:38 -0000 <=
      - David Carlisle - 7 Jan 2009 12:33:23 -0000
      - David Carlisle - 7 Jan 2009 12:49:36 -0000
      - Mukul Gandhi - 7 Jan 2009 14:56:49 -0000
      - David Carlisle - 7 Jan 2009 15:17:38 -0000

<- Previous	Index	Next ->
Re: [xsl] Implicit casting from dou, Mukul Gandhi	Thread	Re: [xsl] Implicit casting from dou, David Carlisle
Re: [xsl] Implicit casting from dou, Mukul Gandhi	Date	Re: [xsl] Implicit casting from dou, David Carlisle
	Month

<-prev [Thread] next->	<-prev [Date] next->
Month Index \| List Home