eo
eo copied to clipboard
`eoc unphi` produces untestable programs
@maxonfjvipon, @yegor256
Related to https://github.com/objectionary/eo/issues/2940
Problem
I normalized a PHI file, then converted it to a normalized EO file and tried to run tests from the normalized EO file. However, tests failed.
eoc version
0.19.0
Files
bytes-tests-minimal-initial.phi
:
{
⟦
org ↦ ⟦
eolang ↦ ⟦
takes-part-of-bytes ↦ ⟦
φ ↦ Φ.org.eolang.bytes(
Δ ⤍ 20-1F-EE-B5-90
).slice(
α0 ↦ Φ.org.eolang.int(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-01
)
),
α1 ↦ Φ.org.eolang.int(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-03
)
)
).eq(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 1F-EE-B5
)
)
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}
bytes-tests-minimal-normalized.phi
:
{ ⟦ org ↦ ⟦ eolang ↦ ⟦ takes-part-of-bytes ↦ ⟦ Δ ⤍ 01- ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧ }
bytes-tests-minimal-normalized.eo
:
+package org.eolang
+tests
# This is the default 64+ symbols comment in front of named abstract object.
[] > takes-part-of-bytes
01-
Run tests
npx eoc --parser=0.38.0 test
Error
EO objects registered in .eoc/eo-foreign.json
Assembling into .eoc
EO program assembled in .eoc
[ERROR] /home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/min.eo, line 6: The object has attribute without a name, line=6, pos=2
[ERROR] net.sf.saxon.style.XSLMessage@6f767acb: Errors identified:
/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/min.eo, 6: The object has attribute without a name, line=6, pos=2;
[ERROR] #fatalError(): Processing terminated by xsl:message at line 31 in fail-on-errors.xsl; SystemID: file:///org/eolang/parser/fail-on-errors.xsl; Line#: 31; Column#: 34
[ERROR] Processing terminated by xsl:message at line 31 in fail-on-errors.xsl
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.38.0:verify (default-cli) on project eoc: 'org.eolang.maven.VerifyMojo@47406941' execution failed: java.io.UncheckedIOException: java.io.IOException: java.util.concurrent.ExecutionException: java.lang.IllegalArgumentException: Failed to transform by net.sf.saxon.jaxp.TransformerImpl: Processing terminated by xsl:message at line 31 in fail-on-errors.xsl; SystemID: file:///org/eolang/parser/fail-on-errors.xsl; Line#: 31; Column#: 34 -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:verify -Deo.version=0.38.0 -Deo.tag=0.38.0 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/output-eo-programs/normalized/.eoc/eo-placed.csv -Deo.placedFormat=csv --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code