\Delta may not be attached to \varempty

[yegor256]

This is not a valid phi expression:

x ↦ ⟦ Δ ⤍ ∅ ⟧

\Delta may not be attached to anything except bytes. Here is out latest grammar:

[yegor256]

@deemp please, check this one

[fizruk]

I believe we had a discussion about this. bytes needs this. Otherwise, please explain how bytes is supposed to be properly dataized without being treated as a special object.

[yegor256]

@fizruk this is how we do it:

Φ̇.bytes(⟦ Δ ⤍ 01- ⟧)

Here is how bytes are defined:

{⟦
  org ↦ ⟦
    eolang ↦ ⟦
      bytes ↦ ⟦
        data ↦ ∅,
        ...
      ⟧
    ⟧
  ⟧
⟧}

[fizruk]

Ok, this is new notation and requires supporting #604 first. Can you please specify which EO version introduced this change?

[yegor256]

@fizruk not necessarily, you can just support this for now:

Φ̇.bytes(α0 ↦ ⟦ Δ ⤍ 01- ⟧) 

We started to use bytes like this in version 0.43.0: objectionary/eo#3523