Modify rule 5 to use context

Co-authored-by: Nikolai Kudasov <[email protected]>
objectionary · Feb 7, 2024 · 067109d · 067109d
1 parent 4d68a2f
commit 067109d
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -36,18 +36,16 @@ rules:
     result: |
       ⟦ σ ↦ Φ, !B ⟧.!a
     when: []
-    tests:
-      - name: Should match
-        input: Φ.a
-        output: ⟦ σ ↦ Φ ⟧.a
-        matches: true
+    tests: []
 
   - name: Rule 5
     description: "ξ-dispatch"
+    context:
+      current_object: ⟦ !a ↦ ξ.!b, !B ⟧
     pattern: |
-      ⟦ !a ↦ ξ.!b, !B ⟧
+      ξ
     result: |
-      ⟦ !a ↦ ⟦ !B ⟧.!b, !B ⟧
+      ⟦ !B ⟧
     when: []
     tests: []