From 38b963c83026388498eab586657f5cc438ee2f8e 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: Sun, 28 Jul 2019 10:14:11 +0300
Subject: [PATCH] =?UTF-8?q?FIXED:=20=D0=B2=C2=A0=D1=80=D0=B5=D0=B6=D0=B8?=
 =?UTF-8?q?=D0=BC=D0=B5=20-OI=20=D0=BF=D1=8B=D1=82=D0=B0=D0=B5=D0=BC=D1=81?=
 =?UTF-8?q?=D1=8F=20=D0=B2=D1=81=D1=82=D1=80=D0=BE=D0=B8=D1=82=D1=8C=20$DR?=
 =?UTF-8?q?IVE-=D1=84=D1=83=D0=BD=D0=BA=D1=86=D0=B8=D0=B8=20(#122,=20#229,?=
 =?UTF-8?q?=20#239)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Ранее в режиме -OI встраивались только $INLINE-функции, а $DRIVE вообще
не трогались. А должны были, поскольку в режиме -OI метка $DRIVE должна
была рассматриваться как метка $INLINE, это входило в постановку задачи.
---
 src/compiler/OptTree-Drive.ref | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

diff --git a/src/compiler/OptTree-Drive.ref b/src/compiler/OptTree-Drive.ref
index 37fc93a6..f0852d91 100644
--- a/src/compiler/OptTree-Drive.ref
+++ b/src/compiler/OptTree-Drive.ref
@@ -293,8 +293,7 @@ OptSentence-Aux {
   t.DriveInfo
 
     /* Поиск информации для прогонки */
-    = <FindOptInfo s.Mode t.DriveInfo e.Name>
-    : Success t.FunctionForDrive
+    = <FindOptInfo t.DriveInfo e.Name> : Success t.FunctionForDrive
 
     = <OptSentence-MakeSubstitutions
         s.Mode ((e.Left) (e.Right)) (e.Args) t.FunctionForDrive
@@ -314,7 +313,7 @@ OptSentence-Aux {
 OptSentence-MakeSubstitutions {
   s.Mode
   ((e.Left) (e.Expr)) (e.Args)
-  (s.Mode s.ScopeClass (e.Name) Sentences e.Body)
+  (s.FuncMode s.ScopeClass (e.Name) Sentences e.Body)
 
     /* Активные вызовы игнорируем */
     , <IsPassiveCall e.Args> : False
@@ -327,7 +326,7 @@ OptSentence-MakeSubstitutions {
 
   s.Mode
   ((e.Left) (e.Expr)) (e.Args)
-  (s.Mode s.ScopeClass (e.Name) Sentences ((e.LS) (e.RS)) e.Rest)
+  (s.FuncMode s.ScopeClass (e.Name) Sentences ((e.LS) (e.RS)) e.Rest)
 
     /* Если левая часть не L-выражение, допускаем только встраивание */
     = <IsLexpr e.Left>
@@ -343,6 +342,8 @@ OptSentence-MakeSubstitutions {
       >
     : e.Solution
 
+    = <DecreaseMode s.Mode s.FuncMode> : s.Mode^
+
     = <OptSentence-MakeSubstitutions-Aux
         (e.RS) s.Mode (e.Name) (e.Rest) (e.Args)
         e.Solution
@@ -350,7 +351,7 @@ OptSentence-MakeSubstitutions {
 
   s.Mode
   ((e.Left) (e.Expr)) (e.Args)
-  (s.Mode s.ScopeClass (e.Name) Sentences e.Body)
+  (s.FuncMode s.ScopeClass (e.Name) Sentences e.Body)
     = (
         ((ColdCallBrackets (Symbol Name e.Name) e.Args))
         ((/* нет присваиваний */) (/* нет сужений */))
@@ -358,6 +359,11 @@ OptSentence-MakeSubstitutions {
       );
 }
 
+DecreaseMode {
+  Inline s.Mode = Inline;
+  Drive s.Mode = s.Mode;
+}
+
 OptSentence-MakeSubstitutions-Aux {
   /*
     В случае решения без сужений просто применяем замены
@@ -423,7 +429,7 @@ DropLeft {
 */
 
 FindInlineInfo {
-  t.InlineInfo e.Name = <FindOptInfo Inline t.InlineInfo e.Name>;
+  t.InlineInfo e.Name = <FindOptInfo t.InlineInfo e.Name>;
 }
 
 /*
@@ -432,11 +438,10 @@ FindInlineInfo {
 */
 
 FindDriveInfo {
-  t.DriveInfo e.Name = <FindOptInfo Drive t.DriveInfo e.Name>
+  t.DriveInfo e.Name = <FindOptInfo t.DriveInfo e.Name>
 }
 
 FindOptInfo {
-  s.Mode
   t.DriveInfo e.Name
     , e.Name : e.Prefix '*' s.N
     , <CutSUF e.Prefix> : e.Prefix^
@@ -449,7 +454,6 @@ FindOptInfo {
     = Success
       (s.Mode s.ScopeClass (e.Name) Sentences <DropLeft e.Sentences s.N>);
 
-  s.Mode
   t.DriveInfo e.Name
     , t.DriveInfo
     : (
@@ -458,7 +462,6 @@ FindOptInfo {
       )
     = Success (s.Mode s.ScopeClass (e.Name) <s.Body>);
 
-  s.Mode
   t.DriveInfo e.Name = Failure;
 }