objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7 stars 2 forks source link

pretty printing doesn't put enough EOLs #545

Open yegor256 opened 2 hours ago

yegor256 commented 2 hours ago

related to #515

I'm getting this output:

...
method-params ↦ Φ.jeo.params, annotations ↦ Φ.org.eolang.seq0, φ ↦ Φ.org.eolang.seq3 (
  α0 ↦ ξ.aload-BD64, α1 ↦ ξ.invokespecial-BD66, α2 ↦ ξ.return-BD68
),
trycatchblocks-object@init@ ↦ Φ.org.eolang.seq0, local-variable-table ↦ Φ.org.eolang.seq0, aload-BD64 ↦ Φ.jeo.opcode (
  α0 ↦ Φ.jeo.int (
    α0 ↦ Φ.org.eolang.bytes (
      Δ ⤍ 00-00-00-00-00-00-00-19
    )
  ),
  α1 ↦ Φ.jeo.int (
    α0 ↦ Φ.org.eolang.bytes (
      Δ ⤍ 00-00-00-00-00-00-00-00
    )
  )
),
...

Obviously, a better formatting would be:

...
method-params ↦ Φ.jeo.params, 
annotations ↦ Φ.org.eolang.seq0, 
φ ↦ Φ.org.eolang.seq3 (
  α0 ↦ ξ.aload-BD64, 
  α1 ↦ ξ.invokespecial-BD66, 
  α2 ↦ ξ.return-BD68
),
trycatchblocks-object@init@ ↦ Φ.org.eolang.seq0, 
local-variable-table ↦ Φ.org.eolang.seq0, 
aload-BD64 ↦ Φ.jeo.opcode (
  α0 ↦ Φ.jeo.int (
    α0 ↦ Φ.org.eolang.bytes (
      Δ ⤍ 00-00-00-00-00-00-00-19
    )
  ),
  α1 ↦ Φ.jeo.int (
    α0 ↦ Φ.org.eolang.bytes (
      Δ ⤍ 00-00-00-00-00-00-00-00
    )
  )
),
yegor256 commented 2 hours ago

@deemp @fizruk please, check