[relax-ng-comment] conformance test

[Gary Stephenson <garys@ihug.com.au>]

Hi all,

In test no 292 from James Clark's test suite we have :

<?xml version="1.0" encoding="utf-8"?>
<choice xmlns="http://relaxng.org/ns/structure/0.9">
  <element name="foo">
    <empty/>
  </element>
  <group>
    <notAllowed/>
    <element name="bar">
      <group>
        <data type="token"/>
        <data type="token"/>
      </group>
    </element>
  </group>
</choice>

After running this through the simplification process - but before executing
step 4.19 (process notAllowed's) I get :

( T_Root :
    ( T_Grammar :
        ( DEFINE - start :
            ( T_Choice :
                ( REF : __sub__2 )
                ( T_Group :
                    ( T_NotAllowed )
                    ( REF : __sub__3 )
                )
            )
        )
        ( DEFINE - __sub__2 :
            ( ELEMENT

                ( EXPANDED-NAME : {,foo} )
                ( T_Empty )
            )
        )
        ( DEFINE - __sub__3 :
            ( ELEMENT

                ( EXPANDED-NAME : {,bar} )
                ( T_Group :
                    ( DATA : token )
                    ( DATA : token )
                )
            )
        )
    )
)

After executing step 4.19 - i.e. removing the notAllowed's I end up with:

( T_Root :
    ( T_Grammar :
        ( DEFINE - start :
            ( REF : __sub__2 )
        )
        ( DEFINE - __sub__2 :
            ( ELEMENT

                ( EXPANDED-NAME : {,foo} )
                ( T_Empty )
            )
        )
        ( DEFINE - __sub__3 :
            ( ELEMENT

                ( EXPANDED-NAME : {,bar} )
                ( T_Group :
                    ( DATA : token )
                    ( DATA : token )
                )
            )
        )
    )
)

Note that the __sub__3 define has now been "orphaned" - there is no longer any
reference to it. When I then run content-type check (section 7.2) I get a
content-type error for that define - 'coz groupable( data(), data() ) -->
false.

So, it would appear that after running simplification steps 4.19 and 4.20,  I
need to again check for and remove any define's orphaned in the process - yes?

Also,  is my processor correct in rejecting the __sub__3 element pattern as
not having a defined content-type?

Many tias,

gary