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","push","className","begin","aliases","keywords","keyword","meta","built_in","variants","C_BLOCK_COMMENT_MODE","NUMBER_MODE"],"mappings":"6EAAAA,EAAAC,QAAA,SAAAC,GACA,IA6BAC,EAAAD,EAAAC,QAAA,SAOAC,EAAAF,EAAAG,QAAAH,EAAAI,iBAAA,CAAkDC,UAAA,IAClDC,EAAAN,EAAAG,QAAAH,EAAAO,kBAAA,CAAqDF,UAAA,IAMrDC,EAAAE,SAAAC,KALA,CACAC,UAAA,QACAC,MAAA,wEACAN,UAAA,IAuBA,OACAO,QAAA,YACAC,SAlEA,CACAC,QACA,odAOAC,KAEA,grBAaAC,SACA,qIA0CAR,SAAA,CAtBA,CACAE,UAAA,WACAO,SAAA,CACA,CAAON,MAAA,OACP,CAAOA,MAAA,KAAAN,UAAA,GACP,CAAOM,MAAA,KAAAN,UAAA,GACP,CAAOM,MAAA,SACP,CAAOA,MAAA,WAIP,CACAD,UAAA,WACAO,SAAA,CACA,CAAON,MAAA,eACP,CAAOA,MAAA,IAAAN,UAAA,KAUPJ,EACAD,EAAAkB,qBAxCA,CACAR,UAAA,SACAC,MAAA,4BAwCAX,EAAAmB,YACAjB,EACAI,EACA,CAAOK,MAAA","file":"highlight/mercury.js?v=d0f19eb57ba3eee54688","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.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 ]\n };\n};"],"sourceRoot":""}
|