<?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>1648</bug_id>
          
          <creation_ts>2005-07-16 00:12:20 +0000</creation_ts>
          <short_desc>[FS] normalization rules may invoke other normalization rules</short_desc>
          <delta_ts>2007-01-16 17:31:13 +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>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="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>4731</commentid>
    <comment_count>0</comment_count>
    <who name="Fred Zemke">fred.zemke</who>
    <bug_when>2005-07-16 00:12:20 +0000</bug_when>
    <thetext>3.2.2 Normalization judgment
Section 3.5.4 &quot;Sequence type matching&quot;
presents some mapping rules which have square
brackets both before the == operator and after the ==.  
(for example, the mapping rule for OccurrenceIndicator and 
for document-node).  This
possibility is not discussed when presenting the notation for
mapping rules in section 3.2.2 &quot;Normalization judgment&quot;.  
Specifically, the discussion of mapping rules says that the 
right hand side is a &quot;Mapped Object&quot;.  Seemingly, the 
&quot;Mapped Object&quot; is not necessarily an &quot;object&quot; because it
is not completely resolved, and may require further evaluation.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>4893</commentid>
    <comment_count>1</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2005-07-19 17:22:54 +0000</bug_when>
    <thetext>I believe this is editorial.
- Jerome</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>9257</commentid>
    <comment_count>2</comment_count>
    <who name="Jerome Simeon">simeon</who>
    <bug_when>2006-04-15 23:25:31 +0000</bug_when>
    <thetext>Added some text and an example (using the normalization of the &apos;/&apos; expression) to illustrate this case in Section 3.2.2.
- Jerome
</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>