UNPKG

1.31 kBJavaScriptView Raw
1Prism.languages.magma = {
2 'output': {
3 pattern: /^(>.*(?:\r(?:\n|(?!\n))|\n))(?!>)(?:.+|(?:\r(?:\n|(?!\n))|\n)(?!>).*)(?:(?:\r(?:\n|(?!\n))|\n)(?!>).*)*/m,
4 lookbehind: true,
5 greedy: true
6 },
7
8 'comment': {
9 pattern: /\/\/.*|\/\*[\s\S]*?\*\//,
10 greedy: true
11 },
12 'string': {
13 pattern: /(^|[^\\"])"(?:[^\r\n\\"]|\\.)*"/,
14 lookbehind: true,
15 greedy: true
16 },
17
18 // http://magma.maths.usyd.edu.au/magma/handbook/text/82
19 'keyword': /\b(?:_|adj|and|assert|assert2|assert3|assigned|break|by|case|cat|catch|clear|cmpeq|cmpne|continue|declare|default|delete|diff|div|do|elif|else|end|eq|error|eval|exists|exit|for|forall|forward|fprintf|freeze|function|ge|gt|if|iload|import|in|intrinsic|is|join|le|load|local|lt|meet|mod|ne|not|notadj|notin|notsubset|or|print|printf|procedure|quit|random|read|readi|repeat|require|requirege|requirerange|restore|return|save|sdiff|select|subset|then|time|to|try|until|vprint|vprintf|vtime|when|where|while|xor)\b/,
20 'boolean': /\b(?:false|true)\b/,
21
22 'generator': {
23 pattern: /\b[a-z_]\w*(?=\s*<)/i,
24 alias: 'class-name'
25 },
26 'function': /\b[a-z_]\w*(?=\s*\()/i,
27
28 'number': {
29 pattern: /(^|[^\w.]|\.\.)(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?(?:_[a-z]?)?(?=$|[^\w.]|\.\.)/,
30 lookbehind: true
31 },
32
33 'operator': /->|[-+*/^~!|#=]|:=|\.\./,
34 'punctuation': /[()[\]{}<>,;.:]/
35};