[Bug 1692] New: [FS] iterative application of the rule on union types from bugzilla@wiggum.w3.org on 2005-07-17 (public-qt-comments@w3.org from July 2005)

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

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

           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