integer in EXI4JSON

Hi,

In EXI4JSON [1], "integer" needs to be represented as a child of "other" element.
Please see appendix B "XML Schema for EXI4JSON".

It would be nice if "integer" is defined as belonging to substitution group of "number"
element.

When one creates a dedicated schema instead of the generic schema provided
in the spec, this makes more sense, I think.

With the change, a schema will be able to expect "number", and the instance document 
still can use "integer" in the same context.

Thank you,

[1] http://www.w3.org/TR/2016/WD-exi-for-json-20160823/#schema-exi4json

Taki Kamiya
Fujitsu Laboratories of America

Received on Monday, 6 March 2017 22:46:27 UTC