@rsconcept/domain 1.6.0 → 1.7.0

package/dist/{analyzer-A82AxKdS.d.ts → analyzer-CqUJ3FO9.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType, g as TypeClass } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription } from "./error-Cv4sntcy.js";
+import { i as RSErrorDescription } from "./error-CLnXbkly.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
 
 //#region src/rslang/semantic/analyzer.d.ts
@@ -36,4 +36,4 @@ declare class RSLangAnalyzer {
 }
 //#endregion
 export { RSLangAnalyzer as a, AnalysisOptions as i, AnalysisFast as n, AnalysisFull as r, AnalysisBase as t };
-//# sourceMappingURL=analyzer-A82AxKdS.d.ts.map
+//# sourceMappingURL=analyzer-CqUJ3FO9.d.ts.map

package/dist/{ast-annotations-YzvwjoFW.d.ts → ast-annotations-DvB1VcUv.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType } from "./typification-Dk-fisgO.js";
-import { a as RSErrorInfo, r as RSErrorCode } from "./error-Cv4sntcy.js";
+import { a as RSErrorInfo, r as RSErrorCode } from "./error-CLnXbkly.js";
 
 //#region src/rslang/ast-annotations.d.ts
 /** Appends {@link ExpressionType} onto the node's `annotation.rsType`. */
@@ -13,4 +13,4 @@ declare function annotateError(node: AstNode, code: RSErrorCode, params?: readon
 declare function readErrorAnnotation(node: AstNode): RSErrorInfo | null;
 //#endregion
 export { readTypeAnnotation as i, annotateType as n, readErrorAnnotation as r, annotateError as t };
-//# sourceMappingURL=ast-annotations-YzvwjoFW.d.ts.map
+//# sourceMappingURL=ast-annotations-DvB1VcUv.d.ts.map

package/dist/{calculator-Cyy9eYyx.d.ts → calculator-DKxDpTdT.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription } from "./error-Cv4sntcy.js";
+import { i as RSErrorDescription } from "./error-CLnXbkly.js";
 import { l as Value } from "./value-BduA_ZGp.js";
 
 //#region src/rslang/eval/calculator.d.ts
@@ -36,4 +36,4 @@ declare class RSCalculator {
 }
 //#endregion
 export { CalculatorResult as n, RSCalculator as r, CalculatorEvaluateOptions as t };
-//# sourceMappingURL=calculator-Cyy9eYyx.d.ts.map
+//# sourceMappingURL=calculator-DKxDpTdT.d.ts.map

package/dist/{error-Cv4sntcy.d.ts → error-CLnXbkly.d.ts}

@@ -24,6 +24,7 @@ type ErrorReporter = (error: RSErrorDescription) => void;
 /** Represents RSLang expression error types. */
 declare const RSErrorCode: {
   readonly unknownSyntax: 33792;
+  readonly forbiddenCharacter: 33793;
   readonly bracketMismatch: 33801;
   readonly doubleParenthesis: 33802;
   readonly missingOpenBracket: 33803;
@@ -32,6 +33,10 @@ declare const RSErrorCode: {
   readonly expectedFunctionBody: 33816;
   readonly expectedExpressionBody: 33817;
   readonly expectedLogicBody: 33818;
+  readonly expectedQuantifierBody: 33819;
+  readonly expectedDeclarativeBody: 33820;
+  readonly expectedImperativeBody: 33821;
+  readonly expectedRecursiveBody: 33822;
   readonly expectedLocal: 33813;
   readonly expectedType: 33814;
   readonly localDoubleDeclare: 10241;
@@ -96,4 +101,4 @@ declare function getRSErrorPrefix(code: RSErrorCode): string;
 declare function isCritical(code: RSErrorCode): boolean;
 //#endregion
 export { RSErrorInfo as a, RSErrorDescription as i, RSErrorClass as n, getRSErrorPrefix as o, RSErrorCode as r, isCritical as s, ErrorReporter as t };
-//# sourceMappingURL=error-Cv4sntcy.d.ts.map
+//# sourceMappingURL=error-CLnXbkly.d.ts.map

package/dist/index.d.ts

@@ -9,15 +9,15 @@ import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i a
 import { t as Branded } from "./branded-ZlzIcxzu.js";
 import { n as generateStub, t as applyHash_fnv1a } from "./hash-Y8I4c6Al.js";
 import { O as makeTypePath, b as Typification, d as EmptySetT, f as ExpressionType, g as TypeClass, m as LogicT, t as AnyTypificationT, v as TypeID, y as TypePath } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription, r as RSErrorCode } from "./error-Cv4sntcy.js";
-import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-YzvwjoFW.js";
+import { i as RSErrorDescription, r as RSErrorCode } from "./error-CLnXbkly.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-DvB1VcUv.js";
 import { d as ValuePath, l as Value, o as TUPLE_ID, p as makeValuePath } from "./value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-Cyy9eYyx.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-DKxDpTdT.js";
 import { d as printValue } from "./value-api-B6T6f4Ia.js";
 import { t as parser } from "./parser-Bwd8LxJ1.js";
 import { t as TokenID } from "./token-DeXAmzwr.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
-import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-A82AxKdS.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-CqUJ3FO9.js";
 import { n as ArgumentsType } from "./arguments-extractor-1acwjQNc.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "./typification-parser-BBVx1RxP.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "./typification-graph-6HcZ-rKH.js";

package/dist/library/rsengine.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../ast-C8sIpKdL.js";
 import { l as Value } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-Cyy9eYyx.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DKxDpTdT.js";
 import { CstType, RSForm } from "./rsform.js";
 import { BasicBinding, BasicsContext, EvalStatus, RSModel } from "./rsmodel.js";
 

package/dist/library/rsform-api.d.ts

@@ -1,7 +1,7 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
 import { g as TypeClass, y as TypePath } from "../typification-Dk-fisgO.js";
 import { t as ValueClass } from "../value-class-CNI-lqXJ.js";
-import { r as AnalysisFull } from "../analyzer-A82AxKdS.js";
+import { r as AnalysisFull } from "../analyzer-CqUJ3FO9.js";
 import { ArgumentValue, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats } from "./rsform.js";
 
 //#region src/library/rsform-api.d.ts

package/dist/library/rsform.d.ts

@@ -1,7 +1,7 @@
 import { t as Graph } from "../graph-DR8rL2o3.js";
 import { i as LibraryItemReference, n as CurrentVersion, r as LibraryItem, s as VersionInfo } from "../library-CYun28Xz.js";
 import { f as ExpressionType, y as TypePath } from "../typification-Dk-fisgO.js";
-import { a as RSLangAnalyzer, t as AnalysisBase } from "../analyzer-A82AxKdS.js";
+import { a as RSLangAnalyzer, t as AnalysisBase } from "../analyzer-CqUJ3FO9.js";
 //#region src/library/rsform.d.ts
 /** Represents {@link Constituenta} type. */
 declare const CstType: {

package/dist/rslang/ast-annotations.d.ts

@@ -1,2 +1,2 @@
-import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-YzvwjoFW.js";
+import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-DvB1VcUv.js";
 export { annotateError, annotateType, readErrorAnnotation, readTypeAnnotation };

package/dist/rslang/error.d.ts

@@ -1,2 +1,2 @@
-import { a as RSErrorInfo, i as RSErrorDescription, n as RSErrorClass, o as getRSErrorPrefix, r as RSErrorCode, s as isCritical, t as ErrorReporter } from "../error-Cv4sntcy.js";
+import { a as RSErrorInfo, i as RSErrorDescription, n as RSErrorClass, o as getRSErrorPrefix, r as RSErrorCode, s as isCritical, t as ErrorReporter } from "../error-CLnXbkly.js";
 export { ErrorReporter, RSErrorClass, RSErrorCode, RSErrorDescription, RSErrorInfo, getRSErrorPrefix, isCritical };

package/dist/rslang/error.js

@@ -11,6 +11,7 @@ const RSErrorClass = {
 /** Represents RSLang expression error types. */
 const RSErrorCode = {
 	unknownSyntax: 33792,
+	forbiddenCharacter: 33793,
 	bracketMismatch: 33801,
 	doubleParenthesis: 33802,
 	missingOpenBracket: 33803,
@@ -19,6 +20,10 @@ const RSErrorCode = {
 	expectedFunctionBody: 33816,
 	expectedExpressionBody: 33817,
 	expectedLogicBody: 33818,
+	expectedQuantifierBody: 33819,
+	expectedDeclarativeBody: 33820,
+	expectedImperativeBody: 33821,
+	expectedRecursiveBody: 33822,
 	expectedLocal: 33813,
 	expectedType: 33814,
 	localDoubleDeclare: 10241,

package/dist/rslang/error.js.map

@@ -1 +1 @@
-{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localDoubleDeclare: 0x2801, // 10241\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n\n  typesNotEqual: 0x8803, // 34819\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862 // 34914\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  return code !== RSErrorCode.localDoubleDeclare && code !== RSErrorCode.localNotUsed;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;AAmBA,MAAa,cAAc;CACzB,eAAe;CACf,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,eAAe;CACf,cAAc;CAEd,oBAAoB;CACpB,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAEhB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;AACxB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,OAAO,SAAS,YAAY,sBAAsB,SAAS,YAAY;AACzE"}
+{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  forbiddenCharacter: 0x8401, // 33793\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedQuantifierBody: 0x841b, // 33819\n  expectedDeclarativeBody: 0x841c, // 33820\n  expectedImperativeBody: 0x841d, // 33821\n  expectedRecursiveBody: 0x841e, // 33822\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localDoubleDeclare: 0x2801, // 10241\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n\n  typesNotEqual: 0x8803, // 34819\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862 // 34914\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  return code !== RSErrorCode.localDoubleDeclare && code !== RSErrorCode.localNotUsed;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;AAmBA,MAAa,cAAc;CACzB,eAAe;CACf,oBAAoB;CACpB,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,wBAAwB;CACxB,yBAAyB;CACzB,wBAAwB;CACxB,uBAAuB;CACvB,eAAe;CACf,cAAc;CAEd,oBAAoB;CACpB,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAEhB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;AACxB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,OAAO,SAAS,YAAY,sBAAsB,SAAS,YAAY;AACzE"}

package/dist/rslang/eval/calculator.d.ts

@@ -1,2 +1,2 @@
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-Cyy9eYyx.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-DKxDpTdT.js";
 export { CalculatorEvaluateOptions, CalculatorResult, RSCalculator };

package/dist/rslang/eval/evaluator.d.ts

@@ -1,5 +1,5 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
-import { t as ErrorReporter } from "../../error-Cv4sntcy.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 import { l as Value, u as ValueContext } from "../../value-BduA_ZGp.js";
 
 //#region src/rslang/eval/evaluator.d.ts

package/dist/rslang/index.d.ts

@@ -1,13 +1,13 @@
 import { O as makeTypePath, b as Typification, d as EmptySetT, f as ExpressionType, g as TypeClass, m as LogicT, t as AnyTypificationT, v as TypeID, y as TypePath } from "../typification-Dk-fisgO.js";
-import { i as RSErrorDescription, r as RSErrorCode } from "../error-Cv4sntcy.js";
-import { i as readTypeAnnotation, r as readErrorAnnotation } from "../ast-annotations-YzvwjoFW.js";
+import { i as RSErrorDescription, r as RSErrorCode } from "../error-CLnXbkly.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "../ast-annotations-DvB1VcUv.js";
 import { d as ValuePath, l as Value, p as makeValuePath } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-Cyy9eYyx.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DKxDpTdT.js";
 import { d as printValue } from "../value-api-B6T6f4Ia.js";
 import { t as parser } from "../parser-Bwd8LxJ1.js";
 import { t as TokenID } from "../token-DeXAmzwr.js";
 import { t as ValueClass } from "../value-class-CNI-lqXJ.js";
-import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../analyzer-A82AxKdS.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../analyzer-CqUJ3FO9.js";
 import { n as ArgumentsType } from "../arguments-extractor-1acwjQNc.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "../typification-parser-BBVx1RxP.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "../typification-graph-6HcZ-rKH.js";

package/dist/rslang/parser/syntax-errors.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
 import { g as TypeClass } from "../../typification-Dk-fisgO.js";
-import { t as ErrorReporter } from "../../error-Cv4sntcy.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 
 //#region src/rslang/parser/syntax-errors.d.ts
 /** Options for syntax error extraction. */

package/dist/rslang/parser/syntax-errors.js

@@ -11,6 +11,14 @@ import "./parser.terms.js";
 */
 /** Extracts syntax errors from an AST. */
 function extractSyntaxErrors(ast, expression, reporter, annotateErrors = false, options) {
+	const forbiddenErrors = extractForbiddenCharacterErrors(expression);
+	if (forbiddenErrors.length > 0) {
+		for (const error of forbiddenErrors) {
+			reporter(error);
+			if (annotateErrors) annotateError(ast, error.code, error.params);
+		}
+		return;
+	}
 	const collected = [];
 	const annotationTargets = /* @__PURE__ */ new Map();
 	const collect = (error, target) => {
@@ -18,9 +26,10 @@ function extractSyntaxErrors(ast, expression, reporter, annotateErrors = false,
 		if (target !== void 0) annotationTargets.set(error, target);
 	};
 	const bracketError = extractBracketErrors(expression);
-	if (bracketError !== null) collect(bracketError, ast);
 	const hasBracketErrors = bracketError !== null;
 	visitAstDFS(ast, (node) => extractInternal(node, expression, collect, hasBracketErrors, options));
+	const hasIncompleteGenerator = collected.some((error) => isIncompleteGeneratorBodyCode(error.code));
+	if (bracketError !== null && !hasIncompleteGenerator) collect(bracketError, ast);
 	for (const error of deduplicateErrors(collected)) {
 		reporter(error);
 		if (annotateErrors) {
@@ -55,6 +64,10 @@ function extractInternal(node, expression, collect, ignoreUnknownErrors, options
 function classifyParseError(node, expression, options) {
 	const incompleteFunctionDecl = detectIncompleteFunctionDecl(node, expression, options?.expected);
 	if (incompleteFunctionDecl !== null) return incompleteFunctionDecl;
+	const incompleteQuantifier = detectIncompleteQuantifier(node, expression);
+	if (incompleteQuantifier !== null) return incompleteQuantifier;
+	const incompleteGenerator = detectIncompleteGenerator(node, expression);
+	if (incompleteGenerator !== null) return incompleteGenerator;
 	const filterParen = detectFilterParenMismatch(node, expression);
 	if (filterParen !== null) return filterParen;
 	return detectGlobalFuncWithoutArgs(node, expression);
@@ -81,6 +94,210 @@ function incompleteFormalExpressionCode(expected) {
 		default: return RSErrorCode.expectedFunctionBody;
 	}
 }
+function detectIncompleteQuantifier(node, expression) {
+	const quantNode = findAncestor(node, isQuantifierNode);
+	if (quantNode === null) return null;
+	const bodyChild = quantNode.children[quantNode.children.length - 1];
+	if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) return null;
+	const headerChildren = quantNode.children.slice(0, -1);
+	if (headerChildren.length < 3) return null;
+	const varPack = headerChildren.find((child) => child.typeID === 31 || child.typeID === TokenID.NT_ENUM_DECL);
+	if (varPack === void 0 || subtreeHasError(varPack)) return null;
+	const domainChild = headerChildren[headerChildren.length - 1];
+	if (domainChild === varPack || subtreeHasError(domainChild)) return null;
+	if (expression.slice(quantNode.to).trim().length > 0) return null;
+	return {
+		code: RSErrorCode.expectedQuantifierBody,
+		from: bodyChild.from,
+		to: bodyChild.to
+	};
+}
+function detectIncompleteGenerator(node, expression) {
+	return detectIncompleteDeclarative(node, expression) ?? detectIncompleteImperative(node, expression) ?? detectIncompleteRecursion(node, expression);
+}
+function detectIncompleteDeclarative(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 60 || target.typeID === TokenID.NT_DECLARATIVE_EXPR), RSErrorCode.expectedDeclarativeBody, (slot) => isIncompleteDeclarativeBody(slot));
+}
+function detectIncompleteImperative(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 64 || target.typeID === TokenID.NT_IMPERATIVE_EXPR), RSErrorCode.expectedImperativeBody, (slot) => isIncompleteImperativeBody(slot, expression));
+}
+function detectIncompleteRecursion(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 68), RSErrorCode.expectedRecursiveBody, (slot) => isIncompleteRecursionBody(slot));
+}
+function detectIncompleteGeneratorBody(node, expression, generatorNode, code, isIncomplete) {
+	if (generatorNode === null) return null;
+	if (expression.slice(generatorNode.to).trim().length > 0) return null;
+	const slot = getGeneratorBodySlot(generatorNode, expression);
+	if (slot === null || !isIncomplete(slot)) return null;
+	if (!generatorHeaderIsValid(generatorNode, expression, slot.headerEndIndex)) return null;
+	if (!isErrorInBodySlot(node, slot, generatorNode)) return null;
+	return incompleteGeneratorError(code, node);
+}
+function getGeneratorBodySlot(generatorNode, expression) {
+	if (generatorNode.typeID === 60 || generatorNode.typeID === TokenID.NT_DECLARATIVE_EXPR) return getDeclarativeBodySlot(generatorNode, expression);
+	if (generatorNode.typeID === 64 || generatorNode.typeID === TokenID.NT_IMPERATIVE_EXPR) return getImperativeBodySlot(generatorNode, expression);
+	if (generatorNode.typeID === 68) return getRecursionBodySlot(generatorNode, expression);
+	return null;
+}
+function getDeclarativeBodySlot(declNode, expression) {
+	const pipeIndex = declNode.children.findIndex((child) => isPipeToken(child, expression));
+	if (pipeIndex >= 0) return {
+		nodes: contentChildren(declNode, expression, pipeIndex + 1),
+		headerEndIndex: pipeIndex + 1
+	};
+	const domainNode = findDeclarativeDomain(declNode, expression);
+	if (domainNode === null) return null;
+	const domainIndex = declNode.children.indexOf(domainNode);
+	return {
+		nodes: contentChildren(declNode, expression, domainIndex + 1),
+		headerEndIndex: domainIndex + 1
+	};
+}
+function getImperativeBodySlot(impNode, expression) {
+	const pipeIndex = impNode.children.findIndex((child) => isPipeToken(child, expression));
+	if (pipeIndex >= 0) return {
+		nodes: contentChildren(impNode, expression, pipeIndex + 1),
+		headerEndIndex: pipeIndex + 1
+	};
+	const tupleNode = findImperativeTuple(impNode);
+	if (tupleNode === null) return null;
+	const tupleIndex = impNode.children.indexOf(tupleNode);
+	return {
+		nodes: contentChildren(impNode, expression, tupleIndex + 1),
+		headerEndIndex: tupleIndex + 1
+	};
+}
+function getRecursionBodySlot(recNode, expression) {
+	const initNode = findRecursionInit(recNode, expression);
+	if (initNode === null) return null;
+	const initIndex = recNode.children.indexOf(initNode);
+	const afterInit = contentChildren(recNode, expression, initIndex + 1);
+	const lastPipeIndex = findLastPipeIndex(afterInit, expression);
+	if (lastPipeIndex < 0) return {
+		nodes: afterInit,
+		headerEndIndex: initIndex + 1
+	};
+	return {
+		nodes: afterInit.slice(lastPipeIndex + 1),
+		headerEndIndex: recNode.children.indexOf(afterInit[lastPipeIndex]) + 1
+	};
+}
+function contentChildren(generatorNode, expression, fromIndex) {
+	return generatorNode.children.slice(fromIndex).filter((child) => !isClosingBrace(child, expression));
+}
+function findDeclarativeDomain(declNode, expression) {
+	const inIndex = declNode.children.findIndex((child) => expression.slice(child.from, child.to) === "∈");
+	if (inIndex < 0) return null;
+	for (let index = inIndex + 1; index < declNode.children.length; index++) {
+		const child = declNode.children[index];
+		if (isPipeToken(child, expression) || isClosingBrace(child, expression)) break;
+		if (child.typeID === 38) return child;
+	}
+	return null;
+}
+function findImperativeTuple(impNode) {
+	for (const child of impNode.children) if (child.typeID === 38) return child;
+	return null;
+}
+function findLastPipeIndex(nodes, expression) {
+	for (let index = nodes.length - 1; index >= 0; index--) if (isPipeToken(nodes[index], expression)) return index;
+	return -1;
+}
+function generatorHeaderIsValid(generatorNode, expression, headerEndIndex) {
+	for (let index = 0; index < headerEndIndex; index++) {
+		const child = generatorNode.children[index];
+		if (child.typeID === TokenID.ERROR) return false;
+		if (isStructuralGeneratorToken(child, expression)) continue;
+		if (subtreeHasError(child)) return false;
+	}
+	return true;
+}
+function isIncompleteDeclarativeBody(slot) {
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isIncompleteImperativeBody(slot, expression) {
+	if (slot.nodes.length === 0) return true;
+	if (slot.nodes.length === 1 && slot.nodes[0].typeID === 65) return isImpBlocksIncomplete(slot.nodes[0], expression);
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isIncompleteRecursionBody(slot) {
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isEmptyOrErrorOnlyBody(nodes) {
+	if (nodes.length === 0) return true;
+	if (nodes.length === 1) return isErrorPlaceholder(nodes[0]);
+	return false;
+}
+function isImpBlocksIncomplete(blocksNode, expression) {
+	if (blocksNode.children.length === 0) return true;
+	const lastChild = blocksNode.children[blocksNode.children.length - 1];
+	if (lastChild.typeID === TokenID.ERROR) return true;
+	if (isSemicolonToken(lastChild, expression)) return true;
+	if (lastChild.typeID === 38 && isErrorPlaceholder(lastChild)) return true;
+	return false;
+}
+function isErrorInBodySlot(errorNode, slot, generatorNode) {
+	if (slot.nodes.length === 0) {
+		const bodyStart = generatorNode.children[slot.headerEndIndex]?.from ?? generatorNode.from;
+		return errorNode.from >= bodyStart;
+	}
+	for (const bodyNode of slot.nodes) if (errorNode === bodyNode || isDescendantOf(bodyNode, errorNode)) {
+		if (isErrorPlaceholder(bodyNode)) return true;
+		if (bodyNode.typeID === 65 && isImpBlocksTailError(bodyNode, errorNode)) return true;
+	}
+	return false;
+}
+function isImpBlocksTailError(blocksNode, errorNode) {
+	const lastChild = blocksNode.children[blocksNode.children.length - 1];
+	return lastChild.typeID === TokenID.ERROR && (errorNode === lastChild || isDescendantOf(lastChild, errorNode));
+}
+function isErrorPlaceholder(node) {
+	if (node.typeID === TokenID.ERROR) return true;
+	if (node.children.length === 0) return false;
+	return node.children.every((child) => isErrorPlaceholder(child));
+}
+function isDescendantOf(ancestor, node) {
+	let current = node.parent;
+	while (current !== null) {
+		if (current === ancestor) return true;
+		current = current.parent;
+	}
+	return false;
+}
+function findRecursionInit(recursionNode, expression) {
+	const assignIndex = recursionNode.children.findIndex((child) => expression.slice(child.from, child.to) === ":=");
+	if (assignIndex < 0) return null;
+	for (let index = assignIndex + 1; index < recursionNode.children.length; index++) {
+		const child = recursionNode.children[index];
+		if (child.typeID === TokenID.ERROR) break;
+		if (isPipeToken(child, expression) || isClosingBrace(child, expression)) continue;
+		return child;
+	}
+	return null;
+}
+function incompleteGeneratorError(code, errorNode) {
+	return {
+		code,
+		from: errorNode.from,
+		to: errorNode.to
+	};
+}
+function isIncompleteGeneratorBodyCode(code) {
+	return code === RSErrorCode.expectedDeclarativeBody || code === RSErrorCode.expectedImperativeBody || code === RSErrorCode.expectedRecursiveBody;
+}
+function isPipeToken(node, expression) {
+	return expression.slice(node.from, node.to) === "|";
+}
+function isSemicolonToken(node, expression) {
+	return expression.slice(node.from, node.to) === ";";
+}
+function isClosingBrace(node, expression) {
+	return node.typeID !== TokenID.ERROR && expression.slice(node.from, node.to) === "}";
+}
+function isStructuralGeneratorToken(node, expression) {
+	const text = expression.slice(node.from, node.to);
+	return text === "{" || text === "}" || text === "|" || text === "∈" || text === ":=" || text === ";";
+}
 function subtreeHasError(node) {
 	if (node.typeID === TokenID.ERROR) return true;
 	return node.children.some(subtreeHasError);
@@ -137,6 +354,9 @@ function findAncestor(node, predicate) {
 function isFunctionDeclNode(node) {
 	return node.typeID === 76 || node.typeID === TokenID.NT_FUNC_DEFINITION;
 }
+function isQuantifierNode(node) {
+	return node.typeID === 29;
+}
 function isFunctionNode(node) {
 	return node.typeID === 69 || node.typeID === TokenID.ID_FUNCTION;
 }
@@ -174,6 +394,42 @@ function deduplicateErrors(errors) {
 function rangesOverlap(a, b) {
 	return a.from < b.to && b.from < a.to;
 }
+const ALLOWED_EXPRESSION_CHARS = buildAllowedExpressionChars();
+function buildAllowedExpressionChars() {
+	const chars = /* @__PURE__ */ new Set();
+	for (const chunk of [
+		"0123456789",
+		"abcdefghijklmnopqrstuvwxyz",
+		"ABCDEFGHIJKLMNOPQRSTUVWXYZ",
+		"_",
+		"∅¬∀∃⇔⇒∨&ℬ+-*∪\\∆∩×∈∉⊆⊄⊂<>≥≤≠=,:;|[]{}()"
+	]) for (const symbol of chunk) chars.add(symbol);
+	for (let codePoint = 945; codePoint <= 969; codePoint++) chars.add(String.fromCodePoint(codePoint));
+	return chars;
+}
+function isAllowedExpressionChar(symbol) {
+	return /\s/u.test(symbol) || ALLOWED_EXPRESSION_CHARS.has(symbol);
+}
+function extractForbiddenCharacterErrors(expression) {
+	const errors = [];
+	let pos = 0;
+	while (pos < expression.length) {
+		const symbol = expression[pos];
+		if (isAllowedExpressionChar(symbol)) {
+			pos++;
+			continue;
+		}
+		const start = pos;
+		while (pos < expression.length && !isAllowedExpressionChar(expression[pos])) pos++;
+		errors.push({
+			code: RSErrorCode.forbiddenCharacter,
+			from: start,
+			to: pos,
+			params: [expression.slice(start, pos)]
+		});
+	}
+	return errors;
+}
 function extractBracketErrors(expression) {
 	const stack = [];
 	for (let pos = 0; pos < expression.length; pos++) {