<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>1619</bug_id>
          
          <creation_ts>2005-07-15 01:09:36 +0000</creation_ts>
          <short_desc>what is the default type of a document?</short_desc>
          <delta_ts>2005-09-06 13:03:30 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XPath / XQuery / XSLT</product>
          <component>Formal Semantics 1.0</component>
          <version>Last Call drafts</version>
          <rep_platform>PC</rep_platform>
          <op_sys>Windows 2000</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>WORKSFORME</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Fred Zemke">fred.zemke</reporter>
          <assigned_to name="Jerome Simeon">simeon</assigned_to>
          
          
          <qa_contact name="Mailing list for public feedback on specs from XSL and XML Query WGs">public-qt-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>4695</commentid>
    <comment_count>0</comment_count>
    <who name="Fred Zemke">fred.zemke</who>
    <bug_when>2005-07-15 01:09:36 +0000</bug_when>
    <thetext>2.4.2 Item Types
The second paragraph before Note says &quot;a document
type has an optional content type.  If no content is given, then
it refers to the wildcard type describing any document.&quot;
I have not found any rules that specify what type is to be 
implicit when the type is missing.  The normalization rule
in 3.5.4 &quot;SequenceType matching&quot; says that 
[document-node()]SequenceType == document, so that is no help.
In 8.2.2.1
&quot;Static judgment for axes&quot;, there is a rule for the type analysis
of the child:: axis of a &quot;document { Type }&quot;, but that assumes that
you already have the default Type, which the normalization rule
did not actually specify. The rules of 8.1 &quot;Judgments for
accessing types&quot; only talk about element types, not document nodes.
So how is the default type of document supplied?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5057</commentid>
    <comment_count>1</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2005-07-21 00:10:17 +0000</bug_when>
    <thetext>The default type for document without a type content is actually given in
Section 2.4.2:

&lt;&lt;
A document type has an optional content type. If no content type is given, then
the type is treated as being the wildcard type for documents, i.e., a sequence
of text and element nodes.
&gt;&gt;

- Jerome</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5151</commentid>
    <comment_count>2</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2005-07-22 17:08:55 +0000</bug_when>
    <thetext>The XML Query and XSL Working Groups discussed this issue during
our meeting this morning.  Having confirmed that the text of
Section 2.4.2 is as described in Jerome Simeon&apos;s Comment #1, the
Working Groups concluded that the correct thing to do is to treat
this issue as a request for clarification and close it with no
further action.  Accordingly, I&apos;m changing the status of this issue
to WORKSFORME.

Please let us know if you are satisfied with this resolution of 
your issue, by adding a comment to the issue record and changing 
the Status of the issue to Closed. Or, if you do not agree with 
this resolution, please add a comment explaining why. If you 
wish to appeal the WG&apos;s decision to the Director, then also change 
the Status of the record to Reopened. If you wish to record your 
dissent, but do not wish to appeal the decision to the Director, 
then change the Status of the record to Closed. If we do not hear 
from you in the next two weeks, we will assume you agree with 
the WG decision.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>