Merge pull request #435 from objectionary/fix-r-miss-duplicate

Remove duplicate rule
objectionary · Jul 19, 2024 · be68feb · be68feb · 0crat · Jul 19, 2024
2 parents 6d0440a + 5cc4044
commit be68feb
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -154,17 +154,6 @@ rules:
         input: '⟦ φ ↦ ⟦ ⟧, a ↦ ⟦ ⟧ ⟧.a'
         output: []
 
-  - name: R_MISS
-    description: 'Invalid application'
-    pattern: ⟦ !t ↦ !b1, !B1 ⟧(!t ↦ !b2, !B2)
-    result: ⊥
-    when:
-      - not_equal: ['!t', 'ρ']
-    tests:
-      - name: ''
-        input: '⟦ t ↦ ⟦ a ↦ ∅ ⟧ ⟧(t ↦ ⟦ b ↦ ∅ ⟧)'
-        output: ['⊥']
-
   - name: R_OVER
     description: 'Invalid application (attribute already attached)'
     pattern: ⟦ !t ↦ !b1, !B1 ⟧(!t ↦ !b2, !B2)