Add rule 4 to user-defined rules

objectionary · Feb 6, 2024 · 346046d · 346046d
1 parent 94348a3
commit 346046d
Showing 1 changed file with 15 additions and 0 deletions.
diff --git 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: |