Does Phi.g4 supports XI without dispatch?

[maxonfjvipon]

I see here that XI must have at least one dispatch. However, the following EO program uses $ without an attribute:

[] > prints-itself
  assert-that > @
   length.
     as-phi $
   $.greater-than 0

And it is translated into a ϕ-term with XI and without an attribute:

{org ↦ ⟦eolang ↦ ⟦prints-itself ↦ ⟦φ ↦ Φ.org.eolang.as-phi(α0 ↦ ξ).length.gt(α0 ↦ Φ.org.eolang.int(α0 ↦ Φ.org.eolang.bytes(Δ ⤍ 00-00-00-00-00-00-00-00)))⟧, prints-itself-to-console ↦ ⟦x ↦ Φ.org.eolang.int(α0 ↦ Φ.org.eolang.bytes(Δ ⤍ 00-00-00-00-00-00-00-2A)), φ ↦ Φ.org.eolang.io.stdout(α0 ↦ Φ.org.eolang.as-phi(α0 ↦ ξ))⟧, λ ⤍ Package⟧, λ ⤍ Package⟧}

In particular, it has a subterm

Φ.org.eolang.as-phi(α0 ↦ ξ)

Just want to clarify that this is normal and XI can be used without a dispatch.

It seems our Phi.g4 grammar does not support XI without dispatch, let's find out

[0pdd]

@maxonfjvipon the puzzle #2866 is still not solved.

[0pdd]

@maxonfjvipon the only puzzle #2866 is solved here.

[maxonfjvipon]

@yegor256 let's make a new release with tag 0.35.2, it blocks #2873

[yegor256]

@rultor release, tag is 0.35.2

[rultor]

@rultor release, tag is 0.35.2

@yegor256 OK, I will release it now. Please check the progress here

[rultor]

@rultor release, tag is 0.35.2

@maxonfjvipon @yegor256 Oops, I failed. You can see the full log here (spent 6min)

[yegor256]

@rultor release, tag is 0.35.2

[rultor]

@rultor release, tag is 0.35.2

@yegor256 OK, I will release it now. Please check the progress here

[rultor]

@rultor release, tag is 0.35.2

@yegor256 Done! FYI, the full log is here (took me 13min)