W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1692] New: [FS] iterative application of the rule on union types

From: <bugzilla@wiggum.w3.org>
Date: Sun, 17 Jul 2005 21:47:26 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DuGys-0002hs-Ul@wiggum.w3.org>


           Summary: [FS] iterative application of the rule on union types
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org

4.1.5 Function calls
Under "static type analysis", it is worth stating explicitly
that the second inference can be used iteratively to handle
functions with more than one argument whose type is a union.
Received on Sunday, 17 July 2005 21:48:15 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC