ConceptProd/Portal
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

M: Update error msg text

Browse Source
This commit is contained in:
Ivan 2025-03-05 00:16:02 +03:00
parent b63767a401
commit 28c84d90ba
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
rsconcept/frontend/src/features/rsform/labels.ts
View File

@ -565,25 +565,25 @@ export function describeRSError(error: IRSErrorDescription): string {
case RSErrorType.globalNotTyped: case RSErrorType.globalNotTyped:
return `Типизация конституенты не определена: ${error.params[0]}`; return `Типизация конституенты не определена: ${error.params[0]}`;
case RSErrorType.invalidDecart: case RSErrorType.invalidDecart:
return `τ(α×b) = B(Dτ(α)×Dτ(b)). Некорректная типизация аргумента: ${error.params[0]}`; return `τ(α×b) = 𝔅(𝔇τ(α)×𝔇τ(b)). Некорректная типизация аргумента: ${error.params[0]}`;
case RSErrorType.invalidBoolean: case RSErrorType.invalidBoolean:
return `τ(B(a)) = BBDτ(a). Некорректная типизация аргумента: ${error.params[0]}`; return `τ(ℬ(a)) = 𝔅𝔅𝔇τ(a). Некорректная типизация аргумента: ${error.params[0]}`;
case RSErrorType.invalidTypeOperation: case RSErrorType.invalidTypeOperation:
return `Типизация операнда теоретико-множественной операции не корректна: ${error.params[0]}`; return `Типизация операнда теоретико-множественной операции не корректна: ${error.params[0]}`;
case RSErrorType.invalidCard: case RSErrorType.invalidCard:
return `Некорректная типизация аргумента операции мощности: ${error.params[0]}`; return `Некорректная типизация аргумента операции мощности: ${error.params[0]}`;
case RSErrorType.invalidDebool: case RSErrorType.invalidDebool:
return `τ(debool(a)) = Dτ(a). Некорректная типизация аргумента: ${error.params[0]}`; return `τ(debool(a)) = 𝔇τ(a). Некорректная типизация аргумента: ${error.params[0]}`;
case RSErrorType.globalFuncMissing: case RSErrorType.globalFuncMissing:
return `Неизвестное имя функции: ${error.params[0]}`; return `Неизвестное имя функции: ${error.params[0]}`;
case RSErrorType.globalFuncWithoutArgs: case RSErrorType.globalFuncWithoutArgs:
return `Некорректное использование имени функции без аргументов: ${error.params[0]}`; return `Некорректное использование имени функции без аргументов: ${error.params[0]}`;
case RSErrorType.invalidReduce: case RSErrorType.invalidReduce:
return `τ(red(a)) = BDDτ(a). Некорректная типизация аргумента: ${error.params[0]}`; return `τ(red(a)) = 𝔅𝔇𝔇τ(a). Некорректная типизация аргумента: ${error.params[0]}`;
case RSErrorType.invalidProjectionTuple: case RSErrorType.invalidProjectionTuple:
return `Проекция не определена: ${error.params[0]} -> ${error.params[1]}`; return `Проекция не определена: ${error.params[0]} -> ${error.params[1]}`;
case RSErrorType.invalidProjectionSet: case RSErrorType.invalidProjectionSet:
return `τ(Pri(a)) = BCiDτ(a). Некорректная типизация аргумента: ${error.params[0]} -> ${error.params[1]}`; return `τ(Pri(a)) = 𝔅𝒞i𝔇τ(a). Некорректная типизация аргумента: ${error.params[0]} -> ${error.params[1]}`;
case RSErrorType.invalidEnumeration: case RSErrorType.invalidEnumeration:
return `Типизация элементов перечисления не совпадает: ${error.params[0]} != ${error.params[1]}`; return `Типизация элементов перечисления не совпадает: ${error.params[0]} != ${error.params[1]}`;
case RSErrorType.invalidBinding: case RSErrorType.invalidBinding: