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

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