From 14728259adee6e1c053d3bcee33f43270d6180fd Mon Sep 17 00:00:00 2001
From: IRBorisov <8611739+IRBorisov@users.noreply.github.com>
Date: Wed, 8 May 2024 02:53:11 +0300
Subject: [PATCH] Update pyconcept version and remove unused error messages

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

diff --git a/rsconcept/backend/requirements.txt b/rsconcept/backend/requirements.txt
index 3ab39a5d..a74a0894 100644
--- a/rsconcept/backend/requirements.txt
+++ b/rsconcept/backend/requirements.txt
@@ -7,7 +7,7 @@ drf-spectacular==0.27.2
 coreapi==2.3.3
 django-rest-passwordreset==1.4.1
 cctext==0.1.3
-pyconcept==0.1.2
+pyconcept==0.1.3
 
 psycopg2-binary==2.9.9
 gunicorn==22.0.0
\ No newline at end of file
diff --git a/rsconcept/frontend/src/models/rslang.ts b/rsconcept/frontend/src/models/rslang.ts
index a22b868b..10e6678e 100644
--- a/rsconcept/frontend/src/models/rslang.ts
+++ b/rsconcept/frontend/src/models/rslang.ts
@@ -234,10 +234,8 @@ export enum RSErrorType {
   invalidElementPredicate = 34838,
   invalidArgsArity = 34840,
   invalidArgumentType = 34841,
-  invalidEqualsEmpty = 34842,
   globalStructure = 34844,
   globalExpectedFunction = 34847,
-  emptySetUsage = 34848,
   radicalUsage = 34849,
   invalidFilterArgumentType = 34850,
   invalidFilterArity = 34851,
diff --git a/rsconcept/frontend/src/utils/labels.ts b/rsconcept/frontend/src/utils/labels.ts
index 2eadd2d6..975f4a71 100644
--- a/rsconcept/frontend/src/utils/labels.ts
+++ b/rsconcept/frontend/src/utils/labels.ts
@@ -705,14 +705,10 @@ export function describeRSError(error: IRSErrorDescription): string {
       return `Неверное число аргументов терм-функции: ${error.params[0]} != ${error.params[1]}`;
     case RSErrorType.invalidArgumentType:
       return `Типизация аргумента терм-функции не соответствует объявленной: ${error.params[0]} != ${error.params[1]}`;
-    case RSErrorType.invalidEqualsEmpty:
-      return `Только множества можно сравнивать с пустым множеством: ${error.params[0]}`;
     case RSErrorType.globalStructure:
       return `Выражение родовой структуры должно быть ступенью`;
     case RSErrorType.globalExpectedFunction:
       return `Ожидалось выражение объявления функции`;
-    case RSErrorType.emptySetUsage:
-      return `Запрещено использование пустого множества как типизированного выражения`;
     case RSErrorType.radicalUsage:
       return `Радикалы запрещены вне деклараций терм-функции: ${error.params[0]}`;
     case RSErrorType.invalidFilterArgumentType: