W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2012

[Bug 17476] New: [XQuery 3.0] validate type xs:untyped {...}

From: <bugzilla@jessica.w3.org>
Date: Wed, 13 Jun 2012 07:42:24 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-17476-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=17476

           Summary: [XQuery 3.0] validate type xs:untyped {...}
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


It appears to be legal to say

validate type xs:untyped {...}

but we don't say what it might mean.

I suggest that we explicitly allow this construct and define it to have the
same meaning as XSLT's

<xsl:copy-of select="..." validation="strip"/>

that is, it converts a typed document to an untyped one by removing all type
annotations. There are a number of use cases where this is handy, for example
before doing a deep-equal comparison.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 13 June 2012 07:42:26 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:39 UTC