@mirascript/wasm 0.1.25 → 0.1.27

package/lib/wasm.d.ts

@@ -25,177 +25,6 @@ export class Config {
   diagnostic_sourcemap: boolean;
 }
 
-export 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,
-  UnexpectedUnderscore = 1023,
-  UnexpectedGlobal = 1024,
-  MissingComma = 1025,
-  MissingCloseBracket = 1026,
-  MissingOpenBrace = 1027,
-  MissingCloseBrace = 1028,
-  MissingCloseParen = 1029,
-  MissingSemicolon = 1030,
-  MissingBindOperator = 1031,
-  InvalidConstantName = 1032,
-  MissingFunctionName = 1033,
-  MissingOpenParenAfterExtension = 1034,
-  MissingOpenParenAfterType = 1035,
-  InvalidTypeCall = 1036,
-  RecordLiteralInExtensionCaller = 1037,
-  MissingCase = 1038,
-  UnknownExpression = 1039,
-  UnmatchedCloseBrace = 1040,
-  UnmatchedCloseBracket = 1041,
-  UnmatchedCloseParen = 1042,
-  UnknownPattern = 1043,
-  InvalidConstantLiteral = 1044,
-  UnknownStatement = 1045,
-  ExpressionExpected = 1046,
-  PatternExpected = 1047,
-  ExclamationInLiteralPattern = 1048,
-  MutInRebindPattern = 1049,
-  ConstantInBindPattern = 1050,
-  MutInDiscardPattern = 1051,
-  DiscardInSpreadPattern = 1052,
-  SpreadDiscardInRecordPattern = 1053,
-  MispositionedSpreadInRecordPattern = 1054,
-  InterpolatedNameRecordPattern = 1055,
-  BadOmitKeyRecordPattern = 1056,
-  AmbiguousRangePattern = 1057,
-  DuplicateSpreadPattern = 1058,
-  MispositionedRestParameter = 1059,
-  UndefinedVariableAssignment = 1060,
-  ImmutableVariableAssignment = 1061,
-  UninitializedVariable = 1062,
-  DuplicateVariableDeclaration = 1063,
-  UnexpectedBreak = 1064,
-  UnexpectedContinue = 1065,
-  MisuseOfGlobalKeyword = 1066,
-  BadOmitKeyRecordExpression = 1067,
-  UnassignableExpression = 1068,
-  NonNumberInRange = 1069,
-  NonNumberOrStringInComparison = 1070,
-  NonNumberInArithmetic = 1071,
-  NonBooleanInLogical = 1072,
-  ErrorEnd = 1999,
-  WarningStart = 2000,
-  UnnecessaryParentheses = 2001,
-  MisleadingNilVariable = 2002,
-  UnnecessaryIrrefutablePattern = 2003,
-  MatchExpressionHasNoCases = 2004,
-  GlobalVariableNotDeclared = 2005,
-  WarningEnd = 2999,
-  InfoStart = 3000,
-  InfoEnd = 3999,
-  HintStart = 4000,
-  UnusedLocalVariable = 4001,
-  UnusedLocalFunction = 4002,
-  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,
-  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,
-  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,
-  /**
-   * Work with [DiagnosticCode::OmitNamedRecordField]
-   */
-  OmitNamedRecordFieldName = 11023,
-  TagRefEnd = 11999,
-  SourceMap = 12000,
-}
-
 /**
  * Encoding for counting positions in diagnostics.
  */
@@ -238,526 +67,12 @@ export class MonacoCompiler {
   format(): string | undefined;
 }
 
-export 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 %2\
-   * %ret = format(%1, %2)
-   */
-  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,
-  /**
-   * FIELD `name` %field\
-   * \[CONSTANTS\[name]]: %field,
-   */
-  Field = 47,
-  /**
-   * FIELD_DYN %name %field\
-   * \[%name]: %field,
-   */
-  FieldDyn = 48,
-  /**
-   * FIELD_INDEX `index` %field\
-   * \[index]: %field,
-   */
-  FieldIndex = 49,
-  /**
-   * FIELD_OPT `name` %field\
-   * \[CONSTANTS\[name]]?: %field,
-   */
-  FieldOpt = 50,
-  /**
-   * FIELD_OPT_DYN %name %field\
-   * \[%name]?: %field,
-   */
-  FieldOptDyn = 51,
-  /**
-   * FIELD_OPT_INDEX `index` %field\
-   * \[index]?: %field,
-   */
-  FieldOptIndex = 52,
-  /**
-   * 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,
-  /**
-   * 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,
-  /**
-   * ARRAY %ret\
-   * %ret = \[
-   */
-  Array = 55,
-  /**
-   * ITEM %item\
-   * %item,
-   */
-  Item = 56,
-  /**
-   * ITEM_RANGE `start` `end`\
-   * `start`..`end`,
-   */
-  ItemRange = 57,
-  /**
-   * ITEM_RANGE_DYN %start %end\
-   * %start..%end,
-   */
-  ItemRangeDyn = 58,
-  /**
-   * ITEM_RANGE_EXCLUSIVE_DYN %start %end\
-   * %start..<%end,
-   */
-  ItemRangeExclusiveDyn = 59,
-  /**
-   * SPREAD %var\
-   * ..%var,
-   */
-  Spread = 60,
-  /**
-   * FREEZE\
-   * ) for record or ] for array
-   */
-  Freeze = 61,
-  /**
-   * HAS %ret %var `key`\
-   * %ret = initialized(%var\[CONSTANTS\[key]])
-   */
-  Has = 62,
-  /**
-   * HAS_DYN %ret %var %key\
-   * %ret = initialized(%var\[%key])
-   */
-  HasDyn = 63,
-  /**
-   * HAS_INDEX %ret %var `index`\
-   * %ret = initialized(%var\[index])
-   */
-  HasIndex = 64,
-  /**
-   * GET %ret %var `key`\
-   * %ret = %var\[CONSTANTS\[key]] ?? nil
-   */
-  Get = 65,
-  /**
-   * GET_DYN %ret %var %key\
-   * %ret = %var\[%key] ?? nil
-   */
-  GetDyn = 66,
-  /**
-   * GET_INDEX %ret %var `index`\
-   * %ret = %var\[index] ?? nil
-   */
-  GetIndex = 67,
-  /**
-   * SET %value %var `key`\
-   * %var\[CONSTANTS\[key]] = %value
-   */
-  Set = 68,
-  /**
-   * SET_DYN %value %var %key\
-   * %var\[%key] = %value
-   */
-  SetDyn = 69,
-  /**
-   * SET_INDEX %value %var `index`\
-   * %var\[index] = %value
-   */
-  SetIndex = 70,
-  /**
-   * SLICE %ret %var `start` `end`\
-   * %ret = %var\[start..end]
-   */
-  Slice = 71,
-  /**
-   * SLICE_START %ret %var `end`\
-   * %ret = %var\[..end]
-   */
-  SliceStart = 72,
-  /**
-   * SLICE_END %ret %var `start`\
-   * %ret = %var\[start..]
-   */
-  SliceEnd = 73,
-  /**
-   * SLICE_DYN %ret %var %start %end\
-   * %ret = %var\[%start..%end]
-   */
-  SliceDyn = 74,
-  /**
-   * SLICE_EXCLUSIVE_DYN %ret %var %start %end\
-   * %ret = %var\[%start..<%end]
-   */
-  SliceExclusiveDyn = 75,
-  /**
-   * LENGTH %ret %var\
-   * %ret = $Length(%var)
-   */
-  Length = 76,
-  /**
-   * LOOP `regn`\
-   * loop { let %1, .. ,%regn;
-   */
-  Loop = 77,
-  /**
-   * LOOP_FOR `regn` %iterable\
-   * for %1 in %iterable { let %2, .. ,%regn;
-   */
-  LoopFor = 78,
-  /**
-   * LOOP_RANGE `regn` %start %end\
-   * for %1 in %start..%end { let %2, .. ,%regn;
-   */
-  LoopRange = 79,
-  /**
-   * LOOP_RANGE_EXCLUSIVE `regn` %start %end\
-   * for %1 in %start..<%end { let %2, .. ,%regn;
-   */
-  LoopRangeExclusive = 80,
-  /**
-   * LOOP_END\
-   * }
-   */
-  LoopEnd = 81,
-  /**
-   * BREAK\
-   * break;
-   */
-  Break = 82,
-  /**
-   * CONTINUE\
-   * continue;
-   */
-  Continue = 83,
-  /**
-   * IF %cond\
-   * if (%cond) {
-   */
-  If = 84,
-  /**
-   * IF_NOT %cond\
-   * if (!%cond) {
-   */
-  IfNot = 85,
-  /**
-   * IF_INIT %var\
-   * if (initialized(%var)) {
-   */
-  IfInit = 86,
-  /**
-   * IF_NOT_INIT %var\
-   * if (!initialized(%var)) {
-   */
-  IfNotInit = 87,
-  /**
-   * IF_NIL %var\
-   * if (%var == nil) {
-   */
-  IfNil = 88,
-  /**
-   * IF_NOT_NIL %var\
-   * if (%var != nil) {
-   */
-  IfNotNil = 89,
-  /**
-   * ELSE\
-   * } else {
-   */
-  Else = 90,
-  /**
-   * EL_IF IF*\
-   * } else if *** {\
-   * This instruction must be followed by an `IF*` instruction\
-   */
-  ElIf = 91,
-  /**
-   * IF_END\
-   * }
-   */
-  IfEnd = 92,
-  /**
-   * FUNC %f `argn` `regn`\
-   * %f = (%1, %2, ... , %argn) => { let %argn+1, ... , %regn;
-   */
-  Func = 93,
-  /**
-   * FUNC_VARG %f `argn` `regn`\
-   * %f = (%1, %2, ... , %argn-1, ...%argn) => { let %argn+1, ... , %regn;
-   */
-  FuncVarg = 94,
-  /**
-   * FUNC_END\
-   * }
-   */
-  FuncEnd = 95,
-  /**
-   * RETURN %value\
-   * return %value;
-   */
-  Return = 96,
-  /**
-   * 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_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,
-}
-
 export function compile(script: string, config: Config): CompileResult;
 
 export function compile_buffer(script: Uint8Array, config: Config): CompileResult;
 
-export function constant_keywords(): string[];
-
-export function control_keywords(): string[];
-
-export function get_diagnostic_message(code: DiagnosticCode): string | undefined;
-
-export function keywords(): string[];
-
 export function main(): void;
 
-export function numeric_keywords(): string[];
-
-export function reserved_keywords(): string[];
-
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 
 export interface InitOutput {
@@ -768,18 +83,12 @@ export interface InitOutput {
   readonly compile_buffer: (a: number, b: number, c: number) => number;
   readonly compileresult_chunk: (a: number, b: number) => void;
   readonly compileresult_diagnostics: (a: number, b: number) => void;
-  readonly constant_keywords: (a: number) => void;
-  readonly control_keywords: (a: number) => void;
-  readonly get_diagnostic_message: (a: number, b: number) => void;
-  readonly keywords: (a: number) => void;
   readonly main: () => void;
   readonly monacocompiler_diagnostics: (a: number, b: number) => void;
   readonly monacocompiler_emit: (a: number, b: number) => void;
   readonly monacocompiler_format: (a: number, b: number) => void;
   readonly monacocompiler_new: (a: number, b: number, c: number) => number;
   readonly monacocompiler_parse: (a: number) => number;
-  readonly numeric_keywords: (a: number) => void;
-  readonly reserved_keywords: (a: number) => void;
   readonly __wbg_config_free: (a: number, b: number) => void;
   readonly __wbg_get_config_diagnostic_error: (a: number) => number;
   readonly __wbg_get_config_diagnostic_hint: (a: number) => number;