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
|
Description="Clean"
Categories = {"source"}
Keywords={
{ Id=1,
List={"default", "definition", "derive", "case", "class", "code", "export",
"from", "if", "implementation", "import", "in", "infix", "infixl", "infixr",
"instance", "let", "module", "of", "otherwise", "special", "system",
"where", "with"},
},
{ Id=2,
List={"Bool", "Char", "File", "Int", "Real", "World"},
},
{ Id=3,
List={"True", "False"},
},
}
Strings={
Delimiter=[["]],
}
IgnoreCase=false
Comments={
{ Block=false,
Delimiter= { [[//]] },
},
{ Block=true,
Nested=true,
Delimiter= { [[\/\*]],[[\*\/]],}
}
}
Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|<|>|\!|\=|\/|\*|\%|\+|\-|\.|\'|\#|\@|\$|\\]]
|
