simple rule of resetting delta doesn't work

[yegor256]

My YAML file:

title: "simple"
rules:
  - name: simple
    description: 'change 33 double to 42 double'
    pattern: |
      Δ ⤍ 40-40-80-00-00-00-00-00
    result: |
      Δ ⤍ 40-45-00-00-00-00-00-00
    when: [ ]
    tests: [ ]

I'm getting:

$ normalizer transform --rules /hone/simple.yml /target/generated-sources/phi/Hello.phi --single -o /target/generated-sources/phi-optimized/Hello.phi
>> normalizer: syntax error at line 1, column 1 before `Δ'
>> on input
>> Δ ⤍ 40-40-80-00-00-00-00-00

What's wrong?

PS. I tried this, same result (added brackets):

title: "simple"
rules:
  - name: simple
    description: 'change 33 double to 42 double'
    pattern: |
      (Δ ⤍ 40-40-80-00-00-00-00-00)
    result: |
      (Δ ⤍ 40-45-00-00-00-00-00-00)
    when: [ ]
    tests: [ ]

[yegor256]

@deemp please, help

[yegor256]

@deemp I also tried this, same result:

title: "simple"
rules:
  - name: simple
    description: test
    pattern: |
      a ↦ ⟦⟧.b
    result: |
      a ↦ b
    when: [ ]
    tests: [ ]

What am I doing wrong?

[yegor256]

@deemp if we would have documentation, maybe I would solve it by myself: #506

[deemp]

@yegor256, the pattern must be an object.

This information will be specified in the documentation when #427 is closed.

[yegor256]

@deemp it should be possible to specify any expression as a pattern, not only a formation. A binding, for example. Otherwise, we will have a very limited ability of the normalizer.

[deemp]

@yegor256, which syntactic constructs apart from Object and Binding should be supported?

The names of these constructs are written just before ::= in Syntax.cf

[deemp]

@fizruk, will you take this issue?

[yegor256]

@deemp @fizruk any phi expression should be supported in the pattern, I believe. Even this should be possible:

pattern: |
  00-2A
result: |
  00-2B