From 02b6a53d002c47f4ae80c4321f8db06c4a2a1f2d Mon Sep 17 00:00:00 2001
From: Ivan <8611739+IRBorisov@users.noreply.github.com>
Date: Sat, 21 Sep 2024 17:25:15 +0300
Subject: [PATCH] M: Fix syntax error message

---
 rsconcept/frontend/src/models/rslang.ts | 1 -
 rsconcept/frontend/src/utils/labels.ts  | 4 +---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/rsconcept/frontend/src/models/rslang.ts b/rsconcept/frontend/src/models/rslang.ts
index 59414313..ca7210c2 100644
--- a/rsconcept/frontend/src/models/rslang.ts
+++ b/rsconcept/frontend/src/models/rslang.ts
@@ -241,7 +241,6 @@ export enum RSErrorType {
   invalidArgsArity = 34840,
   invalidArgumentType = 34841,
   globalStructure = 34844,
-  globalExpectedFunction = 34847,
   radicalUsage = 34849,
   invalidFilterArgumentType = 34850,
   invalidFilterArity = 34851,
diff --git a/rsconcept/frontend/src/utils/labels.ts b/rsconcept/frontend/src/utils/labels.ts
index 7513ab5d..97849809 100644
--- a/rsconcept/frontend/src/utils/labels.ts
+++ b/rsconcept/frontend/src/utils/labels.ts
@@ -753,7 +753,7 @@ export function describeRSError(error: IRSErrorDescription): string {
     case RSErrorType.invalidProjectionTuple:
       return `Проекция не определена: ${error.params[0]} -> ${error.params[1]}`;
     case RSErrorType.invalidProjectionSet:
-      return `τ(Pri(a)) = BCiDτ(a). Некорректная типизация аргумента: ${error.params[0]}`;
+      return `τ(Pri(a)) = BCiDτ(a). Некорректная типизация аргумента: ${error.params[0]} -> ${error.params[1]}`;
     case RSErrorType.invalidEnumeration:
       return `Типизация аргументов перечисления не совпадает: ${error.params[0]} != ${error.params[1]}`;
     case RSErrorType.invalidBinding:
@@ -768,8 +768,6 @@ export function describeRSError(error: IRSErrorDescription): string {
       return `Типизация аргумента терм-функции не соответствует объявленной: ${error.params[0]} != ${error.params[1]}`;
     case RSErrorType.globalStructure:
       return `Выражение родовой структуры должно быть ступенью`;
-    case RSErrorType.globalExpectedFunction:
-      return `Ожидалось выражение объявления функции`;
     case RSErrorType.radicalUsage:
       return `Радикалы запрещены вне деклараций терм-функции: ${error.params[0]}`;
     case RSErrorType.invalidFilterArgumentType: