650 fix new.yaml

[deemp]

• Closes Fix new.yaml #650

[deemp]

@yegor256

Currently, dataization with built-in rules (different from new.yaml) works for the celsius example if I desugar literals. So, it may be OK to desugar literals right after parsing (#680 (comment)).

Input

desugared.phi

{
  ⟦
    y ↦ ⟦
      c ↦ Φ.org.eolang.number(
        as-bytes ↦ Φ.org.eolang.bytes(
            α0 ↦ ⟦
              Δ ⤍ 40-39-00-00-00-00-00-00,
              ρ ↦ ∅
            ⟧
        )
      ).times(
        x ↦ Φ.org.eolang.number(
          as-bytes ↦ Φ.org.eolang.bytes(
              α0 ↦ ⟦
                Δ ⤍ 40-39-00-00-00-00-00-00,
                ρ ↦ ∅
              ⟧
          )
        )
      ).plus (
        x ↦ Φ.org.eolang.number(
          as-bytes ↦ Φ.org.eolang.bytes(
              α0 ↦ ⟦
                Δ ⤍ 40-39-00-00-00-00-00-00,
                ρ ↦ ∅
              ⟧
          )
        )
      )
    ⟧.c,
    λ ⤍ Package
  ⟧
}

I use these dependencies

bytes.phi

{⟦
  org() ↦ ⟦
    eolang() ↦ ⟦
      bytes(data) ↦ ⟦
        φ ↦ ξ.data,
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}

number.phi

{⟦
  org() ↦ ⟦
    eolang() ↦ ⟦
      number(as-bytes) ↦ ⟦
        φ ↦ ξ.as-bytes,
        times(x) ↦ ⟦
          λ ⤍ Lorg_eolang_number_times
        ⟧,
        plus(x) ↦ ⟦
          λ ⤍ Lorg_eolang_number_plus
        ⟧,
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}

Built-in rules

eo-phi-normalizer dataize --recursive -d bytes.phi -d number.phi --no-sugar --chain  desugared.phi

Chain

built-in-desugared.log

New rules

Command

eo-phi-normalizer dataize --recursive -d bytes.phi -d number.phi --no-sugar --chain -r eo-phi-normalizer/test/eo/phi/rules/new.yaml desugared.phi

Chain

new-rules-desugared.log

[yegor256]

@deemp my input is required here or this message is just FYI?

[deemp]

@yegor256, just FYI