[relax-ng] Re: Description of Jing's validation algorithm

Sorry for the belated comments. It took me sometime to settle in a new
environment.


> OneOrMore and Text are straightforward:
> 
> deriv (OneOrMore p) n cx =
>   group (deriv p n cx) (choice (OneOrMore p) Empty)
> deriv Text (TextNode _) _ = Text
> 

I think Text is not so straightforward. I once thought 

deriv Text (TextNode _) _ = Empty

and I saw another person (I guess in xml-dev) that understood it in this
way. So I guess it's worth mentioning that the residual of Text is still
Text, not Empty.


Also, it might worth mentioning in the error handling section that
employing the "panic mode" technique is a good way to conceal a poor
error recovery.



I still need to read streaming part of the algorithm ...


regards,
--
Kohsuke KAWAGUCHI                          +1 607 257 0037
Sun Microsystems