2022-06-03 19:30:11 +02:00
|
|
|
\********************************************************************************/(__unused_webpack_module,__webpack_exports__,__webpack_require__)=>{eval('__webpack_require__.r(__webpack_exports__);\n/* harmony export */ __webpack_require__.d(__webpack_exports__, {\n/* harmony export */ "conf": () => (/* binding */ conf),\n/* harmony export */ "language": () => (/* binding */ language)\n/* harmony export */ });\n/*!-----------------------------------------------------------------------------\n * Copyright (c) Microsoft Corporation. All rights reserved.\n * Version: 0.33.0(4b1abad427e58dbedc1215d99a0902ffc885fcd4)\n * Released under the MIT license\n * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt\n *-----------------------------------------------------------------------------*/\n\n// src/basic-languages/postiats/postiats.ts\nvar conf = {\n comments: {\n lineComment: "//",\n blockComment: ["(*", "*)"]\n },\n brackets: [\n ["{", "}"],\n ["[", "]"],\n ["(", ")"],\n ["<", ">"]\n ],\n autoClosingPairs: [\n { open: \'"\', close: \'"\', notIn: ["string", "comment"] },\n { open: "{", close: "}", notIn: ["string", "comment"] },\n { open: "[", close: "]", notIn: ["string", "comment"] },\n { open: "(", close: ")", notIn: ["string", "comment"] }\n ]\n};\nvar language = {\n tokenPostfix: ".pats",\n defaultToken: "invalid",\n keywords: [\n "abstype",\n "abst0ype",\n "absprop",\n "absview",\n "absvtype",\n "absviewtype",\n "absvt0ype",\n "absviewt0ype",\n "as",\n "and",\n "assume",\n "begin",\n "classdec",\n "datasort",\n "datatype",\n "dataprop",\n "dataview",\n "datavtype",\n "dataviewtype",\n "do",\n "end",\n "extern",\n "extype",\n "extvar",\n "exception",\n "fn",\n "fnx",\n "fun",\n "prfn",\n "prfun",\n "praxi",\n "castfn",\n "if",\n "then",\n "else",\n "ifcase",\n "in",\n "infix",\n "infixl",\n "infixr",\n "prefix",\n "postfix",\n "implmnt",\n "implement",\n "primplmnt",\n "primplement",\n "import",\n "let",\n "local",\n "macdef",\n "macrodef",\n "nonfix",\n "symelim",\n "symintr",\n "overload",\n "of",\n "op",\n "rec",\n "sif",\n "scase",\n "sortdef",\n "sta",\n "stacst",\n "stadef",\n "static",\n "staload",\n "dynload",\n "try",\n "tkindef",\n "typedef",\n "propdef",\n "viewdef",\n "vtypedef",\n "viewtypedef",\n "prval",\n "var",\n "prvar",\n "when",\n "where",\n "with",\n "withtype",\n "withprop",\n "withview",\n "withvtype",\n "withviewtype"\n ],\n keywords_dlr: [\n "$delay",\n "$ldelay",\n "$arrpsz",\n "$arrptrsize",\n "$d2ctype",\n "$effmask",\n "$effmask_ntm",\n "$effmask_exn",\n "$effmask_ref",\n "$effmask_wrt",\n "$effmask_all",\n "$extern",\n "$extkind",\n "$extype",\n "$extype_struct",\n "$extval",\n "$extfcall",\n "$extmcall",\n "$literal",\n "$myfilename",\n "$mylocation",\n "$myfunction",\n "$lst",\n "$lst_t",\n "$lst_vt",\n "$list",\n "$list_t",\n "$list_vt",\n "$rec",\n "$rec_t",\n "$rec_vt",\n "$record",\n "$record_t",\n "$record_vt",\n "$tup",\n "$tup_t",\n "$tup_vt",\n "$tuple",\n "$tuple_t",\n "$tuple_vt",\n "$break",\n "$continue",\n "$raise",\n "$showtype",\n "$vcopyenv_v",\n "$vcopyenv_vt",\n "$tempenver",\n "$solver_assert",\n "$solver_verify"\n ],\n keywords_srp: [\n "#if",\n "#ifdef",\n "#ifndef",\n "#then",\n "#elif",\n "#elifdef",\n "#elifndef",\n "#else",\n "#endif",\n "#error",\n "#prerr",\n "#print",\n "#assert",\n "#undef",\n "#define",\n "#include",\n "#require",\n "#pragma",\n "#codegen2",\n "#codegen3"\n ],\n irregular_keyword_list: [\n "val+",\n "val-",\n "val",\n "case+",\n "case-",\n "case",\n "addr@",\n "addr",\n "fold@",\n "free@",\n
|
