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

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