OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Subject: Re: Fwd: <text/>


That case is already handled by (empty string) in 6.2.9 in conjunction with 
(text 1) in 6.2.4.

The (empty string) rule should probably be moved to 6.2.4 (or maybe 6.2.3 
with a note in 6.2.4).

--On 22 July 2001 13:12 +0900 Murata Makoto <mura034@attglobal.net> wrote:

>> cx |- {}; () =~ <text/> => {}; {}
>
> Somebody pointed out that the above inference rule is missing in the
> draft.
>
> Cheers,
>
> Makoto
>
> ------------------------------------------------------------------
> To unsubscribe from this elist send a message with the single word
> "unsubscribe" in the body to: relax-ng-request@lists.oasis-open.org
>
>






[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Powered by eList eXpress LLC