// https://smlfamily.github.io/sml97-defn.pdf // https://people.mpi-sws.org/~rossberg/sml.html (function (Prism) { var keywords = /\b(?:abstype|and|andalso|as|case|datatype|do|else|end|eqtype|exception|fn|fun|functor|handle|if|in|include|infix|infixr|let|local|nonfix|of|op|open|orelse|raise|rec|sharing|sig|signature|struct|structure|then|type|val|where|while|with|withtype)\b/i; Prism.languages.sml = { // allow one level of nesting comment: /\(\*(?:[^*(]|\*(?!\))|\((?!\*)|\(\*(?:[^*(]|\*(?!\))|\((?!\*))*\*\))*\*\)/, string: { pattern: /#?"(?:[^"\\]|\\.)*"/, greedy: true, }, 'class-name': [ { // This is only an approximation since the real grammar is context-free // // Why the main loop so complex? // The main loop is approximately the same as /(?:\s*(?:[*,]|->)\s*)*/ which is, obviously, a lot // simpler. The difference is that if a comma is the last iteration of the loop, then the terminal must be // followed by a long identifier. pattern: RegExp( /((?:^|[^:]):\s*)(?:\s*(?:(?:\*|->)\s*|,\s*(?:(?=)|(?!)\s+)))*/.source .replace(//g, function () { return /\s*(?:[*,]|->)/.source; }) .replace(//g, function () { return /(?:'[\w']*||\((?:[^()]|\([^()]*\))*\)|\{(?:[^{}]|\{[^{}]*\})*\})(?:\s+)*/ .source; }) .replace(//g, function () { return /(?!)[a-z\d_][\w'.]*/.source; }) .replace(//g, function () { return keywords.source; }), 'i' ), lookbehind: true, greedy: true, inside: null, // see below }, { pattern: /((?:^|[^\w'])(?:datatype|exception|functor|signature|structure|type)\s+)[a-z_][\w'.]*/i, lookbehind: true, }, ], function: { pattern: /((?:^|[^\w'])fun\s+)[a-z_][\w'.]*/i, lookbehind: true, }, keyword: keywords, variable: { pattern: /(^|[^\w'])'[\w']*/, lookbehind: true, }, number: /~?\b(?:\d+(?:\.\d+)?(?:e~?\d+)?|0x[\da-f]+)\b/i, word: { pattern: /\b0w(?:\d+|x[\da-f]+)\b/i, alias: 'constant', }, boolean: /\b(?:false|true)\b/i, operator: /\.\.\.|:[>=:]|=>?|->|[<>]=?|[!+\-*/^#|@~]/, punctuation: /[(){}\[\].:,;]/, }; Prism.languages.sml['class-name'][0].inside = Prism.languages.sml; Prism.languages.smlnj = Prism.languages.sml; })(Prism); ilippot.com/tree/?h=v1.1.0&id=ce21fc2eb82af99d3f49b99f2e585d5073ef6bb6'>root/public/prism/prism-qml.min.js
blob: 6b8d04e95fce541a0dc0892b03121b3849028a5a (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

!(function (e) {
  for (
    var r =
        '(?:[^\\\\()[\\]{}"\'/]|<string>|/(?![*/])|<comment>|\\(<expr>*\\)|\\[<expr>*\\]|\\{<expr>*\\}|\\\\[^])'
          .replace(/<string>/g, function () {
            return '"(?:\\\\.|[^\\\\"\r\n])*"|\'(?:\\\\.|[^\\\\\'\r\n])*\'';
          })
          .replace(/<comment>/g, function () {
            return '//.*(?!.)|/\\*(?:[^*]|\\*(?!/))*\\*/';
          }),
      t = 0;
    t < 2;
    t++
  )
    r = r.replace(/<expr>/g, function () {
      return r;
    });
  (r = r.replace(/<expr>/g, '[^\\s\\S]')),
    (e.languages.qml = {
      comment: { pattern: /\/\/.*|\/\*[\s\S]*?\*\//, greedy: !0 },
      'javascript-function': {
        pattern: RegExp(
          '((?:^|;)[ \t]*)function\\s+(?!\\s)[_$a-zA-Z\\xA0-\\uFFFF](?:(?!\\s)[$\\w\\xA0-\\uFFFF])*\\s*\\(<js>*\\)\\s*\\{<js>*\\}'.replace(
            /<js>/g,
            function () {
              return r;
            }
          ),
          'm'
        ),
        lookbehind: !0,
        greedy: !0,
        alias: 'language-javascript',
        inside: e.languages.javascript,
      },
      'class-name': {
        pattern: /((?:^|[:;])[ \t]*)(?!\d)\w+(?=[ \t]*\{|[ \t]+on\b)/m,
        lookbehind: !0,
      },
      property: [
        {
          pattern: /((?:^|[;{])[ \t]*)(?!\d)\w+(?:\.\w+)*(?=[ \t]*:)/m,
          lookbehind: !0,
        },
        {
          pattern:
            /((?:^|[;{])[ \t]*)property[ \t]+(?!\d)\w+(?:\.\w+)*[ \t]+(?!\d)\w+(?:\.\w+)*(?=[ \t]*:)/m,
          lookbehind: !0,
          inside: { keyword: /^property/, property: /\w+(?:\.\w+)*/ },
        },
      ],
      'javascript-expression': {
        pattern: RegExp(
          '(:[ \t]*)(?![\\s;}[])(?:(?!$|[;}])<js>)+'.replace(
            /<js>/g,
            function () {
              return r;
            }
          ),
          'm'
        ),
        lookbehind: !0,
        greedy: !0,
        alias: 'language-javascript',
        inside: e.languages.javascript,
      },
      string: { pattern: /"(?:\\.|[^\\"\r\n])*"/, greedy: !0 },
      keyword: /\b(?:as|import|on)\b/,
      punctuation: /[{}[\]:;,]/,
    });
})(Prism);