Brunobkr/llama.cpp_AlgMor24_github

1/*2Language: Nix3Author: Domen Kožar <domen@dev.si>4Description: Nix functional language5Website: http://nixos.org/nix6Category: system7*/8 9/** @type LanguageFn */10function nix(hljs) {11  const regex = hljs.regex;12  const KEYWORDS = {13    keyword: [14      "assert",15      "else",16      "if",17      "in",18      "inherit",19      "let",20      "or",21      "rec",22      "then",23      "with",24    ],25    literal: [26      "true",27      "false",28      "null",29    ],30    built_in: [31      // toplevel builtins32      "abort",33      "baseNameOf",34      "builtins",35      "derivation",36      "derivationStrict",37      "dirOf",38      "fetchGit",39      "fetchMercurial",40      "fetchTarball",41      "fetchTree",42      "fromTOML",43      "import",44      "isNull",45      "map",46      "placeholder",47      "removeAttrs",48      "scopedImport",49      "throw",50      "toString",51    ],52  };53 54  const BUILTINS = {55    scope: 'built_in',56    match: regex.either(...[57      "abort",58      "add",59      "addDrvOutputDependencies",60      "addErrorContext",61      "all",62      "any",63      "appendContext",64      "attrNames",65      "attrValues",66      "baseNameOf",67      "bitAnd",68      "bitOr",69      "bitXor",70      "break",71      "builtins",72      "catAttrs",73      "ceil",74      "compareVersions",75      "concatLists",76      "concatMap",77      "concatStringsSep",78      "convertHash",79      "currentSystem",80      "currentTime",81      "deepSeq",82      "derivation",83      "derivationStrict",84      "dirOf",85      "div",86      "elem",87      "elemAt",88      "false",89      "fetchGit",90      "fetchMercurial",91      "fetchTarball",92      "fetchTree",93      "fetchurl",94      "filter",95      "filterSource",96      "findFile",97      "flakeRefToString",98      "floor",99      "foldl'",100      "fromJSON",101      "fromTOML",102      "functionArgs",103      "genList",104      "genericClosure",105      "getAttr",106      "getContext",107      "getEnv",108      "getFlake",109      "groupBy",110      "hasAttr",111      "hasContext",112      "hashFile",113      "hashString",114      "head",115      "import",116      "intersectAttrs",117      "isAttrs",118      "isBool",119      "isFloat",120      "isFunction",121      "isInt",122      "isList",123      "isNull",124      "isPath",125      "isString",126      "langVersion",127      "length",128      "lessThan",129      "listToAttrs",130      "map",131      "mapAttrs",132      "match",133      "mul",134      "nixPath",135      "nixVersion",136      "null",137      "parseDrvName",138      "parseFlakeRef",139      "partition",140      "path",141      "pathExists",142      "placeholder",143      "readDir",144      "readFile",145      "readFileType",146      "removeAttrs",147      "replaceStrings",148      "scopedImport",149      "seq",150      "sort",151      "split",152      "splitVersion",153      "storeDir",154      "storePath",155      "stringLength",156      "sub",157      "substring",158      "tail",159      "throw",160      "toFile",161      "toJSON",162      "toPath",163      "toString",164      "toXML",165      "trace",166      "traceVerbose",167      "true",168      "tryEval",169      "typeOf",170      "unsafeDiscardOutputDependency",171      "unsafeDiscardStringContext",172      "unsafeGetAttrPos",173      "warn",174      "zipAttrsWith",175    ].map(b => `builtins\\.${b}`)),176    relevance: 10,177  };178 179  const IDENTIFIER_REGEX = '[A-Za-z_][A-Za-z0-9_\'-]*';180 181  const LOOKUP_PATH = {182    scope: 'symbol',183    match: new RegExp(`<${IDENTIFIER_REGEX}(/${IDENTIFIER_REGEX})*>`),184  };185 186  const PATH_PIECE = "[A-Za-z0-9_\\+\\.-]+";187  const PATH = {188    scope: 'symbol',189    match: new RegExp(`(\\.\\.|\\.|~)?/(${PATH_PIECE})?(/${PATH_PIECE})*(?=[\\s;])`),190  };191 192  const OPERATOR_WITHOUT_MINUS_REGEX = regex.either(...[193    '==',194    '=',195    '\\+\\+',196    '\\+',197    '<=',198    '<\\|',199    '<',200    '>=',201    '>',202    '->',203    '//',204    '/',205    '!=',206    '!',207    '\\|\\|',208    '\\|>',209    '\\?',210    '\\*',211    '&&',212  ]);213 214  const OPERATOR = {215    scope: 'operator',216    match: regex.concat(OPERATOR_WITHOUT_MINUS_REGEX, /(?!-)/),217    relevance: 0,218  };219 220  // '-' is being handled by itself to ensure we are able to tell the difference221  // between a dash in an identifier and a minus operator222  const NUMBER = {223    scope: 'number',224    match: new RegExp(`${hljs.NUMBER_RE}(?!-)`),225    relevance: 0,226  };227  const MINUS_OPERATOR = {228    variants: [229      {230        scope: 'operator',231        beforeMatch: /\s/,232        // The (?!>) is used to ensure this doesn't collide with the '->' operator233        begin: /-(?!>)/,234      },235      {236        begin: [237          new RegExp(`${hljs.NUMBER_RE}`),238          /-/,239          /(?!>)/,240        ],241        beginScope: {242          1: 'number',243          2: 'operator'244        },245      },246      {247        begin: [248          OPERATOR_WITHOUT_MINUS_REGEX,249          /-/,250          /(?!>)/,251        ],252        beginScope: {253          1: 'operator',254          2: 'operator'255        },256      },257    ],258    relevance: 0,259  };260 261  const ATTRS = {262    beforeMatch: /(^|\{|;)\s*/,263    begin: new RegExp(`${IDENTIFIER_REGEX}(\\.${IDENTIFIER_REGEX})*\\s*=(?!=)`),264    returnBegin: true,265    relevance: 0,266    contains: [267      {268        scope: 'attr',269        match: new RegExp(`${IDENTIFIER_REGEX}(\\.${IDENTIFIER_REGEX})*(?=\\s*=)`),270        relevance: 0.2,271      }272    ],273  };274 275  const NORMAL_ESCAPED_DOLLAR = {276    scope: 'char.escape',277    match: /\\\$/,278  };279  const INDENTED_ESCAPED_DOLLAR = {280    scope: 'char.escape',281    match: /''\$/,282  };283  const ANTIQUOTE = {284    scope: 'subst',285    begin: /\$\{/,286    end: /\}/,287    keywords: KEYWORDS,288  };289  const ESCAPED_DOUBLEQUOTE = {290    scope: 'char.escape',291    match: /'''/,292  };293  const ESCAPED_LITERAL = {294    scope: 'char.escape',295    match: /\\(?!\$)./,296  };297  const STRING = {298    scope: 'string',299    variants: [300      {301        begin: "''",302        end: "''",303        contains: [304          INDENTED_ESCAPED_DOLLAR,305          ANTIQUOTE,306          ESCAPED_DOUBLEQUOTE,307          ESCAPED_LITERAL,308        ],309      },310      {311        begin: '"',312        end: '"',313        contains: [314          NORMAL_ESCAPED_DOLLAR,315          ANTIQUOTE,316          ESCAPED_LITERAL,317        ],318      },319    ],320  };321 322  const FUNCTION_PARAMS = {323    scope: 'params',324    match: new RegExp(`${IDENTIFIER_REGEX}\\s*:(?=\\s)`),325  };326 327  const EXPRESSIONS = [328    NUMBER,329    hljs.HASH_COMMENT_MODE,330    hljs.C_BLOCK_COMMENT_MODE,331    hljs.COMMENT(332      /\/\*\*(?!\/)/,333      /\*\//,334      {335        subLanguage: 'markdown',336        relevance: 0337      }338    ),339    BUILTINS,340    STRING,341    LOOKUP_PATH,342    PATH,343    FUNCTION_PARAMS,344    ATTRS,345    MINUS_OPERATOR,346    OPERATOR,347  ];348 349  ANTIQUOTE.contains = EXPRESSIONS;350 351  const REPL = [352    {353      scope: 'meta.prompt',354      match: /^nix-repl>(?=\s)/,355      relevance: 10,356    },357    {358      scope: 'meta',359      beforeMatch: /\s+/,360      begin: /:([a-z]+|\?)/,361    },362  ];363 364  return {365    name: 'Nix',366    aliases: [ "nixos" ],367    keywords: KEYWORDS,368    contains: EXPRESSIONS.concat(REPL),369  };370}371 372export { nix as default };373