diff options
Diffstat (limited to 'node_modules/highlight.js/lib/languages/mercury.js')
| -rw-r--r-- | node_modules/highlight.js/lib/languages/mercury.js | 81 |
1 files changed, 0 insertions, 81 deletions
diff --git a/node_modules/highlight.js/lib/languages/mercury.js b/node_modules/highlight.js/lib/languages/mercury.js deleted file mode 100644 index 32568449d..000000000 --- a/node_modules/highlight.js/lib/languages/mercury.js +++ /dev/null @@ -1,81 +0,0 @@ -module.exports = function(hljs) { - var KEYWORDS = { - keyword: - 'module use_module import_module include_module end_module initialise ' + - 'mutable initialize finalize finalise interface implementation pred ' + - 'mode func type inst solver any_pred any_func is semidet det nondet ' + - 'multi erroneous failure cc_nondet cc_multi typeclass instance where ' + - 'pragma promise external trace atomic or_else require_complete_switch ' + - 'require_det require_semidet require_multi require_nondet ' + - 'require_cc_multi require_cc_nondet require_erroneous require_failure', - meta: - // pragma - 'inline no_inline type_spec source_file fact_table obsolete memo ' + - 'loop_check minimal_model terminates does_not_terminate ' + - 'check_termination promise_equivalent_clauses ' + - // preprocessor - 'foreign_proc foreign_decl foreign_code foreign_type ' + - 'foreign_import_module foreign_export_enum foreign_export ' + - 'foreign_enum may_call_mercury will_not_call_mercury thread_safe ' + - 'not_thread_safe maybe_thread_safe promise_pure promise_semipure ' + - 'tabled_for_io local untrailed trailed attach_to_io_state ' + - 'can_pass_as_mercury_type stable will_not_throw_exception ' + - 'may_modify_trail will_not_modify_trail may_duplicate ' + - 'may_not_duplicate affects_liveness does_not_affect_liveness ' + - 'doesnt_affect_liveness no_sharing unknown_sharing sharing', - built_in: - 'some all not if then else true fail false try catch catch_any ' + - 'semidet_true semidet_false semidet_fail impure_true impure semipure' - }; - - var COMMENT = hljs.COMMENT('%', '$'); - - var NUMCODE = { - className: 'number', - begin: "0'.\\|0[box][0-9a-fA-F]*" - }; - - var ATOM = hljs.inherit(hljs.APOS_STRING_MODE, {relevance: 0}); - var STRING = hljs.inherit(hljs.QUOTE_STRING_MODE, {relevance: 0}); - var STRING_FMT = { - className: 'subst', - begin: '\\\\[abfnrtv]\\|\\\\x[0-9a-fA-F]*\\\\\\|%[-+# *.0-9]*[dioxXucsfeEgGp]', - relevance: 0 - }; - STRING.contains.push(STRING_FMT); - - var IMPLICATION = { - className: 'built_in', - variants: [ - {begin: '<=>'}, - {begin: '<=', relevance: 0}, - {begin: '=>', relevance: 0}, - {begin: '/\\\\'}, - {begin: '\\\\/'} - ] - }; - - var HEAD_BODY_CONJUNCTION = { - className: 'built_in', - variants: [ - {begin: ':-\\|-->'}, - {begin: '=', relevance: 0} - ] - }; - - return { - aliases: ['m', 'moo'], - keywords: KEYWORDS, - contains: [ - IMPLICATION, - HEAD_BODY_CONJUNCTION, - COMMENT, - hljs.C_BLOCK_COMMENT_MODE, - NUMCODE, - hljs.NUMBER_MODE, - ATOM, - STRING, - {begin: /:-/} // relevance booster - ] - }; -};
\ No newline at end of file |