[relaxng-user] conformance and datatype libraries

[MURATA Makoto (FAMILY Given)]

>   1) In my opinion, there is no provision in the specification to check for these
>   constraints.
...
> 
>   There is no service in a datatype library that helps check for these constraints.

I now have better understanding your point.  You would like to create a RELAX NG validator, 
which can play with any datatype library implementation.  Thus, the interface between 
validators and datatype library implementations has to be powerful enough to detect all 
incorrect schemas.  Although such an interface is certainly API dependent, you would 
like the RELAX NG spec to define an abstract mechanism.  Such an abstract mechanism 
helps implementors to design APIs, especially because the RELAX NG spec already provides 
datatypeEqual and datatypeAllows.  Is this your point?

>   2) Section 4.16 does not specify whether a schema with a value that is not allowed
>   by its datatype is valid or not.

This is true.  I think this is a bug.


-- 
MURATA Makoto (FAMILY Given) <EB2M-MRT at asahi-net.or.jp>