CP-next/vscode/CP.tmLanguage.json at main · yzyzsun/CP-next · GitHub

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
{
  "name": "CP",
  "scopeName": "source.cp",
  "fileTypes": [
    "cp"
  ],
  "patterns": [
    {
      "name": "comment.line.double-dash.cp",
      "begin": "--",
      "end": "$"
    },
    {
      "name": "comment.block.cp",
      "begin": "{-",
      "end": "-}"
    },
    {
      "name": "constant.numeric.cp",
      "match": "\\b(\\d+(.\\d+)?([eE][+-]?\\d+)?|0[xX][\\da-fA-F]+|0[oO][0-7]+)\\b"
    },
    {
      "name": "constant.language.cp",
      "match": "\\b(true|false|undefined)\\b"
    },
    {
      "name": "keyword.cp",
      "match": "\\b(forall|type|interface|extends|trait|implements|inherits|new|fix|if|then|else|let|letrec|open|in|with|toString|fold|unfold|ref|switch|as|case)\\b"
    },
    {
      "name": "storage.type.cp",
      "match": "\\b(Int|Double|Bool|String|Top|Bot|Trait|Ref)\\b"
    },
    {
      "name": "storage.modifier.cp",
      "match": "\\b(override)\\b"
    },
    {
      "name": "string.quoted.double.cp",
      "match": "\"([^\\\\\"]|\\\\.)*\"?"
    },
    {
      "name": "string.interpolated.cp",
      "begin": "`",
      "end": "`"
    }
  ]
}