Remove NF condition from the rules

objectionary · Jul 25, 2024 · 920f684 · 920f684
1 parent 1099061
commit 920f684
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/dataization.yaml b/eo-phi-normalizer/test/eo/phi/dataization.yaml
@@ -79,7 +79,7 @@ tests:
       {⟦ x ↦ ⟦ a ↦ ⟦ b ↦ ⟦ c ↦ ξ.ρ ⟧.c ⟧.b ⟧.a , λ ⤍ Package ⟧}
     output:
       object: |
-        ⟦ x ↦ ⟦ b ↦ ⟦ c ↦ ξ.ρ ⟧.ρ, ρ ↦ ⟦ ρ ↦ ⟦ b ↦ ⟦ c ↦ ξ.ρ ⟧.ρ ⟧, c ↦ ξ.ρ ⟧ ⟧, λ ⤍ Package ⟧
+        ⟦ x ↦ ⟦ b ↦ ⟦ c ↦ ξ.ρ ⟧.ρ, ρ ↦ ⟦ a ↦ ⟦ b ↦ ⟦ c ↦ ξ.ρ ⟧.c ⟧.b ⟧ ⟧, λ ⤍ Package ⟧
 
   - name: "usage of Φ with a loop"
     dependencies: []

diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -63,8 +63,6 @@ rules:
       !b[ ξ ↦ ⟦ !τ ↦ !b, !B ⟧ ]
     when:
       - apply_in_abstract_subformations: false
-      - nf_inside_formation: '!b'
-      - nf: '⟦ !B ⟧'
     tests:
       - name: Should match
         input: ⟦ hello ↦ ⟦⟧ ⟧.hello
@@ -101,8 +99,6 @@ rules:
       ⟦ !τ1 ↦ !b0[ ξ ↦ !b_cur ], !τ2 ↦ !b1[ ξ ↦ !b_cur ], !B ⟧
     when:
       - apply_in_subformations: false
-      - nf: '!b0'
-      - nf: '!b1'
     tests: []
 
   - name: R_COPY1
@@ -118,7 +114,6 @@ rules:
       ⟦ !τ ↦ !b[ ξ ↦ !b_cur ], !B ⟧
     when:
       - apply_in_subformations: false
-      - nf: '!b'
     tests: []
 
   - name: R_COPY
@@ -131,7 +126,6 @@ rules:
       ⟦ !τ ↦ !b[ ξ ↦ !b_cur ], !B1 ⟧(!B2)
     when:
       - apply_in_subformations: false
-      - nf: '!b'
     tests: []
 
   - name: R_COPY_EMPTY
@@ -210,7 +204,6 @@ rules:
       - present_attrs:
           attrs: ['ρ']
           bindings: ['!B']
-      - nf: '⟦ !B ⟧'
     tests:
       - name: 'Accessing nonexistent attribute'
         input: '⟦ ρ ↦ ⟦ ⟧ ⟧.x'