Brunobkr/llama.cpp_AlgMor24_github

1/*2Language: Mercury3Author: mucaho <mkucko@gmail.com>4Description: Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.5Website: https://www.mercurylang.org6Category: functional7*/8 9function mercury(hljs) {10  const KEYWORDS = {11    keyword:12      'module use_module import_module include_module end_module initialise '13      + 'mutable initialize finalize finalise interface implementation pred '14      + 'mode func type inst solver any_pred any_func is semidet det nondet '15      + 'multi erroneous failure cc_nondet cc_multi typeclass instance where '16      + 'pragma promise external trace atomic or_else require_complete_switch '17      + 'require_det require_semidet require_multi require_nondet '18      + 'require_cc_multi require_cc_nondet require_erroneous require_failure',19    meta:20      // pragma21      'inline no_inline type_spec source_file fact_table obsolete memo '22      + 'loop_check minimal_model terminates does_not_terminate '23      + 'check_termination promise_equivalent_clauses '24      // preprocessor25      + 'foreign_proc foreign_decl foreign_code foreign_type '26      + 'foreign_import_module foreign_export_enum foreign_export '27      + 'foreign_enum may_call_mercury will_not_call_mercury thread_safe '28      + 'not_thread_safe maybe_thread_safe promise_pure promise_semipure '29      + 'tabled_for_io local untrailed trailed attach_to_io_state '30      + 'can_pass_as_mercury_type stable will_not_throw_exception '31      + 'may_modify_trail will_not_modify_trail may_duplicate '32      + 'may_not_duplicate affects_liveness does_not_affect_liveness '33      + 'doesnt_affect_liveness no_sharing unknown_sharing sharing',34    built_in:35      'some all not if then else true fail false try catch catch_any '36      + 'semidet_true semidet_false semidet_fail impure_true impure semipure'37  };38 39  const COMMENT = hljs.COMMENT('%', '$');40 41  const NUMCODE = {42    className: 'number',43    begin: "0'.\\|0[box][0-9a-fA-F]*"44  };45 46  const ATOM = hljs.inherit(hljs.APOS_STRING_MODE, { relevance: 0 });47  const STRING = hljs.inherit(hljs.QUOTE_STRING_MODE, { relevance: 0 });48  const STRING_FMT = {49    className: 'subst',50    begin: '\\\\[abfnrtv]\\|\\\\x[0-9a-fA-F]*\\\\\\|%[-+# *.0-9]*[dioxXucsfeEgGp]',51    relevance: 052  };53  STRING.contains = STRING.contains.slice(); // we need our own copy of contains54  STRING.contains.push(STRING_FMT);55 56  const IMPLICATION = {57    className: 'built_in',58    variants: [59      { begin: '<=>' },60      {61        begin: '<=',62        relevance: 063      },64      {65        begin: '=>',66        relevance: 067      },68      { begin: '/\\\\' },69      { begin: '\\\\/' }70    ]71  };72 73  const HEAD_BODY_CONJUNCTION = {74    className: 'built_in',75    variants: [76      { begin: ':-\\|-->' },77      {78        begin: '=',79        relevance: 080      }81    ]82  };83 84  return {85    name: 'Mercury',86    aliases: [87      'm',88      'moo'89    ],90    keywords: KEYWORDS,91    contains: [92      IMPLICATION,93      HEAD_BODY_CONJUNCTION,94      COMMENT,95      hljs.C_BLOCK_COMMENT_MODE,96      NUMCODE,97      hljs.NUMBER_MODE,98      ATOM,99      STRING,100      { // relevance booster101        begin: /:-/ },102      { // relevance booster103        begin: /\.$/ }104    ]105  };106}107 108export { mercury as default };109