<?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>1647</bug_id>
          
          <creation_ts>2005-07-16 00:04:56 +0000</creation_ts>
          <short_desc>[FS] technical: NamespaceBindings in CompElemConstructor</short_desc>
          <delta_ts>2007-09-18 08:49:51 +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>All</rep_platform>
          <op_sys>All</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>minor</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Michael Dyck">jmdyck</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>4730</commentid>
    <comment_count>0</comment_count>
    <who name="Michael Dyck">jmdyck</who>
    <bug_when>2005-07-16 00:04:56 +0000</bug_when>
    <thetext>In 4.7.1.2 / Norm / rule 3, the RHS is a NamespaceBinding, which means
that back in 4.7.1 / Norm / rule (3|4), the RHS (a CompElemConstructor)
could contain NamespaceBindings in its ContentExpr.  But there is no
support for this in the Core grammar!

One solution would be to add NamespaceBinding as another alternative for
ExprSingle, but that would probably lead to a big mess.

Another solution would be to change (in 4.7.3.1)
   [73 (Core)] ContentExpr ::= Expr
to something like
   [73 (Core)] ContentExpr ::= (NamespaceBindings &quot;,&quot;)? Expr
which would make 4.7.1 / Norm / rule (3|4) happy.

Yet another solution would be to modify
   [72 (Core)] CompElemConstructor :: ...
to something like
   [72 (Core)] CompElemConstructor :: ... &quot;{&quot; NamespaceBinding* &quot;}&quot;
a syntax closer to that of ElementValue. This would require minor changes
to 4.7.1 / Norm / rule (3|4).  (I think I prefer this solution.)

Of course, any of these solutions will require changes to the inference
rules in 4.7.3.1.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5062</commentid>
    <comment_count>1</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2005-07-21 00:30:23 +0000</bug_when>
    <thetext>Good catch! This bug resulted from removal of namespace bindings from other
parts of the spec. I like your third solution as the best as well.
- Jerome</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>5153</commentid>
    <comment_count>2</comment_count>
    <who name="Don Chamberlin">chamberl</who>
    <bug_when>2005-07-22 17:22:03 +0000</bug_when>
    <thetext>Michael,
On July 22, 2005, the working group approved Jerome&apos;s suggestion to accept the 
third alternative solution proposed in your comment. Since this was one of your 
proposals, we assume you will find this resolution acceptable. If you have any 
further input on this issue, feel free to reopen this comment.
Regards,
Don Chamberlin</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>9485</commentid>
    <comment_count>3</comment_count>
    <who name="Michael Dyck">jmdyck</who>
    <bug_when>2006-04-27 08:02:03 +0000</bug_when>
    <thetext>Approval not reflected in the CR.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>9531</commentid>
    <comment_count>4</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2006-05-01 00:22:00 +0000</bug_when>
    <thetext>Reviewing the bug activity, it seems this bug may have been marked as closed before it was implemented. So it just got dropped of the work list.
We will try and fix this issue for the next publication.
- Jerome
</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>9742</commentid>
    <comment_count>5</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2006-05-10 17:43:23 +0000</bug_when>
    <thetext>Added the namespace binding in the core grammar as suggested, and fixed the normalization rules to normalize namespace attributes as proper namespace bindings.
- Jerome
</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>12766</commentid>
    <comment_count>6</comment_count>
    <who name="Michael Dyck">jmdyck</who>
    <bug_when>2006-11-01 23:12:50 +0000</bug_when>
    <thetext>However, not all of the necessary changes have been made in 4.7.3.1 (mostly in the Norm and DEv sections).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>16661</commentid>
    <comment_count>7</comment_count>
    <who name="Michael Dyck">jmdyck</who>
    <bug_when>2007-09-18 08:48:02 +0000</bug_when>
    <thetext>This issue has been entered as FS erratum E003.

A fix has been committed to the source files for the next edition of the FS
document. Consequently, I&apos;m marking this issue resolved-FIXED, and CLOSED.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>