From fa46cad3c2bb0a9db0b22cec44b475a36cd22aca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9C=D0=B0=D0=B7=D0=B4=D0=B0=D0=B9=D1=89=D0=B8=D0=BA?=
 <a.v.konovalov87@mail.ru>
Date: Sat, 27 Jul 2019 14:49:23 +0300
Subject: [PATCH] =?UTF-8?q?FIXED:=20=D0=A4=D1=83=D0=BD=D0=BA=D1=86=D0=B8?=
 =?UTF-8?q?=D0=B8=20Func*n=20=D0=BD=D0=B5=20=D0=BC=D0=BE=D0=B3=D1=83=D1=82?=
 =?UTF-8?q?=20=D0=B1=D1=8B=D1=82=D1=8C=20$ENTRY=20(#122,=20#239)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/compiler/OptTree-Drive.ref | 32 ++++++++++++++------------------
 1 file changed, 14 insertions(+), 18 deletions(-)

diff --git a/src/compiler/OptTree-Drive.ref b/src/compiler/OptTree-Drive.ref
index 3dbc5a37..806047ed 100644
--- a/src/compiler/OptTree-Drive.ref
+++ b/src/compiler/OptTree-Drive.ref
@@ -345,7 +345,7 @@ OptSentence-MakeSubstitutions {
     : e.Solution
 
     = <OptSentence-MakeSubstitutions-Aux
-        (e.RS) s.Mode s.ScopeClass (e.Name) (e.Rest) (e.Args)
+        (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
         e.Solution
       >;
 
@@ -364,7 +364,7 @@ OptSentence-MakeSubstitutions-Aux {
   /*
     В случае решения без сужений просто применяем замены
   */
-  (e.RS) s.Mode s.ScopeClass (e.Name) (e.Rest) (e.Args)
+  (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
   Success (() (e.Assigns))
     = ((e.RS) (() (e.Assigns)) (/* нет новых функций */));
 
@@ -372,12 +372,10 @@ OptSentence-MakeSubstitutions-Aux {
      В случае "грязного" решения добавляем вызов остаточной
      прогоняемой функции (Только при L-выражении)
   */
-  (e.RS) s.Mode s.ScopeClass (e.Name) (e.Rest) (e.Args)
+  (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
   Success e.M
     , s.Mode : Drive
-    = <CreateRemainderDrivenFunc
-        s.ScopeClass (e.Name) e.Rest
-      >
+    = <CreateRemainderDrivenFunc (e.Name) e.Rest>
     : t.newFunc
     , t.newFunc : (Function s.Sc1 (e.NewName) e.Body)
     = ((e.RS) e.M (/* нет новых функций */))
@@ -391,11 +389,9 @@ OptSentence-MakeSubstitutions-Aux {
     В случае неудачи нужно заменить прогоняемый вызов
     на вызов остаточной функции
   */
-  (e.RS) s.Mode s.ScopeClass (e.Name) (e.Rest) (e.Args)
+  (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
   Failure
-    = <CreateRemainderDrivenFunc
-        s.ScopeClass (e.Name) e.Rest
-      >
+    = <CreateRemainderDrivenFunc (e.Name) e.Rest>
     : t.newFunc
     , t.newFunc : (Function s.Sc1 (e.NewName) e.Body)
     = (
@@ -409,7 +405,7 @@ OptSentence-MakeSubstitutions-Aux {
 
     Undefined или левая часть не-L-выражение
   */
-  (e.RS) s.Mode s.ScopeClass (e.Name) (e.Rest) (e.Args)
+  (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
   e.Other
     = (
         ((ColdCallBrackets (Symbol Name e.Name) e.Args))
@@ -662,18 +658,18 @@ ApplyContractions-Term {
 }
 
 /*
-  <CreateRemainderDrivenFunc s.ScopeClass (e.Name) e.Sentences>
+  <CreateRemainderDrivenFunc (e.Name) e.Sentences>
     == t.Function
 */
 
 CreateRemainderDrivenFunc {
-  s.ScopeClass (e.Name SUF e.Suffixes '*' s.N) e.Sentences =
-    (Function s.ScopeClass (e.Name SUF e.Suffixes '*' <Add s.N 1>) Sentences e.Sentences);
+  (e.Name SUF e.Suffixes '*' s.N) e.Sentences =
+    (Function GN-Local (e.Name SUF e.Suffixes '*' <Add s.N 1>) Sentences e.Sentences);
 
-  s.ScopeClass (e.Name SUF e.Suffixes) e.Sentences =
-    (Function s.ScopeClass (e.Name SUF e.Suffixes '*' 1) Sentences e.Sentences);
+  (e.Name SUF e.Suffixes) e.Sentences =
+    (Function GN-Local (e.Name SUF e.Suffixes '*' 1) Sentences e.Sentences);
 
-  s.ScopeClass (e.Name) e.Sentences =
-    (Function s.ScopeClass (e.Name SUF '*' 1) Sentences e.Sentences)
+  (e.Name) e.Sentences =
+    (Function GN-Local (e.Name SUF '*' 1) Sentences e.Sentences)
 }