1
|
{"version":3,"sources":["webpack:///./node_modules/highlight.js/lib/languages/mercury.js"],"names":["module","exports","hljs","COMMENT","ATOM","inherit","APOS_STRING_MODE","relevance","STRING","QUOTE_STRING_MODE","contains","slice","push","className","begin","aliases","keywords","keyword","meta","built_in","variants","C_BLOCK_COMMENT_MODE","NUMBER_MODE"],"mappings":"qFAAAA,EAAOC,QAAU,SAASC,GACxB,IA6BIC,EAAUD,EAAKC,QAAQ,IAAK,KAO5BC,EAAOF,EAAKG,QAAQH,EAAKI,iBAAkB,CAACC,UAAW,IACvDC,EAASN,EAAKG,QAAQH,EAAKO,kBAAmB,CAACF,UAAW,IAM9DC,EAAOE,SAAWF,EAAOE,SAASC,QAClCH,EAAOE,SAASE,KANC,CACfC,UAAW,QACXC,MAAO,wEACPP,UAAW,IAwBb,MAAO,CACLQ,QAAS,CAAC,IAAK,OACfC,SAnEa,CACbC,QACE,odAOFC,KAEE,grBAaFC,SACE,qIA2CFT,SAAU,CAtBM,CAChBG,UAAW,WACXO,SAAU,CACR,CAACN,MAAO,OACR,CAACA,MAAO,KAAMP,UAAW,GACzB,CAACO,MAAO,KAAMP,UAAW,GACzB,CAACO,MAAO,SACR,CAACA,MAAO,WAIgB,CAC1BD,UAAW,WACXO,SAAU,CACR,CAACN,MAAO,eACR,CAACA,MAAO,IAAKP,UAAW,KAUxBJ,EACAD,EAAKmB,qBAzCK,CACZR,UAAW,SACXC,MAAO,4BAyCLZ,EAAKoB,YACLlB,EACAI,EACA,CAACM,MAAO,MACR,CAACA,MAAO","file":"highlight/mercury.js?v=1ec7319750951607aeac","sourcesContent":["module.exports = function(hljs) {\n var KEYWORDS = {\n keyword:\n 'module use_module import_module include_module end_module initialise ' +\n 'mutable initialize finalize finalise interface implementation pred ' +\n 'mode func type inst solver any_pred any_func is semidet det nondet ' +\n 'multi erroneous failure cc_nondet cc_multi typeclass instance where ' +\n 'pragma promise external trace atomic or_else require_complete_switch ' +\n 'require_det require_semidet require_multi require_nondet ' +\n 'require_cc_multi require_cc_nondet require_erroneous require_failure',\n meta:\n // pragma\n 'inline no_inline type_spec source_file fact_table obsolete memo ' +\n 'loop_check minimal_model terminates does_not_terminate ' +\n 'check_termination promise_equivalent_clauses ' +\n // preprocessor\n 'foreign_proc foreign_decl foreign_code foreign_type ' +\n 'foreign_import_module foreign_export_enum foreign_export ' +\n 'foreign_enum may_call_mercury will_not_call_mercury thread_safe ' +\n 'not_thread_safe maybe_thread_safe promise_pure promise_semipure ' +\n 'tabled_for_io local untrailed trailed attach_to_io_state ' +\n 'can_pass_as_mercury_type stable will_not_throw_exception ' +\n 'may_modify_trail will_not_modify_trail may_duplicate ' +\n 'may_not_duplicate affects_liveness does_not_affect_liveness ' +\n 'doesnt_affect_liveness no_sharing unknown_sharing sharing',\n built_in:\n 'some all not if then else true fail false try catch catch_any ' +\n 'semidet_true semidet_false semidet_fail impure_true impure semipure'\n };\n\n var COMMENT = hljs.COMMENT('%', '$');\n\n var NUMCODE = {\n className: 'number',\n begin: \"0'.\\\\|0[box][0-9a-fA-F]*\"\n };\n\n var ATOM = hljs.inherit(hljs.APOS_STRING_MODE, {relevance: 0});\n var STRING = hljs.inherit(hljs.QUOTE_STRING_MODE, {relevance: 0});\n var STRING_FMT = {\n className: 'subst',\n begin: '\\\\\\\\[abfnrtv]\\\\|\\\\\\\\x[0-9a-fA-F]*\\\\\\\\\\\\|%[-+# *.0-9]*[dioxXucsfeEgGp]',\n relevance: 0\n };\n STRING.contains = STRING.contains.slice() // we need our own copy of contains\n STRING.contains.push(STRING_FMT);\n\n var IMPLICATION = {\n className: 'built_in',\n variants: [\n {begin: '<=>'},\n {begin: '<=', relevance: 0},\n {begin: '=>', relevance: 0},\n {begin: '/\\\\\\\\'},\n {begin: '\\\\\\\\/'}\n ]\n };\n\n var HEAD_BODY_CONJUNCTION = {\n className: 'built_in',\n variants: [\n {begin: ':-\\\\|-->'},\n {begin: '=', relevance: 0}\n ]\n };\n\n return {\n aliases: ['m', 'moo'],\n keywords: KEYWORDS,\n contains: [\n IMPLICATION,\n HEAD_BODY_CONJUNCTION,\n COMMENT,\n hljs.C_BLOCK_COMMENT_MODE,\n NUMCODE,\n hljs.NUMBER_MODE,\n ATOM,\n STRING,\n {begin: /:-/}, // relevance booster\n {begin: /\\.$/} // relevance booster\n ]\n };\n};"],"sourceRoot":""}
|
