<?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>1622</bug_id>
          
          <creation_ts>2005-07-15 01:14:54 +0000</creation_ts>
          <short_desc>a union type does not have a base type</short_desc>
          <delta_ts>2005-09-06 13:03:46 +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>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>4698</commentid>
    <comment_count>0</comment_count>
    <who name="Fred Zemke">fred.zemke</who>
    <bug_when>2005-07-15 01:14:54 +0000</bug_when>
    <thetext>2.4.4 Top level definitions
First para following the rules for formal EBNF, second sentence:
&quot;In the case of a complex type, or a simple type derived by list 
or union, derivation indicates if the type is derived by extension
or restriction from its base type.&quot;  But: a union type does not 
have a base type, so the reference to them appears out of place
here.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>4957</commentid>
    <comment_count>1</comment_count>
    <who name="Michael Rys">mrys</who>
    <bug_when>2005-07-20 00:13:10 +0000</bug_when>
    <thetext>The joint XQuery/XSLT F2F meeting will resolve bug 1622 by clarifying the 
spec.  There is a base type for types derived by list or union which is 
xs:anySimpleType.  We will clarify the paragraph to clearly separate complex 
types derived by restriction from simple types derived by list or union.

Please reopen the bug if you disagree with the resolution, or close it 
otherwise.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>