ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 13:00:39 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

M: Fix syntax error message

Browse Source
This commit is contained in:
Ivan 2024-09-21 17:25:15 +03:00
parent c92a4058b9
commit 02b6a53d00
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
rsconcept/frontend/src/models/rslang.ts
View File

@ -241,7 +241,6 @@ export enum RSErrorType {
invalidArgsArity = 34840,
invalidArgumentType = 34841,
globalStructure = 34844,
globalExpectedFunction = 34847,
radicalUsage = 34849,
invalidFilterArgumentType = 34850,
invalidFilterArity = 34851,

4
rsconcept/frontend/src/utils/labels.ts
View File

@ -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: