act-plus 1.1.18 → 1.1.19

package/lib/postiats-7b52ebac.js

@@ -0,0 +1,544 @@
+/*!-----------------------------------------------------------------------------
+ * Copyright (c) Microsoft Corporation. All rights reserved.
+ * Version: 0.34.1(547870b6881302c5b4ff32173c16d06009e3588f)
+ * Released under the MIT license
+ * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
+ *-----------------------------------------------------------------------------*/
+var e = {
+  comments: {
+    lineComment: "//",
+    blockComment: ["(*", "*)"]
+  },
+  brackets: [
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"],
+    ["<", ">"]
+  ],
+  autoClosingPairs: [
+    { open: '"', close: '"', notIn: ["string", "comment"] },
+    { open: "{", close: "}", notIn: ["string", "comment"] },
+    { open: "[", close: "]", notIn: ["string", "comment"] },
+    { open: "(", close: ")", notIn: ["string", "comment"] }
+  ]
+}, t = {
+  tokenPostfix: ".pats",
+  defaultToken: "invalid",
+  keywords: [
+    "abstype",
+    "abst0ype",
+    "absprop",
+    "absview",
+    "absvtype",
+    "absviewtype",
+    "absvt0ype",
+    "absviewt0ype",
+    "as",
+    "and",
+    "assume",
+    "begin",
+    "classdec",
+    "datasort",
+    "datatype",
+    "dataprop",
+    "dataview",
+    "datavtype",
+    "dataviewtype",
+    "do",
+    "end",
+    "extern",
+    "extype",
+    "extvar",
+    "exception",
+    "fn",
+    "fnx",
+    "fun",
+    "prfn",
+    "prfun",
+    "praxi",
+    "castfn",
+    "if",
+    "then",
+    "else",
+    "ifcase",
+    "in",
+    "infix",
+    "infixl",
+    "infixr",
+    "prefix",
+    "postfix",
+    "implmnt",
+    "implement",
+    "primplmnt",
+    "primplement",
+    "import",
+    "let",
+    "local",
+    "macdef",
+    "macrodef",
+    "nonfix",
+    "symelim",
+    "symintr",
+    "overload",
+    "of",
+    "op",
+    "rec",
+    "sif",
+    "scase",
+    "sortdef",
+    "sta",
+    "stacst",
+    "stadef",
+    "static",
+    "staload",
+    "dynload",
+    "try",
+    "tkindef",
+    "typedef",
+    "propdef",
+    "viewdef",
+    "vtypedef",
+    "viewtypedef",
+    "prval",
+    "var",
+    "prvar",
+    "when",
+    "where",
+    "with",
+    "withtype",
+    "withprop",
+    "withview",
+    "withvtype",
+    "withviewtype"
+  ],
+  keywords_dlr: [
+    "$delay",
+    "$ldelay",
+    "$arrpsz",
+    "$arrptrsize",
+    "$d2ctype",
+    "$effmask",
+    "$effmask_ntm",
+    "$effmask_exn",
+    "$effmask_ref",
+    "$effmask_wrt",
+    "$effmask_all",
+    "$extern",
+    "$extkind",
+    "$extype",
+    "$extype_struct",
+    "$extval",
+    "$extfcall",
+    "$extmcall",
+    "$literal",
+    "$myfilename",
+    "$mylocation",
+    "$myfunction",
+    "$lst",
+    "$lst_t",
+    "$lst_vt",
+    "$list",
+    "$list_t",
+    "$list_vt",
+    "$rec",
+    "$rec_t",
+    "$rec_vt",
+    "$record",
+    "$record_t",
+    "$record_vt",
+    "$tup",
+    "$tup_t",
+    "$tup_vt",
+    "$tuple",
+    "$tuple_t",
+    "$tuple_vt",
+    "$break",
+    "$continue",
+    "$raise",
+    "$showtype",
+    "$vcopyenv_v",
+    "$vcopyenv_vt",
+    "$tempenver",
+    "$solver_assert",
+    "$solver_verify"
+  ],
+  keywords_srp: [
+    "#if",
+    "#ifdef",
+    "#ifndef",
+    "#then",
+    "#elif",
+    "#elifdef",
+    "#elifndef",
+    "#else",
+    "#endif",
+    "#error",
+    "#prerr",
+    "#print",
+    "#assert",
+    "#undef",
+    "#define",
+    "#include",
+    "#require",
+    "#pragma",
+    "#codegen2",
+    "#codegen3"
+  ],
+  irregular_keyword_list: [
+    "val+",
+    "val-",
+    "val",
+    "case+",
+    "case-",
+    "case",
+    "addr@",
+    "addr",
+    "fold@",
+    "free@",
+    "fix@",
+    "fix",
+    "lam@",
+    "lam",
+    "llam@",
+    "llam",
+    "viewt@ype+",
+    "viewt@ype-",
+    "viewt@ype",
+    "viewtype+",
+    "viewtype-",
+    "viewtype",
+    "view+",
+    "view-",
+    "view@",
+    "view",
+    "type+",
+    "type-",
+    "type",
+    "vtype+",
+    "vtype-",
+    "vtype",
+    "vt@ype+",
+    "vt@ype-",
+    "vt@ype",
+    "viewt@ype+",
+    "viewt@ype-",
+    "viewt@ype",
+    "viewtype+",
+    "viewtype-",
+    "viewtype",
+    "prop+",
+    "prop-",
+    "prop",
+    "type+",
+    "type-",
+    "type",
+    "t@ype",
+    "t@ype+",
+    "t@ype-",
+    "abst@ype",
+    "abstype",
+    "absviewt@ype",
+    "absvt@ype",
+    "for*",
+    "for",
+    "while*",
+    "while"
+  ],
+  keywords_types: [
+    "bool",
+    "double",
+    "byte",
+    "int",
+    "short",
+    "char",
+    "void",
+    "unit",
+    "long",
+    "float",
+    "string",
+    "strptr"
+  ],
+  keywords_effects: [
+    "0",
+    "fun",
+    "clo",
+    "prf",
+    "funclo",
+    "cloptr",
+    "cloref",
+    "ref",
+    "ntm",
+    "1"
+  ],
+  operators: [
+    "@",
+    "!",
+    "|",
+    "`",
+    ":",
+    "$",
+    ".",
+    "=",
+    "#",
+    "~",
+    "..",
+    "...",
+    "=>",
+    "=<>",
+    "=/=>",
+    "=>>",
+    "=/=>>",
+    "<",
+    ">",
+    "><",
+    ".<",
+    ">.",
+    ".<>.",
+    "->",
+    "-<>"
+  ],
+  brackets: [
+    { open: ",(", close: ")", token: "delimiter.parenthesis" },
+    { open: "`(", close: ")", token: "delimiter.parenthesis" },
+    { open: "%(", close: ")", token: "delimiter.parenthesis" },
+    { open: "'(", close: ")", token: "delimiter.parenthesis" },
+    { open: "'{", close: "}", token: "delimiter.parenthesis" },
+    { open: "@(", close: ")", token: "delimiter.parenthesis" },
+    { open: "@{", close: "}", token: "delimiter.brace" },
+    { open: "@[", close: "]", token: "delimiter.square" },
+    { open: "#[", close: "]", token: "delimiter.square" },
+    { open: "{", close: "}", token: "delimiter.curly" },
+    { open: "[", close: "]", token: "delimiter.square" },
+    { open: "(", close: ")", token: "delimiter.parenthesis" },
+    { open: "<", close: ">", token: "delimiter.angle" }
+  ],
+  symbols: /[=><!~?:&|+\-*\/\^%]+/,
+  IDENTFST: /[a-zA-Z_]/,
+  IDENTRST: /[a-zA-Z0-9_'$]/,
+  symbolic: /[%&+-./:=@~`^|*!$#?<>]/,
+  digit: /[0-9]/,
+  digitseq0: /@digit*/,
+  xdigit: /[0-9A-Za-z]/,
+  xdigitseq0: /@xdigit*/,
+  INTSP: /[lLuU]/,
+  FLOATSP: /[fFlL]/,
+  fexponent: /[eE][+-]?[0-9]+/,
+  fexponent_bin: /[pP][+-]?[0-9]+/,
+  deciexp: /\.[0-9]*@fexponent?/,
+  hexiexp: /\.[0-9a-zA-Z]*@fexponent_bin?/,
+  irregular_keywords: /val[+-]?|case[+-]?|addr\@?|fold\@|free\@|fix\@?|lam\@?|llam\@?|prop[+-]?|type[+-]?|view[+-@]?|viewt@?ype[+-]?|t@?ype[+-]?|v(iew)?t@?ype[+-]?|abst@?ype|absv(iew)?t@?ype|for\*?|while\*?/,
+  ESCHAR: /[ntvbrfa\\\?'"\(\[\{]/,
+  start: "root",
+  tokenizer: {
+    root: [
+      { regex: /[ \t\r\n]+/, action: { token: "" } },
+      { regex: /\(\*\)/, action: { token: "invalid" } },
+      {
+        regex: /\(\*/,
+        action: { token: "comment", next: "lexing_COMMENT_block_ml" }
+      },
+      {
+        regex: /\(/,
+        action: "@brackets"
+      },
+      {
+        regex: /\)/,
+        action: "@brackets"
+      },
+      {
+        regex: /\[/,
+        action: "@brackets"
+      },
+      {
+        regex: /\]/,
+        action: "@brackets"
+      },
+      {
+        regex: /\{/,
+        action: "@brackets"
+      },
+      {
+        regex: /\}/,
+        action: "@brackets"
+      },
+      {
+        regex: /,\(/,
+        action: "@brackets"
+      },
+      { regex: /,/, action: { token: "delimiter.comma" } },
+      { regex: /;/, action: { token: "delimiter.semicolon" } },
+      {
+        regex: /@\(/,
+        action: "@brackets"
+      },
+      {
+        regex: /@\[/,
+        action: "@brackets"
+      },
+      {
+        regex: /@\{/,
+        action: "@brackets"
+      },
+      {
+        regex: /:</,
+        action: { token: "keyword", next: "@lexing_EFFECT_commaseq0" }
+      },
+      { regex: /\.@symbolic+/, action: { token: "identifier.sym" } },
+      {
+        regex: /\.@digit*@fexponent@FLOATSP*/,
+        action: { token: "number.float" }
+      },
+      { regex: /\.@digit+/, action: { token: "number.float" } },
+      {
+        regex: /\$@IDENTFST@IDENTRST*/,
+        action: {
+          cases: {
+            "@keywords_dlr": { token: "keyword.dlr" },
+            "@default": { token: "namespace" }
+          }
+        }
+      },
+      {
+        regex: /\#@IDENTFST@IDENTRST*/,
+        action: {
+          cases: {
+            "@keywords_srp": { token: "keyword.srp" },
+            "@default": { token: "identifier" }
+          }
+        }
+      },
+      { regex: /%\(/, action: { token: "delimiter.parenthesis" } },
+      {
+        regex: /^%{(#|\^|\$)?/,
+        action: {
+          token: "keyword",
+          next: "@lexing_EXTCODE",
+          nextEmbedded: "text/javascript"
+        }
+      },
+      { regex: /^%}/, action: { token: "keyword" } },
+      { regex: /'\(/, action: { token: "delimiter.parenthesis" } },
+      { regex: /'\[/, action: { token: "delimiter.bracket" } },
+      { regex: /'\{/, action: { token: "delimiter.brace" } },
+      [/(')(\\@ESCHAR|\\[xX]@xdigit+|\\@digit+)(')/, ["string", "string.escape", "string"]],
+      [/'[^\\']'/, "string"],
+      [/"/, "string.quote", "@lexing_DQUOTE"],
+      {
+        regex: /`\(/,
+        action: "@brackets"
+      },
+      { regex: /\\/, action: { token: "punctuation" } },
+      {
+        regex: /@irregular_keywords(?!@IDENTRST)/,
+        action: { token: "keyword" }
+      },
+      {
+        regex: /@IDENTFST@IDENTRST*[<!\[]?/,
+        action: {
+          cases: {
+            "@keywords": { token: "keyword" },
+            "@keywords_types": { token: "type" },
+            "@default": { token: "identifier" }
+          }
+        }
+      },
+      {
+        regex: /\/\/\/\//,
+        action: { token: "comment", next: "@lexing_COMMENT_rest" }
+      },
+      { regex: /\/\/.*$/, action: { token: "comment" } },
+      {
+        regex: /\/\*/,
+        action: { token: "comment", next: "@lexing_COMMENT_block_c" }
+      },
+      {
+        regex: /-<|=</,
+        action: { token: "keyword", next: "@lexing_EFFECT_commaseq0" }
+      },
+      {
+        regex: /@symbolic+/,
+        action: {
+          cases: {
+            "@operators": "keyword",
+            "@default": "operator"
+          }
+        }
+      },
+      {
+        regex: /0[xX]@xdigit+(@hexiexp|@fexponent_bin)@FLOATSP*/,
+        action: { token: "number.float" }
+      },
+      { regex: /0[xX]@xdigit+@INTSP*/, action: { token: "number.hex" } },
+      {
+        regex: /0[0-7]+(?![0-9])@INTSP*/,
+        action: { token: "number.octal" }
+      },
+      {
+        regex: /@digit+(@fexponent|@deciexp)@FLOATSP*/,
+        action: { token: "number.float" }
+      },
+      {
+        regex: /@digit@digitseq0@INTSP*/,
+        action: { token: "number.decimal" }
+      },
+      { regex: /@digit+@INTSP*/, action: { token: "number" } }
+    ],
+    lexing_COMMENT_block_ml: [
+      [/[^\(\*]+/, "comment"],
+      [/\(\*/, "comment", "@push"],
+      [/\(\*/, "comment.invalid"],
+      [/\*\)/, "comment", "@pop"],
+      [/\*/, "comment"]
+    ],
+    lexing_COMMENT_block_c: [
+      [/[^\/*]+/, "comment"],
+      [/\*\//, "comment", "@pop"],
+      [/[\/*]/, "comment"]
+    ],
+    lexing_COMMENT_rest: [
+      [/$/, "comment", "@pop"],
+      [/.*/, "comment"]
+    ],
+    lexing_EFFECT_commaseq0: [
+      {
+        regex: /@IDENTFST@IDENTRST+|@digit+/,
+        action: {
+          cases: {
+            "@keywords_effects": { token: "type.effect" },
+            "@default": { token: "identifier" }
+          }
+        }
+      },
+      { regex: /,/, action: { token: "punctuation" } },
+      { regex: />/, action: { token: "@rematch", next: "@pop" } }
+    ],
+    lexing_EXTCODE: [
+      {
+        regex: /^%}/,
+        action: {
+          token: "@rematch",
+          next: "@pop",
+          nextEmbedded: "@pop"
+        }
+      },
+      { regex: /[^%]+/, action: "" }
+    ],
+    lexing_DQUOTE: [
+      { regex: /"/, action: { token: "string.quote", next: "@pop" } },
+      {
+        regex: /(\{\$)(@IDENTFST@IDENTRST*)(\})/,
+        action: [{ token: "string.escape" }, { token: "identifier" }, { token: "string.escape" }]
+      },
+      { regex: /\\$/, action: { token: "string.escape" } },
+      {
+        regex: /\\(@ESCHAR|[xX]@xdigit+|@digit+)/,
+        action: { token: "string.escape" }
+      },
+      { regex: /[^\\"]+/, action: { token: "string" } }
+    ]
+  }
+};
+export {
+  e as conf,
+  t as language
+};