RE: ORA-XS-380-B: ERR XT1000 is a Dynamic Error from Michael Kay on 2004-02-16 (public-qt-comments@w3.org from February 2004)

From: Michael Kay <mhk@mhk.me.uk>
Date: Mon, 16 Feb 2004 21:47:57 -0000
To: "'Mark Scardina'" <Mark.Scardina@oracle.com>, <public-qt-comments@w3.org>
Message-ID: <003101c3f4d6$8abbd490$6401a8c0@pcukmka>

> -----Original Message-----
> From: public-qt-comments-request@w3.org 
> [mailto:public-qt-comments-request@w3.org] On Behalf Of Mark Scardina
> Sent: 16 February 2004 12:06
> To: public-qt-comments@w3.org
> Subject: ORA-XS-380-B: ERR XT1000 is a Dynamic Error
> 
> 
> 
> SECTION 12.2: Numbering based on Position in a Document
> 
> "[ERR XT1000] It is a type error if the result of evaluating 
> the select attribute of the xsl:number instruction is 
> anything other than a single node."
> 
> This is not a type error but a dynamic error.

> 
Could you explain why? It's an error that a system can detect statically
if it does static type inference, so in my book that makes it a type
error.

Michael Kay

Received on Monday, 16 February 2004 16:47:15 UTC