diff --git a/rsconcept/backend/requirements-dev-lock.txt b/rsconcept/backend/requirements-dev-lock.txt index 15ac8ccf..632d236e 100644 --- a/rsconcept/backend/requirements-dev-lock.txt +++ b/rsconcept/backend/requirements-dev-lock.txt @@ -8,7 +8,7 @@ drf-spectacular-sidecar==2024.7.1 coreapi==2.3.3 django-rest-passwordreset==1.4.1 cctext==0.1.4 -pyconcept==0.1.8 +pyconcept==0.1.10 psycopg2-binary==2.9.9 gunicorn==23.0.0 diff --git a/rsconcept/backend/requirements.txt b/rsconcept/backend/requirements.txt index 8296f987..ab8455c0 100644 --- a/rsconcept/backend/requirements.txt +++ b/rsconcept/backend/requirements.txt @@ -8,7 +8,7 @@ drf-spectacular-sidecar==2024.7.1 coreapi==2.3.3 django-rest-passwordreset==1.4.1 cctext==0.1.4 -pyconcept==0.1.8 +pyconcept==0.1.10 psycopg2-binary==2.9.9 gunicorn==23.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 b888f8c1..f9498850 100644 --- a/rsconcept/frontend/src/models/rslang.ts +++ b/rsconcept/frontend/src/models/rslang.ts @@ -232,6 +232,7 @@ export enum RSErrorType { invalidBinding = 34836, localOutOfScope = 34837, invalidElementPredicate = 34838, + invalidEmptySetUsage = 34839, invalidArgsArity = 34840, invalidArgumentType = 34841, globalStructure = 34844, diff --git a/rsconcept/frontend/src/utils/labels.ts b/rsconcept/frontend/src/utils/labels.ts index e3c0ae38..6ed02ec5 100644 --- a/rsconcept/frontend/src/utils/labels.ts +++ b/rsconcept/frontend/src/utils/labels.ts @@ -760,6 +760,8 @@ export function describeRSError(error: IRSErrorDescription): string { return `Использование имени переменной вне области действия: ${error.params[0]}`; case RSErrorType.invalidElementPredicate: return `Несоответствие типизаций операндов для оператора: ${error.params[0]}${error.params[1]}${error.params[2]}`; + case RSErrorType.invalidEmptySetUsage: + return 'Бессмысленное использование пустого множества'; case RSErrorType.invalidArgsArity: return `Неверное число аргументов терм-функции: ${error.params[0]} != ${error.params[1]}`; case RSErrorType.invalidArgumentType: