data rendering in .phi is broken

[yegor256]

PhiMojo renders data values incorrectly: with spaces instead of dashes.

[yegor256]

@maxonfjvipon please, help us fix this (I reproduced the problem in d183103)

[yegor256]

@maxonfjvipon it works fine, if 01-02-03 is used in the XMIR, instead of 01 02 03. However, I believe, we must support both formats and print .phi correctly in either case.

[maxonfjvipon]

@yegor256 after removing @data bytes in XMIR must be without spaces but with dashes, the same as they are in EO: -- for empty or 00- for one or 00-00 for many. We need to cover this in XSD or add new XSL transformation that validates bytes format. It's mandatory because otherwise without @data attribute we can't detect if object has some empty data: empty bytes or empty string. It'll be just regular object without text(): <o base="org.eolang.bytes"/>. And in the end it'll be converted to EO or phi incorrectly

[maxonfjvipon]

@yegor256 and I think we should not support both, the less - the better

[yegor256]

@maxonfjvipon let's try to add a test for our XSD? The test should be parametrized and have a number of YAML files, each of which should have a wrongly formatted XMIR. We should check that all of them fail when being passed through the XSD. Then, let's implement the check in the XSD, which you are talking about.