Удалён фильтр с экранирующих предложений, имеющих в правой части блоки

Такие предложения могут быть экранирующими, т.к. не имеют возврата
bmstu-iu9 · Jun 12, 2023 · 7e6e81f · 7e6e81f
1 parent 155631d
commit 7e6e81f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/autotests/screening-condition.ref b/autotests/screening-condition.ref
@@ -9,13 +9,14 @@ GetEnv {
 }
 
 ShellTest {
- 'unix', <GetEnv 'SHELL'> :
+ /*'unix', <GetEnv 'SHELL'> :
     { e.path '/bash' = Bash;
       e.path '/tcsh' = Tcsh;
     };
  'unix' = <GetEnv 'shell'> :
     { e.path '/bash' = Bash;
       e.path '/tcsh' = Tcsh;
-    };
+    };*/
+ 'unix', <GetEnv 'SHELL'> : e.path '/tcsh' = Tcsh;
  'unix' = Default;
 }
diff --git a/src/compiler/Checker-Screening.ref b/src/compiler/Checker-Screening.ref
@@ -169,12 +169,12 @@ FilterConditions {
           )
             = /* пусто */;
 
-          (
+          /*(
             t.NumberedSentence-L
             ((t.Pattern e._ (e._ (CallBrackets e.1) e._) ((Sentences e.2) e._)) s.Num)
 
           )
-            = /* пусто */;
+            =  пусто ;*/
 
           (t.NumberedSentence-L t.NumberedSentence-R)
             = (t.NumberedSentence-L t.NumberedSentence-R);