Рефакторинг: удалены неиспользуемые функции (#359)

src/compiler/OptTree-Spec.ref

@@ -16,8 +16,7 @@ $EXTERN DisplayName;
 $EXTERN GlobalGen;
 
 *$FROM OptTree-StopRelation
-$EXTERN OptTree-CanonizeTuple, OptTree-CanonizeExpr;
-$EXTERN OptTree-CheckTupleStopRelation, OptTree-CheckExprStopRelation;
+$EXTERN OptTree-CanonizeExpr, OptTree-CheckExprStopRelation;
 
 /**
   <OptTree-Spec-Prepare s.OptSpec e.AST> == e.AST^

src/compiler/OptTree-StopRelation.ref

@@ -5,16 +5,16 @@ $INCLUDE "LibraryEx";
 */
 
 /**
-  <OptTree-CheckTupleStopRelation (e.CurrentTuple) e.HistoryTuple>
+  <OptTree-CheckExprStopRelation (e.CurrentExpr) e.HistoryExpr>
     == True
     == False
 
-  Проверяет выполнение отношения Хигмана-Крускала для двух кортежей.
+  Проверяет выполнение отношения Хигмана-Крускала для двух выражений.
   Возвращает True, если отношение выполняется, и False в ином случае.
 
-  Предполагается, что оба кортежа в канонической форме.
+  Предполагается, что оба выражения в канонической форме.
 
-  e.CurrentTuple, e.HistoryTuple ::= (e.CanonizedExpr)*
+  e.CurrentExpr, e.HistoryExpr ::= e.CanonizedExpr
   e.CanonizedExpr ::= t.CanonizedTerm*
   t.CanonizedTerm ::=
       (Symbol s.SymType e.SymInfo)
@@ -26,30 +26,6 @@ $INCLUDE "LibraryEx";
     | (ClosureBrackets t.CanonizedTerm*)
     | (CallBrackets t.Name t.CanonizedTerm*)
 */
-$ENTRY OptTree-CheckTupleStopRelation {
-  (/* пусто */) /* пусто */ = True;
-
-  (e.CurrentTuple) e.HistoryTuple
-    , e.CurrentTuple : (e.CurrentExpr) e.CurrentTuple-Rest
-    , e.HistoryTuple : (e.HistoryExpr) e.HistoryTuple-Rest
-    , <OptTree-CheckExprStopRelation (e.CurrentExpr) e.HistoryExpr>
-    : {
-        True
-          = <OptTree-CheckTupleStopRelation
-              (e.CurrentTuple-Rest) e.HistoryTuple-Rest
-            >;
-
-        False = False;
-    };
-}
-
-/**
-  <OptTree-CheckExprStopRelation (e.CurrentExpr) e.HistoryExpr>
-    == True
-    == False
-
-  e.CurrentExpr, e.HistoryExpr ::= e.CanonizedExpr
-*/
 $ENTRY OptTree-CheckExprStopRelation {
   (e.CurrentExpr) e.HistoryExpr
     /* Разделяем текущую сигнатуру на две части  */
@@ -298,15 +274,6 @@ PartiallyContainsSignature {
       t.LastTerm;
 }
 
-/**
-  <OptTree-CanonizeTuple (e.Expr)*> == (e.CanonizedExpr)*
-
-  * Убирает имена переменных в сигнатуре, оставляет их типы данных.
-*/
-$ENTRY OptTree-CanonizeTuple {
-  e.Tuple = <Map { (e.Expr) = (<OptTree-CanonizeExpr e.Expr>) } e.Tuple>
-}
-
 /**
   <OptTree-CanonizeExpr e.Expr> == e.CanonizedExpr
 */