@mirascript/constants 0.1.62-alpha.7 → 0.1.62-alpha.8

package/dist/constants.g.d.ts

@@ -0,0 +1,754 @@
+export declare class Config {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    diagnostic_error: boolean;
+    diagnostic_hint: boolean;
+    diagnostic_info: boolean;
+    diagnostic_position_encoding: DiagnosticPositionEncoding;
+    diagnostic_reference: boolean;
+    diagnostic_sourcemap: boolean;
+    diagnostic_tag: boolean;
+    diagnostic_warning: boolean;
+    input_mode: InputMode;
+    trivia: boolean;
+}
+/**
+ * Diagnostic codes for MiraScript compiler and tools.
+ */
+export declare enum DiagnosticCode {
+    ErrorStart = 1000,
+    InternalError = 1001,
+    LexerError = 1002,
+    ParserError = 1003,
+    EmitterError = 1004,
+    OptimizerError = 1005,
+    Unimplemented = 1006,
+    UnknownToken = 1007,
+    UnexpectedToken = 1008,
+    InvalidReservedKeyword = 1009,
+    InvalidKeyword = 1010,
+    InvalidNumberLiteralUnderscore = 1011,
+    InvalidNumberLiteral = 1012,
+    OverflowNumberLiteral = 1013,
+    OverflowIntegerLiteral = 1014,
+    InvalidOrdinalLiteral = 1015,
+    UnterminatedString = 1016,
+    InvalidEscapeSequence = 1017,
+    InvalidHexEscapeSequence = 1018,
+    InvalidUnicodeEscapeSequence = 1019,
+    BadArraySpread = 1020,
+    UnterminatedInterpolation = 1021,
+    BadInterpolation = 1022,
+    EmptyInterpolation = 1023,
+    UnexpectedUnderscore = 1024,
+    UnexpectedGlobal = 1025,
+    MissingComma = 1026,
+    MissingCloseBracket = 1027,
+    MissingOpenBrace = 1028,
+    MissingCloseBrace = 1029,
+    MissingCloseParen = 1030,
+    MissingSemicolon = 1031,
+    MissingColon = 1032,
+    MissingBindOperator = 1033,
+    InvalidConstantName = 1034,
+    MissingFunctionName = 1035,
+    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,
+    UnnecessaryIrrefutablePattern = 2002,
+    MatchExpressionHasNoCases = 2003,
+    NonNumberInRange = 2004,
+    NonNumberOrStringInComparison = 2005,
+    NonNumberInArithmetic = 2006,
+    NonBooleanInLogical = 2007,
+    LiteralNotCallable = 2008,
+    LiteralNotIndexable = 2009,
+    GlobalVariableNotDeclared = 2010,
+    WarningEnd = 2999,
+    InfoStart = 3000,
+    InfoEnd = 3999,
+    HintStart = 4000,
+    UnusedLocalVariable = 4001,
+    UnusedLocalFunction = 4002,
+    PreferLogicalOperatorAnd = 4003,
+    PreferLogicalOperatorOr = 4004,
+    PreferLogicalOperatorNot = 4005,
+    PreferParenthesesForRecordLiteral = 4006,
+    PreferIfExpression = 4007,
+    UnnecessaryParentheses = 4008,
+    PreferUppercaseConstant = 4009,
+    HintEnd = 4999,
+    ReferenceStart = 5000,
+    VariableDeclaredHere = 5001,
+    FunctionDeclaredHere = 5002,
+    ParameterDeclaredHere = 5003,
+    ParameterItDeclaredHere = 5004,
+    ParameterRestDeclaredHere = 5005,
+    ParameterSubPatternDeclaredHere = 5006,
+    ReferenceEnd = 5999,
+    TagStart = 10000,
+    LocalConst = 10001,
+    LocalImmutable = 10002,
+    LocalMutable = 10003,
+    LocalFunction = 10004,
+    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,
+    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 = 11024,
+    TagRefEnd = 11999,
+    SourceMap = 12000
+}
+/**
+ * Encoding for counting positions in diagnostics.
+ */
+export declare enum DiagnosticPositionEncoding {
+    /**
+     * Use the default encoding (UTF-8) and
+     * 0-based indexing from the start of the file.
+     * Do not convert positions to line-column format.
+     */
+    None = 0,
+    /**
+     * Convert positions to 1-based UTF-8 line-column format.
+     */
+    Utf8 = 1,
+    /**
+     * Convert positions to 1-based UTF-16 line-column format.
+     */
+    Utf16 = 2,
+    /**
+     * Convert positions to 1-based UTF-32 line-column format.
+     */
+    Utf32 = 3
+}
+/**
+ * Mode for reading input.
+ */
+export declare enum InputMode {
+    Script = 0,
+    Template = 1
+}
+/**
+ * MiraScript OpCodes
+ */
+export declare enum OpCode {
+    /**
+     * No operation
+     */
+    Noop = 0,
+    /**
+     * ADD %ret %1 %2\
+     * %ret = %1 + %2
+     */
+    Add = 1,
+    /**
+     * SUB %ret %1 %2\
+     * %ret = %1 - %2
+     */
+    Sub = 2,
+    /**
+     * MUL %ret %1 %2\
+     * %ret = %1 * %2
+     */
+    Mul = 3,
+    /**
+     * DIV %ret %1 %2\
+     * %ret = %1 / %2
+     */
+    Div = 4,
+    /**
+     * MOD %ret %1 %2\
+     * %ret = %1 % %2
+     */
+    Mod = 5,
+    /**
+     * EXP %ret %1 %2\
+     * %ret = %1 ^ %2
+     */
+    Pow = 6,
+    /**
+     * POS %ret %1\
+     * %ret = +%1
+     */
+    Pos = 7,
+    /**
+     * NEG %ret %1\
+     * %ret = -%1
+     */
+    Neg = 8,
+    /**
+     * NOT %ret %1\
+     * %ret = !%1
+     */
+    Not = 9,
+    /**
+     * PLUS %ret %1\
+     * %ret = +%1
+     */
+    Plus = 10,
+    /**
+     * EQ %ret %1 %2\
+     * %ret = %1 == %2
+     */
+    Eq = 11,
+    /**
+     * NEQ %ret %1 %2\
+     * %ret = %1 != %2
+     */
+    Neq = 12,
+    /**
+     * LT %ret %1 %2\
+     * %ret = %1 < %2
+     */
+    Lt = 13,
+    /**
+     * LTE %ret %1 %2\
+     * %ret = %1 <= %2
+     */
+    Lte = 14,
+    /**
+     * GT %ret %1 %2\
+     * %ret = %1 > %2
+     */
+    Gt = 15,
+    /**
+     * GTE %ret %1 %2\
+     * %ret = %1 >= %2
+     */
+    Gte = 16,
+    /**
+     * AEQ %ret %1 %2\
+     * %ret = %1 =~ %2
+     */
+    Aeq = 17,
+    /**
+     * NAEQ %ret %1 %2\
+     * %ret = %1 !~ %2
+     */
+    Naeq = 18,
+    /**
+     * SAME %ret %1 %2\
+     * %ret = %1 === %2 // Same value zero
+     */
+    Same = 19,
+    /**
+     * Nsame %ret %1 %2\
+     * %ret = %1 !== %2
+     */
+    Nsame = 20,
+    /**
+     * IN %ret %1 %2\
+     * %ret = %1 in %2
+     */
+    In = 21,
+    /**
+     * IN_GLOBAL %ret %1 %2\
+     * %ret = %1 in global
+     */
+    InGlobal = 22,
+    /**
+     * CONCAT %ret `n` %1 %2 ... %n\
+     * %ret = %1 .. %2 .. ... .. %n
+     */
+    Concat = 23,
+    /**
+     * FORMAT %ret %1 `index`\
+     * %ret = format(%1, CONSTANTS\[index])
+     */
+    Format = 24,
+    /**
+     * AND %ret %1 %2\
+     * %ret = %1 && %2
+     */
+    And = 25,
+    /**
+     * OR %ret %1 %2\
+     * %ret = %1 || %2
+     */
+    Or = 26,
+    /**
+     * ASSERT_INIT %v\
+     * assert(%v != uninitialized)
+     */
+    AssertInit = 27,
+    /**
+     * ASSERT_NON_NIL %v\
+     * assert(%v != nil)
+     */
+    AssertNonNil = 28,
+    /**
+     * TYPE %ret %1\
+     * %ret = type(%1)
+     */
+    Type = 29,
+    /**
+     * TO_BOOLEAN %ret %1\
+     * %ret = boolean(%1)
+     */
+    ToBoolean = 30,
+    /**
+     * TO_NUMBER %ret %1\
+     * %ret = number(%1)
+     */
+    ToNumber = 31,
+    /**
+     * TO_STRING %ret %1\
+     * %ret = string(%1)
+     */
+    ToString = 32,
+    /**
+     * IS_BOOLEAN %ret %1\
+     * %ret = type(%1) == "boolean"
+     */
+    IsBoolean = 33,
+    /**
+     * IS_NUMBER %ret %1\
+     * %ret = type(%1) == "number"
+     */
+    IsNumber = 34,
+    /**
+     * IS_STRING %ret %1\
+     * %ret = type(%1) == "string"
+     */
+    IsString = 35,
+    /**
+     * IS_RECORD %ret %1\
+     * %ret = type(%1) == "record"
+     */
+    IsRecord = 36,
+    /**
+     * IS_ARRAY %ret %1\
+     * %ret = type(%1) == "array"
+     */
+    IsArray = 37,
+    /**
+     * CONSTANT %reg `index`\
+     * %reg = CONSTANTS\[index]
+     */
+    Constant = 38,
+    /**
+     * UNINIT %reg
+     * %reg = uninitialized
+     */
+    Uninit = 39,
+    /**
+     * ASSIGN %ret %1\
+     * %ret = %1
+     */
+    Assign = 40,
+    /**
+     * SWAP %1 %2\
+     * (%1, %2) = (%2, %1)
+     */
+    Swap = 41,
+    /**
+     * GET_UPVALUE %ret `level` %%up\
+     * %ret = UPVALUES\[level]\[%%up]
+     */
+    GetUpvalue = 42,
+    /**
+     * SET_UPVALUE %value `level` %%up \
+     * UPVALUES\[level]\[%%up] = %value
+     */
+    SetUpvalue = 43,
+    /**
+     * GET_GLOBAL %ret `name` \
+     * %ret = GLOBALS\[CONSTANTS\[name]]
+     */
+    GetGlobal = 44,
+    /**
+     * GET_GLOBAL_DYN %ret %name \
+     * %ret = GLOBALS\[%name]
+     */
+    GetGlobalDyn = 45,
+    /**
+     * RECORD %ret\
+     * %ret = (
+     */
+    Record = 46,
+    /**
+     * MODULE %ret `name`\
+     * %ret = mod CONSTANTS\[name] {
+     */
+    Module = 47,
+    /**
+     * FIELD `name` %field\
+     * \[CONSTANTS\[name]]: %field,
+     */
+    Field = 48,
+    /**
+     * FIELD_DYN %name %field\
+     * \[%name]: %field,
+     */
+    FieldDyn = 49,
+    /**
+     * FIELD_INDEX `index` %field\
+     * \[index]: %field,
+     */
+    FieldIndex = 50,
+    /**
+     * FIELD_OPT `name` %field\
+     * \[CONSTANTS\[name]]?: %field,
+     */
+    FieldOpt = 51,
+    /**
+     * FIELD_OPT_DYN %name %field\
+     * \[%name]?: %field,
+     */
+    FieldOptDyn = 52,
+    /**
+     * FIELD_OPT_INDEX `index` %field\
+     * \[index]?: %field,
+     */
+    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 = 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 = 55,
+    /**
+     * ARRAY %ret\
+     * %ret = \[
+     */
+    Array = 56,
+    /**
+     * ITEM %item\
+     * %item,
+     */
+    Item = 57,
+    /**
+     * ITEM_RANGE `start` `end`\
+     * `start`..`end`,
+     */
+    ItemRange = 58,
+    /**
+     * ITEM_RANGE_DYN %start %end\
+     * %start..%end,
+     */
+    ItemRangeDyn = 59,
+    /**
+     * ITEM_RANGE_EXCLUSIVE_DYN %start %end\
+     * %start..<%end,
+     */
+    ItemRangeExclusiveDyn = 60,
+    /**
+     * SPREAD %var\
+     * ..%var,
+     */
+    Spread = 61,
+    /**
+     * FREEZE\
+     * ) for record or ] for array
+     */
+    Freeze = 62,
+    /**
+     * HAS %ret %var `key`\
+     * %ret = initialized(%var\[CONSTANTS\[key]])
+     */
+    Has = 63,
+    /**
+     * HAS_DYN %ret %var %key\
+     * %ret = initialized(%var\[%key])
+     */
+    HasDyn = 64,
+    /**
+     * HAS_INDEX %ret %var `index`\
+     * %ret = initialized(%var\[index])
+     */
+    HasIndex = 65,
+    /**
+     * GET %ret %var `key`\
+     * %ret = %var\[CONSTANTS\[key]] ?? nil
+     */
+    Get = 66,
+    /**
+     * GET_DYN %ret %var %key\
+     * %ret = %var\[%key] ?? nil
+     */
+    GetDyn = 67,
+    /**
+     * GET_INDEX %ret %var `index`\
+     * %ret = %var\[index] ?? nil
+     */
+    GetIndex = 68,
+    /**
+     * SET %value %var `key`\
+     * %var\[CONSTANTS\[key]] = %value
+     */
+    Set = 69,
+    /**
+     * SET_DYN %value %var %key\
+     * %var\[%key] = %value
+     */
+    SetDyn = 70,
+    /**
+     * SET_INDEX %value %var `index`\
+     * %var\[index] = %value
+     */
+    SetIndex = 71,
+    /**
+     * SLICE %ret %var `start` `end`\
+     * %ret = %var\[start..end]
+     */
+    Slice = 72,
+    /**
+     * SLICE_START %ret %var `end`\
+     * %ret = %var\[..end]
+     */
+    SliceStart = 73,
+    /**
+     * SLICE_END %ret %var `start`\
+     * %ret = %var\[start..]
+     */
+    SliceEnd = 74,
+    /**
+     * SLICE_DYN %ret %var %start %end\
+     * %ret = %var\[%start..%end]
+     */
+    SliceDyn = 75,
+    /**
+     * SLICE_EXCLUSIVE_DYN %ret %var %start %end\
+     * %ret = %var\[%start..<%end]
+     */
+    SliceExclusiveDyn = 76,
+    /**
+     * LENGTH %ret %var\
+     * %ret = $Length(%var)
+     */
+    Length = 77,
+    /**
+     * LOOP `regn`\
+     * loop { let %1, .. ,%regn;
+     */
+    Loop = 78,
+    /**
+     * LOOP_FOR `regn` %iterable\
+     * for %1 in %iterable { let %2, .. ,%regn;
+     */
+    LoopFor = 79,
+    /**
+     * LOOP_RANGE `regn` %start %end\
+     * for %1 in %start..%end { let %2, .. ,%regn;
+     */
+    LoopRange = 80,
+    /**
+     * LOOP_RANGE_EXCLUSIVE `regn` %start %end\
+     * for %1 in %start..<%end { let %2, .. ,%regn;
+     */
+    LoopRangeExclusive = 81,
+    /**
+     * LOOP_END\
+     * }
+     */
+    LoopEnd = 82,
+    /**
+     * BREAK\
+     * break;
+     */
+    Break = 83,
+    /**
+     * CONTINUE\
+     * continue;
+     */
+    Continue = 84,
+    /**
+     * IF %cond\
+     * if (%cond) {
+     */
+    If = 85,
+    /**
+     * IF_NOT %cond\
+     * if (!%cond) {
+     */
+    IfNot = 86,
+    /**
+     * IF_INIT %var\
+     * if (initialized(%var)) {
+     */
+    IfInit = 87,
+    /**
+     * IF_NOT_INIT %var\
+     * if (!initialized(%var)) {
+     */
+    IfNotInit = 88,
+    /**
+     * IF_NIL %var\
+     * if (%var == nil) {
+     */
+    IfNil = 89,
+    /**
+     * IF_NOT_NIL %var\
+     * if (%var != nil) {
+     */
+    IfNotNil = 90,
+    /**
+     * ELSE\
+     * } else {
+     */
+    Else = 91,
+    /**
+     * EL_IF IF*\
+     * } else if *** {\
+     * This instruction must be followed by an `IF*` instruction\
+     */
+    ElIf = 92,
+    /**
+     * IF_END\
+     * }
+     */
+    IfEnd = 93,
+    /**
+     * FUNC %f `argn` `regn`\
+     * %f = (%1, %2, ... , %argn) => { let %argn+1, ... , %regn;
+     */
+    Func = 94,
+    /**
+     * FUNC_VARG %f `argn` `regn`\
+     * %f = (%1, %2, ... , %argn-1, ...%argn) => { let %argn+1, ... , %regn;
+     */
+    FuncVarg = 95,
+    /**
+     * FUNC_END\
+     * }
+     */
+    FuncEnd = 96,
+    /**
+     * RETURN %value\
+     * return %value;
+     */
+    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 = 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 = 99
+}
+/** Diagnostic messages for MiraScript compiler and tools. */
+export declare const DIAGNOSTIC_MESSAGES: Readonly<Partial<Record<DiagnosticCode, string>>>;
+/** MiraScript keywords */
+export declare const KEYWORDS: readonly ["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"];
+/** MiraScript constant keywords */
+export declare const CONSTANT_KEYWORDS: readonly ["true", "false", "nil", "nan", "inf"];
+/** MiraScript control flow keywords */
+export declare const CONTROL_KEYWORDS: readonly ["if", "else", "match", "case", "for", "while", "loop", "break", "continue", "return"];
+/** MiraScript numeric keywords */
+export declare const NUMERIC_KEYWORDS: readonly ["nan", "inf"];
+/** MiraScript reserved keywords */
+export declare const RESERVED_KEYWORDS: readonly ["op", "where", "use", "effect", "try", "handle", "finally", "perform", "resume"];
+//# sourceMappingURL=constants.g.d.ts.map