Run normalizer on the `spring-fat` archive

[deemp]

• Depends on https://github.com/objectionary/normalizer/issues/257

Here's the archive (spring-fat.zip).

• What's the main file?
• Should I pass other PHI files as --dependency-file-s?

[deemp]

@volodya-lombrozo, what is the "main" PHI file in the spring-fat.zip archive?

[volodya-lombrozo]

@deemp I don't clearly understand what is the "main" PHI file, but all the files we are interested in are placed in ./spring-fat/org/eolang/jeo/spring. I've checked the archive and it doesn't contain the necessary Factorial.phi file. Could you try to print PHI expressions one more time with the newest opeo-maven-plugin version?

[deemp]

@volodya-lombrozo, I got phi-expressions.zip with the latest opeo-maven-plugin. I do see Factorial.phi. Is this the "main file" (the file that we should normalize)?

[deemp]

@fizruk, I got a parsing error.

normalizer dataize --recursive --minimize-stuck-terms --as-package org/eolang/jeo/spring/Factorial.phi 

normalizer: An error occurred when parsing the input program:
syntax error at line 19, column 22 before `access-j$d'

[volodya-lombrozo]

@volodya-lombrozo, I got phi-expressions.zip with the latest opeo-maven-plugin. I do see Factorial.phi. Is this the "main file" (the file that we should normalize)?

@deemp Yes

[volodya-lombrozo]

@fizruk, I got a parsing error.

normalizer dataize --recursive --minimize-stuck-terms --as-package org/eolang/jeo/spring/Factorial.phi 

normalizer: An error occurred when parsing the input program:
syntax error at line 19, column 22 before `access-j$d'

@deemp I will create an issue for that. Thank you. Could you provide a bit of context, please? Which version of normalizer you are using and where I can get it?

[deemp]

I use normalizer from the last commit on master.

You can install the normalizer from the repository (link).

[fizruk]

@fizruk, I got a parsing error.

It appears that Fibonacci.phi contains invalid syntax:

              j$d ↦ ξ.field(
                α0 ↦ access-j$d ↦ ξ.int(
                  Δ ⤍ 00-00-00-00-00-00-00-02
                ),
                α1 ↦ descriptor-j$d ↦ ξ.string(
                  Δ ⤍ 49-
                ),
                α2 ↦ signature-j$d ↦ ξ.string(
                  Δ ⤍ --
                ),
                α3 ↦ value-j$d ↦ ξ.int(
                  Δ ⤍ --
                )
              ),

I do not think that α0 ↦ access-j$d ↦ ... is valid? @maxonfjvipon perhaps, this concerns eo phi?