/
keyword_feature.test
93 lines (89 loc) · 1.5 KB
/
keyword_feature.test
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
Type
case
class
codata
constructor
corecord
data
do
dsl
else
export
if
implementation
implicit
import
impossible
in
infix
infixl
infixr
instance
interface
let
module
mutual
namespace
of
parameters
partial
postulate
private
proof
public
quoteGoal
record
rewrite
syntax
then
total
using
where
with
----------------------------------------------------
[
["keyword", "Type"],
["keyword", "case"],
["keyword", "class"],
["keyword", "codata"],
["keyword", "constructor"],
["keyword", "corecord"],
["keyword", "data"],
["keyword", "do"],
["keyword", "dsl"],
["keyword", "else"],
["keyword", "export"],
["keyword", "if"],
["keyword", "implementation"],
["keyword", "implicit"],
["keyword", "import"],
["keyword", "impossible"],
["keyword", "in"],
["keyword", "infix"],
["keyword", "infixl"],
["keyword", "infixr"],
["keyword", "instance"],
["keyword", "interface"],
["keyword", "let"],
["keyword", "module"],
["keyword", "mutual"],
["keyword", "namespace"],
["keyword", "of"],
["keyword", "parameters"],
["keyword", "partial"],
["keyword", "postulate"],
["keyword", "private"],
["keyword", "proof"],
["keyword", "public"],
["keyword", "quoteGoal"],
["keyword", "record"],
["keyword", "rewrite"],
["keyword", "syntax"],
["keyword", "then"],
["keyword", "total"],
["keyword", "using"],
["keyword", "where"],
["keyword", "with"]
]
----------------------------------------------------
Checks for some keywords.