FIXED: исправлено точное определение тривиальной сигнатуры (#251, #359)

Проблема была внесена коммитом c1de4f5. Ошибка заключалась в том, что вызов функции IsTrivialSignature не соответствовал формату, поэтому условие всегда было ложным.
bmstu-iu9 · Jul 31, 2021 · ddb7051 · ddb7051
1 parent 11d9323
commit ddb7051
Showing 1 changed file with 6 additions and 10 deletions.
diff --git a/src/compiler/OptTree-Spec.ref b/src/compiler/OptTree-Spec.ref
@@ -979,22 +979,18 @@ RemoveLastGhostBracket {
 }
 
 IsTrivialSignature {
-  e.Arg (e.Body), <IsHardExpr e.Arg> : False = False (e.Arg) (e.Body);
-  e.Arg (e.Body) = <DoIsTrivialSignature e.Arg (/* scanned */) (e.Body)>;
+  e.Arg (e.Body), <IsHardExpr e.Arg> : False = False;
+  e.Arg (e.Body t.GuardSentence) = <DoIsTrivialSignature e.Arg (e.Body)>;
 }
 
 DoIsTrivialSignature {
-  e.Arg (e.ScannedSentences) (/* кончились предложения */)
-    = True (e.Arg) (e.ScannedSentences);
+  e.Arg (/* кончились предложения */) = True;
 
-  e.Arg (e.ScannedSentences) (((e.Pattern) e.Tail) e.Sentences)
+  e.Arg (((e.Pattern) e.Tail) e.Sentences)
     , <GenericMatch (e.Pattern) (e.Arg)> : Clear e._
-    = <DoIsTrivialSignature
-        e.Arg (e.ScannedSentences ((e.Pattern) e.Tail)) (e.Sentences)
-      >;
+    = <DoIsTrivialSignature e.Arg (e.Sentences)>;
 
-  e.Arg (e.ScannedSentences) (e.Sentences)
-    = False (e.Arg) (e.ScannedSentences e.Sentences);
+  e.Arg (e.Sentences) = False;
 }
 
 OrderUniqueVars {