diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml index 2644a7e5f..6d01d3622 100644 --- a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml +++ b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml @@ -27,6 +27,21 @@ rules: output: '⟦ a ↦ ⟦ b ↦ ⟦ ⟧ ⟧ ⟧' matches: false + - name: Rule 4 + description: 'Φ-dispatch' + context: + global_object: ⟦ !B ⟧ + pattern: | + Φ.!a + result: | + ⟦ σ ↦ Φ, !B ⟧.!a + when: [] + tests: + - name: Should match + input: Φ.a + output: ⟦ σ ↦ Φ ⟧.a + matches: true + - name: Rule 5 description: "ξ-dispatch" pattern: |