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

[Bug 1616] only the semantics of sequence types are specified, not all formal types

From: <bugzilla@wiggum.w3.org>
Date: Fri, 22 Jul 2005 16:54:28 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1Dw0n6-0002BG-SB@wiggum.w3.org>

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED




------- Additional Comments From simeon@us.ibm.com  2005-07-22 16:54 -------

The WGs have decided to accept the following fix to the inference
rule of document constructors as follows.

statEnv |- Expr : Type
statEnv |- Type <: (element | text | processing-instruction | comment)*
-----------------------------------------------------------------------
statEnv |- document { Expr } : document

to

statEnv |- Expr : Type
statEnv |- Type <: (element | text | processing-instruction | comment)*
-----------------------------------------------------------------------
statEnv |- document { Expr } : document { Type }

Which fixes the bug that the type of the expression was not reflected in
the output type.

We believe that along with the previous rationale posted for the semantics
of types, this closes your comment.

- Jerome Simeon
On behalf of the XML Query and XSL WGs
Received on Friday, 22 July 2005 16:54:31 UTC

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