Оптимизация специализированных замыканий без контекста (#160)

autotests/opt-tree-drive-spec3-closure.ref

@@ -0,0 +1,32 @@
+* TREE
+
+$ENTRY Go {
+  /* empty */
+    = <Test 2> : s.F1 s.F2
+    = <Check 1 s.F1> <Check 2 s.F2>;
+}
+
+Test {
+  s.X = <F 1> <F s.X>
+}
+
+$DRIVE F;
+
+F {
+  t.Mark
+    = {
+        /* empty */ = A t.Mark;
+        t.Mark = B t.Mark;
+        e._ t.Mark e._ = C t.Mark;
+        e.X = D e.X;
+      }
+}
+
+Check {
+  s.X s.F
+    = <s.F /* emtpy */> : A s.X
+    = <s.F s.X> : B s.X
+    = <s.F 'a' s.X 'z'> : C s.X
+    = <s.F 'abc'> : D 'abc'
+    = /* empty */;
+}

src/compiler/OptTree-Spec.ref

@@ -271,7 +271,16 @@ SpecTerm {
     : (e.SpecInfo^ (e.NewFunctions^))
       (CallBrackets e.ClosureContent^ (TkVariable 'e@' 0))
 
-    = (e.SpecInfo (e.NewFunctions)) (ClosureBrackets e.ClosureContent);
+    = e.ClosureContent
+    : {
+        (Symbol Name e.OptName) /* пусто */
+          = (e.SpecInfo (e.NewFunctions)) (Symbol Name e.OptName);
+
+        e.ClosureContent^
+          = (e.SpecInfo (e.NewFunctions))
+            (ClosureBrackets e.ClosureContent);
+      };
+
 
   (e.SpecInfo (e.NewFunctions)) (Brackets e.Expression)
     = <SpecResult (e.SpecInfo (e.NewFunctions)) e.Expression>