@mirascript/constants 0.1.44 → 0.1.45

package/src/constants.g.ts

@@ -53,41 +53,43 @@ export enum DiagnosticCode {
     MissingBindOperator = 1033,
     InvalidConstantName = 1034,
     MissingFunctionName = 1035,
-    MissingOpenParenAfterExtension = 1036,
-    MissingOpenParenAfterType = 1037,
-    InvalidTypeCall = 1038,
-    RecordLiteralInExtensionCaller = 1039,
-    MissingCase = 1040,
-    UnknownExpression = 1041,
-    UnmatchedCloseBrace = 1042,
-    UnmatchedCloseBracket = 1043,
-    UnmatchedCloseParen = 1044,
-    UnknownPattern = 1045,
-    InvalidConstantLiteral = 1046,
-    UnknownStatement = 1047,
-    ExpressionExpected = 1048,
-    PatternExpected = 1049,
-    ExclamationInLiteralPattern = 1050,
-    MutInRebindPattern = 1051,
-    ConstantInBindPattern = 1052,
-    MutInDiscardPattern = 1053,
-    DiscardInSpreadPattern = 1054,
-    SpreadDiscardInRecordPattern = 1055,
-    MispositionedSpreadInRecordPattern = 1056,
-    InterpolatedNameRecordPattern = 1057,
-    BadOmitKeyRecordPattern = 1058,
-    AmbiguousRangePattern = 1059,
-    DuplicateSpreadPattern = 1060,
-    MispositionedRestParameter = 1061,
-    UndefinedVariableAssignment = 1062,
-    ImmutableVariableAssignment = 1063,
-    UninitializedVariable = 1064,
-    DuplicateVariableDeclaration = 1065,
-    UnexpectedBreak = 1066,
-    UnexpectedContinue = 1067,
-    MisuseOfGlobalKeyword = 1068,
-    BadOmitKeyRecordExpression = 1069,
-    UnassignableExpression = 1070,
+    MissingModuleName = 1036,
+    MissingOpenParenAfterExtension = 1037,
+    MissingOpenParenAfterType = 1038,
+    InvalidTypeCall = 1039,
+    RecordLiteralInExtensionCaller = 1040,
+    MissingCase = 1041,
+    UnknownExpression = 1042,
+    UnmatchedCloseBrace = 1043,
+    UnmatchedCloseBracket = 1044,
+    UnmatchedCloseParen = 1045,
+    UnknownPattern = 1046,
+    InvalidConstantLiteral = 1047,
+    UnknownStatement = 1048,
+    ExpressionExpected = 1049,
+    PatternExpected = 1050,
+    ExclamationInLiteralPattern = 1051,
+    MutInRebindPattern = 1052,
+    ConstantInBindPattern = 1053,
+    MutInDiscardPattern = 1054,
+    DiscardInSpreadPattern = 1055,
+    SpreadDiscardInRecordPattern = 1056,
+    MispositionedSpreadInRecordPattern = 1057,
+    InterpolatedNameRecordPattern = 1058,
+    BadOmitKeyRecordPattern = 1059,
+    AmbiguousRangePattern = 1060,
+    DuplicateSpreadPattern = 1061,
+    MispositionedRestParameter = 1062,
+    UndefinedVariableAssignment = 1063,
+    ImmutableVariableAssignment = 1064,
+    UninitializedVariable = 1065,
+    DuplicateVariableDeclaration = 1066,
+    UnexpectedBreak = 1067,
+    UnexpectedContinue = 1068,
+    MisuseOfGlobalKeyword = 1069,
+    BadOmitKeyRecordExpression = 1070,
+    UnassignableExpression = 1071,
+    UnexpectedPub = 1072,
     ErrorEnd = 1999,
     WarningStart = 2000,
     MisleadingNilVariable = 2001,
@@ -127,72 +129,74 @@ export enum DiagnosticCode {
     LocalImmutable = 10002,
     LocalMutable = 10003,
     LocalFunction = 10004,
-    ParameterIt = 10005,
-    ParameterImmutable = 10006,
-    ParameterMutable = 10007,
-    ParameterImmutableRest = 10008,
-    ParameterMutableRest = 10009,
-    ParameterPattern = 10010,
-    ParameterRestPattern = 10011,
-    ParameterSubPatternImmutable = 10012,
-    ParameterSubPatternMutable = 10013,
-    GlobalVariable = 10014,
-    GlobalDynamicAccess = 10015,
-    RecordFieldIdName = 10016,
-    RecordFieldOrdinalName = 10017,
-    RecordFieldStringName = 10018,
-    UnnamedRecordField0 = 10019,
-    UnnamedRecordField1 = 10020,
-    UnnamedRecordField2 = 10021,
-    UnnamedRecordField3 = 10022,
-    UnnamedRecordField4 = 10023,
-    UnnamedRecordField5 = 10024,
-    UnnamedRecordField6 = 10025,
-    UnnamedRecordField7 = 10026,
-    UnnamedRecordField8 = 10027,
-    UnnamedRecordField9 = 10028,
-    UnnamedRecordFieldN = 10029,
-    OmitNamedRecordField = 10030,
-    FunctionCall = 10031,
-    ExtensionCall = 10032,
-    Scope = 10033,
-    String = 10034,
-    Interpolation = 10035,
-    ForExpression = 10036,
-    WhileExpression = 10037,
-    LoopExpression = 10038,
-    FnDeclaration = 10039,
-    FnExpression = 10040,
-    IfExpression = 10041,
-    MatchExpression = 10042,
+    LocalModule = 10005,
+    ParameterIt = 10006,
+    ParameterImmutable = 10007,
+    ParameterMutable = 10008,
+    ParameterImmutableRest = 10009,
+    ParameterMutableRest = 10010,
+    ParameterPattern = 10011,
+    ParameterRestPattern = 10012,
+    ParameterSubPatternImmutable = 10013,
+    ParameterSubPatternMutable = 10014,
+    GlobalVariable = 10015,
+    GlobalDynamicAccess = 10016,
+    RecordFieldIdName = 10017,
+    RecordFieldOrdinalName = 10018,
+    RecordFieldStringName = 10019,
+    UnnamedRecordField0 = 10020,
+    UnnamedRecordField1 = 10021,
+    UnnamedRecordField2 = 10022,
+    UnnamedRecordField3 = 10023,
+    UnnamedRecordField4 = 10024,
+    UnnamedRecordField5 = 10025,
+    UnnamedRecordField6 = 10026,
+    UnnamedRecordField7 = 10027,
+    UnnamedRecordField8 = 10028,
+    UnnamedRecordField9 = 10029,
+    UnnamedRecordFieldN = 10030,
+    OmitNamedRecordField = 10031,
+    FunctionCall = 10032,
+    ExtensionCall = 10033,
+    Scope = 10034,
+    String = 10035,
+    Interpolation = 10036,
+    ForExpression = 10037,
+    WhileExpression = 10038,
+    LoopExpression = 10039,
+    FnDeclaration = 10040,
+    FnExpression = 10041,
+    IfExpression = 10042,
+    MatchExpression = 10043,
     TagEnd = 10999,
     TagRefStart = 11000,
     ReadLocal = 11001,
     ReadWriteLocal = 11002,
     WriteLocal = 11003,
     RedeclareLocal = 11004,
-    Callable = 11005,
-    ArgumentExtension = 11006,
-    ArgumentStart = 11007,
-    ArgumentEnd = 11008,
-    ArgumentComma = 11009,
-    ArgumentSpread = 11010,
-    KeywordFor = 11011,
-    KeywordIn = 11012,
-    KeywordWhile = 11013,
-    KeywordLoop = 11014,
-    KeywordBreak = 11015,
-    KeywordContinue = 11016,
-    KeywordIf = 11017,
-    KeywordElse = 11018,
-    KeywordMatch = 11019,
-    KeywordCase = 11020,
-    KeywordFn = 11021,
-    KeywordReturn = 11022,
+    ExportedLocal = 11005,
+    Callable = 11006,
+    ArgumentExtension = 11007,
+    ArgumentStart = 11008,
+    ArgumentEnd = 11009,
+    ArgumentComma = 11010,
+    ArgumentSpread = 11011,
+    KeywordFor = 11012,
+    KeywordIn = 11013,
+    KeywordWhile = 11014,
+    KeywordLoop = 11015,
+    KeywordBreak = 11016,
+    KeywordContinue = 11017,
+    KeywordIf = 11018,
+    KeywordElse = 11019,
+    KeywordMatch = 11020,
+    KeywordCase = 11021,
+    KeywordFn = 11022,
+    KeywordReturn = 11023,
     /**
      * Work with [DiagnosticCode::OmitNamedRecordField]
      */
-    OmitNamedRecordFieldName = 11023,
+    OmitNamedRecordFieldName = 11024,
     TagRefEnd = 11999,
     SourceMap = 12000,
 }
@@ -464,369 +468,376 @@ export enum OpCode {
      * %ret = (
      */
     Record = 46,
+    /**
+     * MODULE %ret `name`\
+     * %ret = mod CONSTANTS\[name] {
+     */
+    Module = 47,
     /**
      * FIELD `name` %field\
      * \[CONSTANTS\[name]]: %field,
      */
-    Field = 47,
+    Field = 48,
     /**
      * FIELD_DYN %name %field\
      * \[%name]: %field,
      */
-    FieldDyn = 48,
+    FieldDyn = 49,
     /**
      * FIELD_INDEX `index` %field\
      * \[index]: %field,
      */
-    FieldIndex = 49,
+    FieldIndex = 50,
     /**
      * FIELD_OPT `name` %field\
      * \[CONSTANTS\[name]]?: %field,
      */
-    FieldOpt = 50,
+    FieldOpt = 51,
     /**
      * FIELD_OPT_DYN %name %field\
      * \[%name]?: %field,
      */
-    FieldOptDyn = 51,
+    FieldOptDyn = 52,
     /**
      * FIELD_OPT_INDEX `index` %field\
      * \[index]?: %field,
      */
-    FieldOptIndex = 52,
+    FieldOptIndex = 53,
     /**
      * PICK %ret %var `n` `key_1` `key_2` ... `key_n`\
      * %ret = %var pick keys CONSTANTS\[key_1], CONSTANTS\[key_2], ..., CONSTANTS\[key_n]
      */
-    Pick = 53,
+    Pick = 54,
     /**
      * OMIT %ret %var `n` `key_1` `key_2` ... `key_n`\
      * %ret = %var omit keys CONSTANTS\[key_1], CONSTANTS\[key_2], ..., CONSTANTS\[key_n]
      */
-    Omit = 54,
+    Omit = 55,
     /**
      * ARRAY %ret\
      * %ret = \[
      */
-    Array = 55,
+    Array = 56,
     /**
      * ITEM %item\
      * %item,
      */
-    Item = 56,
+    Item = 57,
     /**
      * ITEM_RANGE `start` `end`\
      * `start`..`end`,
      */
-    ItemRange = 57,
+    ItemRange = 58,
     /**
      * ITEM_RANGE_DYN %start %end\
      * %start..%end,
      */
-    ItemRangeDyn = 58,
+    ItemRangeDyn = 59,
     /**
      * ITEM_RANGE_EXCLUSIVE_DYN %start %end\
      * %start..<%end,
      */
-    ItemRangeExclusiveDyn = 59,
+    ItemRangeExclusiveDyn = 60,
     /**
      * SPREAD %var\
      * ..%var,
      */
-    Spread = 60,
+    Spread = 61,
     /**
      * FREEZE\
      * ) for record or ] for array
      */
-    Freeze = 61,
+    Freeze = 62,
     /**
      * HAS %ret %var `key`\
      * %ret = initialized(%var\[CONSTANTS\[key]])
      */
-    Has = 62,
+    Has = 63,
     /**
      * HAS_DYN %ret %var %key\
      * %ret = initialized(%var\[%key])
      */
-    HasDyn = 63,
+    HasDyn = 64,
     /**
      * HAS_INDEX %ret %var `index`\
      * %ret = initialized(%var\[index])
      */
-    HasIndex = 64,
+    HasIndex = 65,
     /**
      * GET %ret %var `key`\
      * %ret = %var\[CONSTANTS\[key]] ?? nil
      */
-    Get = 65,
+    Get = 66,
     /**
      * GET_DYN %ret %var %key\
      * %ret = %var\[%key] ?? nil
      */
-    GetDyn = 66,
+    GetDyn = 67,
     /**
      * GET_INDEX %ret %var `index`\
      * %ret = %var\[index] ?? nil
      */
-    GetIndex = 67,
+    GetIndex = 68,
     /**
      * SET %value %var `key`\
      * %var\[CONSTANTS\[key]] = %value
      */
-    Set = 68,
+    Set = 69,
     /**
      * SET_DYN %value %var %key\
      * %var\[%key] = %value
      */
-    SetDyn = 69,
+    SetDyn = 70,
     /**
      * SET_INDEX %value %var `index`\
      * %var\[index] = %value
      */
-    SetIndex = 70,
+    SetIndex = 71,
     /**
      * SLICE %ret %var `start` `end`\
      * %ret = %var\[start..end]
      */
-    Slice = 71,
+    Slice = 72,
     /**
      * SLICE_START %ret %var `end`\
      * %ret = %var\[..end]
      */
-    SliceStart = 72,
+    SliceStart = 73,
     /**
      * SLICE_END %ret %var `start`\
      * %ret = %var\[start..]
      */
-    SliceEnd = 73,
+    SliceEnd = 74,
     /**
      * SLICE_DYN %ret %var %start %end\
      * %ret = %var\[%start..%end]
      */
-    SliceDyn = 74,
+    SliceDyn = 75,
     /**
      * SLICE_EXCLUSIVE_DYN %ret %var %start %end\
      * %ret = %var\[%start..<%end]
      */
-    SliceExclusiveDyn = 75,
+    SliceExclusiveDyn = 76,
     /**
      * LENGTH %ret %var\
      * %ret = $Length(%var)
      */
-    Length = 76,
+    Length = 77,
     /**
      * LOOP `regn`\
      * loop { let %1, .. ,%regn;
      */
-    Loop = 77,
+    Loop = 78,
     /**
      * LOOP_FOR `regn` %iterable\
      * for %1 in %iterable { let %2, .. ,%regn;
      */
-    LoopFor = 78,
+    LoopFor = 79,
     /**
      * LOOP_RANGE `regn` %start %end\
      * for %1 in %start..%end { let %2, .. ,%regn;
      */
-    LoopRange = 79,
+    LoopRange = 80,
     /**
      * LOOP_RANGE_EXCLUSIVE `regn` %start %end\
      * for %1 in %start..<%end { let %2, .. ,%regn;
      */
-    LoopRangeExclusive = 80,
+    LoopRangeExclusive = 81,
     /**
      * LOOP_END\
      * }
      */
-    LoopEnd = 81,
+    LoopEnd = 82,
     /**
      * BREAK\
      * break;
      */
-    Break = 82,
+    Break = 83,
     /**
      * CONTINUE\
      * continue;
      */
-    Continue = 83,
+    Continue = 84,
     /**
      * IF %cond\
      * if (%cond) {
      */
-    If = 84,
+    If = 85,
     /**
      * IF_NOT %cond\
      * if (!%cond) {
      */
-    IfNot = 85,
+    IfNot = 86,
     /**
      * IF_INIT %var\
      * if (initialized(%var)) {
      */
-    IfInit = 86,
+    IfInit = 87,
     /**
      * IF_NOT_INIT %var\
      * if (!initialized(%var)) {
      */
-    IfNotInit = 87,
+    IfNotInit = 88,
     /**
      * IF_NIL %var\
      * if (%var == nil) {
      */
-    IfNil = 88,
+    IfNil = 89,
     /**
      * IF_NOT_NIL %var\
      * if (%var != nil) {
      */
-    IfNotNil = 89,
+    IfNotNil = 90,
     /**
      * ELSE\
      * } else {
      */
-    Else = 90,
+    Else = 91,
     /**
      * EL_IF IF*\
      * } else if *** {\
      * This instruction must be followed by an `IF*` instruction\
      */
-    ElIf = 91,
+    ElIf = 92,
     /**
      * IF_END\
      * }
      */
-    IfEnd = 92,
+    IfEnd = 93,
     /**
      * FUNC %f `argn` `regn`\
      * %f = (%1, %2, ... , %argn) => { let %argn+1, ... , %regn;
      */
-    Func = 93,
+    Func = 94,
     /**
      * FUNC_VARG %f `argn` `regn`\
      * %f = (%1, %2, ... , %argn-1, ...%argn) => { let %argn+1, ... , %regn;
      */
-    FuncVarg = 94,
+    FuncVarg = 95,
     /**
      * FUNC_END\
      * }
      */
-    FuncEnd = 95,
+    FuncEnd = 96,
     /**
      * RETURN %value\
      * return %value;
      */
-    Return = 96,
+    Return = 97,
     /**
      * CALL %ret `f` `argn` %1 %2 ... %argn `spread_n` `spread_arg_a` ...\
      * %ret = GLOBAL[CONSTANTS[f]](%1, %2, ... , %argn);
      *
      * If spread_arg_a is present, arg at that index will be spread
      */
-    Call = 97,
+    Call = 98,
     /**
      * CALL_DYN %ret %f `argn` %1 %2 ... %argn `spread_n` `spread_arg_a` ...\
      * %ret = %f(%1, %2, ... , %argn);
      *
      * If spread_arg_a is present, arg at that index will be spread
      */
-    CallDyn = 98,
+    CallDyn = 99,
 }
 /** Diagnostic messages for MiraScript compiler and tools. */
 export const DIAGNOSTIC_MESSAGES: Readonly<Partial<Record<DiagnosticCode, string>>> = Object.freeze({
-  "1001": "Unknown internal error occurred",
-  "1002": "Unknown lexer error occurred",
-  "1003": "Unknown parser error occurred",
-  "1004": "Unknown emitter error occurred",
-  "1005": "Unknown optimizer error occurred",
-  "1006": "This feature is not implemented yet",
-  "1007": "Unknown token encountered",
-  "1008": "Unexpected token found",
-  "1009": "`$0` is a reserved keyword and cannot be used as an identifier",
-  "1010": "`$0` is a keyword and cannot be used as an identifier",
-  "1011": "A number literal cannot start or end with an underscore",
-  "1012": "Invalid number literal",
-  "1013": "Number literal is too large",
-  "1014": "Integer literal is too large",
-  "1015": "Invalid ordinal literal; consider remove leading zeros and underscores, or use `[$0]` instead",
-  "1016": "String literal is not terminated",
-  "1017": "Invalid escape sequence in string",
-  "1018": "The value of hex escape sequence is not a valid ASCII character",
-  "1019": "The value of Unicode escape sequence is not a valid Unicode code point",
-  "1020": "An expression is expected after `..`",
-  "1021": "Interpolation expression is not terminated",
-  "1022": "Invalid interpolation expression",
-  "1023": "Empty interpolation expression",
-  "1024": "Unexpected `_`; it is a reserved keyword for discarding values",
-  "1025": "Unexpected `global`; it is a reserved keyword for global variables",
-  "1026": "Missing `,` in the list",
-  "1027": "Missing `]` to close the bracket",
-  "1028": "Missing `{` to open the brace",
-  "1029": "Missing `}` to close the brace",
-  "1030": "Missing `)` to close the parenthesis",
-  "1031": "Missing `;` at the end of the statement",
-  "1032": "Missing `:` in the conditional expression",
-  "1033": "Operator `=` is expected in a bind statement or const statement",
-  "1034": "Constant name must start with '@'",
-  "1035": "Missing function name in the declaration",
-  "1036": "Extension call must be ended with parameter list; add `(` here",
-  "1037": "`type` is a function-like keyword; add `(` here",
-  "1038": "`type` call must have exactly one argument",
-  "1039": "Unexpected record literal; a grouping expression is expected",
-  "1040": "Missing `case` in the statement",
-  "1041": "Unknown expression encountered",
-  "1042": "Unmatched `}` found",
-  "1043": "Unmatched `]` found",
-  "1044": "Unmatched `)` found",
-  "1045": "Unknown pattern encountered",
-  "1046": "Only constants or literal values are allowed here",
-  "1047": "Unknown statement encountered",
-  "1048": "An expression is expected here",
-  "1049": "A pattern is expected here",
-  "1050": "Operator `!` is not allowed in a literal pattern",
-  "1051": "`mut` is not allowed during rebinding",
-  "1052": "variable whose name starts with `@` is not allowed to be rebound",
-  "1053": "Cannot use `mut` in a discard pattern",
-  "1054": "Discard pattern should be omitted in a spread pattern",
-  "1055": "Spread discard in record pattern is not allowed",
-  "1056": "Spread in record pattern should be the last field",
-  "1057": "Interpolated names are not allowed in record patterns",
-  "1058": "A bind pattern is required when omitting a record field name",
-  "1059": "Range pattern in array pattern should be parenthesized",
-  "1060": "Spread pattern can only be used once in an array pattern",
-  "1061": "Rest parameter should be the last parameter in a function declaration",
-  "1062": "Cannot assign to an undeclared variable",
-  "1063": "Cannot assign to an immutable variable...",
-  "1064": "Cannot access a variable before it is...",
-  "1065": "The variable is already...",
-  "1066": "Unexpected `break` outside of a loop",
-  "1067": "Unexpected `continue` outside of a loop",
-  "1068": "`global` keyword can only be used as `global.<name>`, `global[<name>]`, or on the right-hand side of the `in` operator",
-  "1069": "Cannot infer key from the expression",
-  "1070": "Can only assign to a variable or a field access",
-  "2001": "Either use `global.$0` explicitly or `nil` if you want to use the nil value",
-  "2002": "This pattern in a irrefutable matching is unnecessary; consider removing it or using in an `is` expression instead",
-  "2003": "This `match` expression has no cases; it will never match any value",
-  "2004": "Non-number literal cannot be used in range",
-  "2005": "Non-number-or-string literal cannot be used in comparison expression",
-  "2006": "Non-number literal cannot be used in arithmetic expression",
-  "2007": "Non-boolean literal cannot be used in logical expression",
-  "2008": "Literal cannot be called as a function",
-  "2009": "Literal cannot be accessed as a record or array",
-  "2010": "Global variable `$0` is not declared",
-  "4001": "Local variable is unused; consider removing it or use `_` to ignore it",
-  "4002": "Local function is unused; consider removing it",
-  "4003": "Prefer `&&` over `and` for logical operations",
-  "4004": "Prefer `||` over `or` for logical operations",
-  "4005": "Prefer `!` over `not` for logical operations",
-  "4006": "Prefer `()` over `{}` for record literal declaration",
-  "4007": "Prefer if expression over conditional expression",
-  "4008": "Unnecessary parentheses; consider removing them",
-  "4009": "Prefer uppercase for constant $0",
-  "5001": "...declared here",
-  "5002": "...declared here",
-  "5003": "...declared as a parameter here",
-  "5004": "...declared as the auto parameter `it` by this function here",
-  "5005": "...declared as a rest parameter here",
-  "5006": "...declared as a sub-pattern of parameter pattern here"
+  "1001": "发生未知内部错误",
+  "1002": "发生未知词法错误",
+  "1003": "发生未知解析错误",
+  "1004": "发生未知生成错误",
+  "1005": "发生未知优化错误",
+  "1006": "该功能尚未实现",
+  "1007": "遇到未知的记号",
+  "1008": "发现意外的记号",
+  "1009": "`$0` 是保留关键字，不能用作标识符",
+  "1010": "`$0` 是关键字，不能用作标识符",
+  "1011": "数字字面量不能以下划线开头或结尾",
+  "1012": "无效的数字字面量",
+  "1013": "数字字面量过大",
+  "1014": "整数字面量过大",
+  "1015": "无效的序数字面量；请移除前导零和下划线，或改用 `[$0]`",
+  "1016": "字符串字面量未终止",
+  "1017": "字符串中的转义序列无效",
+  "1018": "十六进制转义序列的值不是有效的 ASCII 字符",
+  "1019": "Unicode 转义序列的值不是有效的 Unicode 码点",
+  "1020": "在 `..` 之后需要表达式",
+  "1021": "插值表达式未终止",
+  "1022": "无效的插值表达式",
+  "1023": "插值表达式为空",
+  "1024": "意外的 `_`；它是用于丢弃值的保留关键字",
+  "1025": "意外的 `global`；它是用于全局变量的保留关键字",
+  "1026": "列表中缺少 `,`",
+  "1027": "缺少 `]` 以关闭中括号",
+  "1028": "缺少 `{` 以打开花括号",
+  "1029": "缺少 `}` 以关闭花括号",
+  "1030": "缺少 `)` 以关闭括号",
+  "1031": "语句末尾缺少 `;`",
+  "1032": "条件表达式中缺少 `:`",
+  "1033": "在 bind 或 const 语句中需要 `=` 运算符",
+  "1034": "常量名必须以 `@` 开头",
+  "1035": "声明中缺少函数名",
+  "1036": "声明中缺少模块名",
+  "1037": "扩展调用必须以参数列表结尾；请在此处添加 `(`",
+  "1038": "`type` 是类函数关键字；请在此处添加 `(`",
+  "1039": "`type` 调用必须恰好有一个参数",
+  "1040": "意外的记录字面量；此处需要分组表达式",
+  "1041": "语句中缺少 `case`",
+  "1042": "遇到未知的表达式",
+  "1043": "发现未匹配的 `}`",
+  "1044": "发现未匹配的 `]`",
+  "1045": "发现未匹配的 `)`",
+  "1046": "遇到未知的模式",
+  "1047": "此处只允许常量或字面量",
+  "1048": "遇到未知的语句",
+  "1049": "此处需要表达式",
+  "1050": "此处需要模式",
+  "1051": "字面量模式中不允许 `!` 运算符",
+  "1052": "重绑定时不允许使用 `mut`",
+  "1053": "名称以 `@` 开头的变量不允许被重绑定",
+  "1054": "弃元模式中不能使用 `mut`",
+  "1055": "展开模式中应省略丢弃弃元",
+  "1056": "记录模式中不允许展开弃元",
+  "1057": "记录模式中的展开模式应为最后一个字段",
+  "1058": "记录模式中不允许插值名称",
+  "1059": "省略记录字段名时需要绑定模式",
+  "1060": "数组模式中的范围模式应加括号",
+  "1061": "数组模式中展开模式只能使用一次",
+  "1062": "函数声明中剩余参数应为最后一个参数",
+  "1063": "不能对未声明的变量赋值",
+  "1064": "不能对不可变变量赋值...",
+  "1065": "变量无法在此之前访问...",
+  "1066": "该变量已...",
+  "1067": "在循环之外出现意外的 `break`",
+  "1068": "在循环之外出现意外的 `continue`",
+  "1069": "`global` 关键字只能用作 `global.<name>`、`global[<name>]` 或 `in` 运算符右侧",
+  "1070": "无法从表达式推断键名",
+  "1071": "只能对变量或字段访问赋值",
+  "1072": "在模块声明之外出现意外的 `pub`",
+  "2001": "`$0` 不是空值；显式使用全局变量 `global.$0` 或空值 `nil`",
+  "2002": "不可失败匹配中的该模式是多余的；请考虑移除它或改为在 `is` 表达式中使用",
+  "2003": "该 `match` 表达式没有分支；它永远不会匹配任何值",
+  "2004": "范围中不能使用非数字字面量",
+  "2005": "比较表达式中不能使用非数字或字符串字面量",
+  "2006": "算术表达式中不能使用非数字字面量",
+  "2007": "逻辑表达式中不能使用非布尔字面量",
+  "2008": "字面量不能作为函数调用",
+  "2009": "字面量不能作为记录或数组访问",
+  "2010": "全局变量 `$0` 未声明",
+  "4001": "局部变量未使用；请考虑删除它或使用 `_` 忽略",
+  "4002": "局部函数未使用；请考虑删除它",
+  "4003": "逻辑运算中更推荐使用 `&&` 而非 `and`",
+  "4004": "逻辑运算中更推荐使用 `||` 而非 `or`",
+  "4005": "逻辑运算中更推荐使用 `!` 而非 `not`",
+  "4006": "记录字面量声明中更推荐使用 `()` 而非 `{}`",
+  "4007": "更推荐使用 if 表达式而非条件表达式",
+  "4008": "考虑移除多余的括号",
+  "4009": "常量 $0 建议使用大写",
+  "5001": "...在此处声明",
+  "5002": "...在此处声明",
+  "5003": "...在此处作为参数声明",
+  "5004": "...在此处被该函数声明为自动参数 `it`",
+  "5005": "...在此处作为剩余参数声明",
+  "5006": "...在此处作为参数模式的子模式声明"
 } as const);
 /** MiraScript keywords */
 export const KEYWORDS = Object.freeze(["true","false","nil","nan","inf","_","global","in","is","and","or","not","type","if","else","match","case","for","while","loop","break","continue","return","fn","op","let","const","mut","where","mod","pub","use","effect","try","handle","finally","perform","resume"] as const);
@@ -837,4 +848,4 @@ export const CONTROL_KEYWORDS = Object.freeze(["if","else","match","case","for",
 /** MiraScript numeric keywords */
 export const NUMERIC_KEYWORDS = Object.freeze(["nan","inf"] as const);
 /** MiraScript reserved keywords */
-export const RESERVED_KEYWORDS = Object.freeze(["op","where","mod","pub","use","effect","try","handle","finally","perform","resume"] as const);
+export const RESERVED_KEYWORDS = Object.freeze(["op","where","use","effect","try","handle","finally","perform","resume"] as const);