[Bug 11095] New: Lack of clarity on 'unknown' types

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11095

           Summary: Lack of clarity on 'unknown' types
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 1.1
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: holstege@mathling.com
         QAContact: public-qt-comments@w3.org


For additional context, see http://www.w3.org/Bugs/Public/show_bug.cgi?id=10291

The issue is that there is a main module and a library module.
The library imports a schema that declares a subtype of xs:int and has a
function
that that returns an instance of the subtype.
The main module does not import the schema, but tests whether the result of
the library module function call is an instance of xs:int.

The intended result is that this return true and not raise an error, but the
text is not make clear why the error is forbidden.

See also http://lists.w3.org/Archives/Member/w3c-xsl-query/2010Sep/0062.html 
and following (member only)

-- 
Configure bugmail: http://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 Tuesday, 19 October 2010 15:35:37 UTC