Datatype library services

["MURATA Makoto (FAMILY Given)" <EB2M-MRT@asahi-net.or.jp>]

David Tolpin persuaded me to believe that datatype library services
are either underspecified or overspecified in the RELAX NG spec.  

At present, the spec says that datatype libraries provide two services
(datatypeAllows and datatypeEqual) for validating instances.  However,
to detect incorrect schemas, datatype libraries are required to
provide more services for catching incorrect types (i.e. the type
attribute of data and value), incorrect parameters, and invalid values
(i.e., the content of value).

If such services should be defined in the RELAX NG spec in an abstract
manner, the last para of 4.16 should be expanded so that it mentions
abstract services for detecting incorrect schemas.  If such services
should be defined by API designers, the first and second paragraphs of
6.2.8 of the RELAX NG spec should be deleted.

Cheers,

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