FIXED: появлялись переменные e.Call при обобщении сигнатур (#319)

Когда обнаруживалось зацикливание по Хигману-Крускалу, после построения обобщённого вызова не восстанавливались вызовы в нём — оставались заглушки e.Call.
bmstu-iu9 · Jul 18, 2020 · 68b7a69 · 68b7a69
1 parent 8ab4c95
commit 68b7a69
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 2 deletions.
diff --git a/autotests/opt-tree-spec5-call-vars.ref b/autotests/opt-tree-spec5-call-vars.ref
@@ -0,0 +1,19 @@
+* TREE
+
+$ENTRY Go {
+  /* empty */
+    = '*' : s.Sym
+    = <G (s.Sym) 'abcd'> : '*abcd'
+    = /* empty */;
+}
+
+$SPEC G (e.RES) e.str;
+
+G {
+  (e.Res) t.Term e.Tail = <G (e.Res <H t.Term>) e.Tail>;
+  (e.Res) /* empty */ = e.Res;
+}
+
+H {
+  e.X = e.X;
+}
diff --git a/src/compiler/OptTree-Spec.ref b/src/compiler/OptTree-Spec.ref
@@ -539,7 +539,7 @@ SpecCall-Aux {
                     (e.Signature) (e.HistorySignature) (e.Argument)
                     (e.SpecPattern) (e.StaticMatches) (e.Name)
                     (e.Body) s.NextNumber (e.Signatures) (e.DynamicMatches)
-                    (e.History)
+                    (e.History) (e.Calls)
                   >;
 
               False
@@ -1412,7 +1412,7 @@ MakeGeneralization {
   (e.Signature) (e.HistorySignature) (e.Argument)
   (e.SpecPattern) (e.StaticMatches) (e.Name)
   (e.Body) s.NextNumber (e.Signatures) (e.DynamicMatches)
-  (e.History)
+  (e.History) (e.Calls)
 
     /* Получаем обобщение двух сигнатур */
     = <GetSignaturesGeneralization
@@ -1469,6 +1469,7 @@ MakeGeneralization {
 
     /* К новому вызову применяем подстановку*/
     = <ApplySubst-Expr (e.RealSubst) t.NewCall> : t.NewCall^
+    = <ApplySubst-Expr (e.Calls) t.NewCall> : t.NewCall^
 
     = t.Info
       t.NewCall