[xsl] XPath "none" /type/ not available to the user

  Hi

  In F&O, §3 The Error Function says:

    fn:error() as none

    [...]

    Note that "none" is a special type defined in [XQuery
    1.0 and XPath 2.0 Formal Semantics] and is not available
    to the user.  It indicates that the function never
    returns and ensures that it has the correct static type.

  Why is it not available to the user?  As the result type
of a function that never returns.  For example, what can I
put in the @as of the following XSLT definition of an XPath
function?

    <xsl:function name="my:error" as="none()">
      <xsl:param name="msg" as="xs:string"/>
      <xsl:sequence select="
          error($my:error-qname, concat('No luck: ', $msg))"/>
    </xsl:function>

  IMHO, it can be interesting for static type checking.
Does this "type" introduces some complexity in the static
type system?  It seems that it is well defined in Formal
Semantics (but I don't know well this document, I just had a
quick look at it).

  Regards,

--drkm
























        

        
                
___________________________________________________________________________ 
Faites de Yahoo! votre page d'accueil sur le web pour retrouver directement vos 
services préférés : vérifiez vos nouveaux mails, lancez vos recherches et 
suivez l'actualité en temps réel. 
Rendez-vous sur http://fr.yahoo.com/set

--~------------------------------------------------------------------
XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--