blob: 75291a348574b9f9f805eeeaef8842088209a57c (
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
|
---input---
constraint foo, bar {
:name "myrule"
rule (odd X) \ (even X) | true <=> fail.
}
rule. % not a kwd
---tokens---
'constraint' Keyword.Declaration
' ' Text.Whitespace
'foo, bar ' Name.Function
'{' Text
'\n\n ' Text.Whitespace
':name' Keyword.Mode
' ' Text.Whitespace
'"' Literal.String.Double
'myrule' Literal.String.Double
'"' Literal.String.Double
'\n ' Text.Whitespace
'rule' Keyword.Declaration
' ' Text.Whitespace
'(' Text
'odd' Text
' ' Text.Whitespace
'X' Name.Variable
')' Operator
' ' Text.Whitespace
'\\' Keyword.Declaration
' ' Text.Whitespace
'(' Text
'even' Text
' ' Text.Whitespace
'X' Name.Variable
')' Operator
' ' Text.Whitespace
'|' Keyword.Declaration
' ' Text.Whitespace
'true' Text
' ' Text.Whitespace
'<=>' Keyword.Declaration
' ' Text.Whitespace
'fail' Text
'.' Operator
'\n\n' Text.Whitespace
'}' Text
'\n' Text.Whitespace
'rule' Text
'.' Operator
' ' Text.Whitespace
'% not a kwd\n' Comment
|
