|
66
|
1 <lexer>
|
|
|
2 <config>
|
|
|
3 <name>Idris</name>
|
|
|
4 <alias>idris</alias>
|
|
|
5 <alias>idr</alias>
|
|
|
6 <filename>*.idr</filename>
|
|
|
7 <mime_type>text/x-idris</mime_type>
|
|
|
8 </config>
|
|
|
9 <rules>
|
|
|
10 <state name="escape">
|
|
|
11 <rule pattern="[abfnrtv"\'&\\]">
|
|
|
12 <token type="LiteralStringEscape"/>
|
|
|
13 <pop depth="1"/>
|
|
|
14 </rule>
|
|
|
15 <rule pattern="\^[][A-Z@^_]">
|
|
|
16 <token type="LiteralStringEscape"/>
|
|
|
17 <pop depth="1"/>
|
|
|
18 </rule>
|
|
|
19 <rule pattern="NUL|SOH|[SE]TX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|S[OI]|DLE|DC[1-4]|NAK|SYN|ETB|CAN|EM|SUB|ESC|[FGRU]S|SP|DEL">
|
|
|
20 <token type="LiteralStringEscape"/>
|
|
|
21 <pop depth="1"/>
|
|
|
22 </rule>
|
|
|
23 <rule pattern="o[0-7]+">
|
|
|
24 <token type="LiteralStringEscape"/>
|
|
|
25 <pop depth="1"/>
|
|
|
26 </rule>
|
|
|
27 <rule pattern="x[\da-fA-F]+">
|
|
|
28 <token type="LiteralStringEscape"/>
|
|
|
29 <pop depth="1"/>
|
|
|
30 </rule>
|
|
|
31 <rule pattern="\d+">
|
|
|
32 <token type="LiteralStringEscape"/>
|
|
|
33 <pop depth="1"/>
|
|
|
34 </rule>
|
|
|
35 <rule pattern="\s+\\">
|
|
|
36 <token type="LiteralStringEscape"/>
|
|
|
37 <pop depth="1"/>
|
|
|
38 </rule>
|
|
|
39 </state>
|
|
|
40 <state name="root">
|
|
|
41 <rule pattern="^(\s*)(%lib|link|flag|include|hide|freeze|access|default|logging|dynamic|name|error_handlers|language)">
|
|
|
42 <bygroups>
|
|
|
43 <token type="Text"/>
|
|
|
44 <token type="KeywordReserved"/>
|
|
|
45 </bygroups>
|
|
|
46 </rule>
|
|
|
47 <rule pattern="(\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$">
|
|
|
48 <bygroups>
|
|
|
49 <token type="Text"/>
|
|
|
50 <token type="CommentSingle"/>
|
|
|
51 </bygroups>
|
|
|
52 </rule>
|
|
|
53 <rule pattern="(\s*)(\|{3}.*?)$">
|
|
|
54 <bygroups>
|
|
|
55 <token type="Text"/>
|
|
|
56 <token type="CommentSingle"/>
|
|
|
57 </bygroups>
|
|
|
58 </rule>
|
|
|
59 <rule pattern="(\s*)(\{-)">
|
|
|
60 <bygroups>
|
|
|
61 <token type="Text"/>
|
|
|
62 <token type="CommentMultiline"/>
|
|
|
63 </bygroups>
|
|
|
64 <push state="comment"/>
|
|
|
65 </rule>
|
|
|
66 <rule pattern="^(\s*)([^\s(){}]+)(\s*)(:)(\s*)">
|
|
|
67 <bygroups>
|
|
|
68 <token type="Text"/>
|
|
|
69 <token type="NameFunction"/>
|
|
|
70 <token type="Text"/>
|
|
|
71 <token type="OperatorWord"/>
|
|
|
72 <token type="Text"/>
|
|
|
73 </bygroups>
|
|
|
74 </rule>
|
|
|
75 <rule pattern="\b(case|class|data|default|using|do|else|if|in|infix[lr]?|instance|rewrite|auto|namespace|codata|mutual|private|public|abstract|total|partial|let|proof|of|then|static|where|_|with|pattern|term|syntax|prefix|postulate|parameters|record|dsl|impossible|implicit|tactics|intros|intro|compute|refine|exact|trivial)(?!\')\b">
|
|
|
76 <token type="KeywordReserved"/>
|
|
|
77 </rule>
|
|
|
78 <rule pattern="(import|module)(\s+)">
|
|
|
79 <bygroups>
|
|
|
80 <token type="KeywordReserved"/>
|
|
|
81 <token type="Text"/>
|
|
|
82 </bygroups>
|
|
|
83 <push state="module"/>
|
|
|
84 </rule>
|
|
|
85 <rule pattern="('')?[A-Z][\w\']*">
|
|
|
86 <token type="KeywordType"/>
|
|
|
87 </rule>
|
|
|
88 <rule pattern="[a-z][\w\']*">
|
|
|
89 <token type="Text"/>
|
|
|
90 </rule>
|
|
|
91 <rule pattern="(<-|::|->|=>|=)">
|
|
|
92 <token type="OperatorWord"/>
|
|
|
93 </rule>
|
|
|
94 <rule pattern="([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)">
|
|
|
95 <token type="OperatorWord"/>
|
|
|
96 </rule>
|
|
|
97 <rule pattern="\d+[eE][+-]?\d+">
|
|
|
98 <token type="LiteralNumberFloat"/>
|
|
|
99 </rule>
|
|
|
100 <rule pattern="\d+\.\d+([eE][+-]?\d+)?">
|
|
|
101 <token type="LiteralNumberFloat"/>
|
|
|
102 </rule>
|
|
|
103 <rule pattern="0[xX][\da-fA-F]+">
|
|
|
104 <token type="LiteralNumberHex"/>
|
|
|
105 </rule>
|
|
|
106 <rule pattern="\d+">
|
|
|
107 <token type="LiteralNumberInteger"/>
|
|
|
108 </rule>
|
|
|
109 <rule pattern="'">
|
|
|
110 <token type="LiteralStringChar"/>
|
|
|
111 <push state="character"/>
|
|
|
112 </rule>
|
|
|
113 <rule pattern=""">
|
|
|
114 <token type="LiteralString"/>
|
|
|
115 <push state="string"/>
|
|
|
116 </rule>
|
|
|
117 <rule pattern="[^\s(){}]+">
|
|
|
118 <token type="Text"/>
|
|
|
119 </rule>
|
|
|
120 <rule pattern="\s+?">
|
|
|
121 <token type="Text"/>
|
|
|
122 </rule>
|
|
|
123 </state>
|
|
|
124 <state name="module">
|
|
|
125 <rule pattern="\s+">
|
|
|
126 <token type="Text"/>
|
|
|
127 </rule>
|
|
|
128 <rule pattern="([A-Z][\w.]*)(\s+)(\()">
|
|
|
129 <bygroups>
|
|
|
130 <token type="NameNamespace"/>
|
|
|
131 <token type="Text"/>
|
|
|
132 <token type="Punctuation"/>
|
|
|
133 </bygroups>
|
|
|
134 <push state="funclist"/>
|
|
|
135 </rule>
|
|
|
136 <rule pattern="[A-Z][\w.]*">
|
|
|
137 <token type="NameNamespace"/>
|
|
|
138 <pop depth="1"/>
|
|
|
139 </rule>
|
|
|
140 </state>
|
|
|
141 <state name="funclist">
|
|
|
142 <rule pattern="\s+">
|
|
|
143 <token type="Text"/>
|
|
|
144 </rule>
|
|
|
145 <rule pattern="[A-Z]\w*">
|
|
|
146 <token type="KeywordType"/>
|
|
|
147 </rule>
|
|
|
148 <rule pattern="(_[\w\']+|[a-z][\w\']*)">
|
|
|
149 <token type="NameFunction"/>
|
|
|
150 </rule>
|
|
|
151 <rule pattern="--.*$">
|
|
|
152 <token type="CommentSingle"/>
|
|
|
153 </rule>
|
|
|
154 <rule pattern="\{-">
|
|
|
155 <token type="CommentMultiline"/>
|
|
|
156 <push state="comment"/>
|
|
|
157 </rule>
|
|
|
158 <rule pattern=",">
|
|
|
159 <token type="Punctuation"/>
|
|
|
160 </rule>
|
|
|
161 <rule pattern="[:!#$%&*+.\\/<=>?@^|~-]+">
|
|
|
162 <token type="Operator"/>
|
|
|
163 </rule>
|
|
|
164 <rule pattern="\(">
|
|
|
165 <token type="Punctuation"/>
|
|
|
166 <push state="funclist" state="funclist"/>
|
|
|
167 </rule>
|
|
|
168 <rule pattern="\)">
|
|
|
169 <token type="Punctuation"/>
|
|
|
170 <pop depth="2"/>
|
|
|
171 </rule>
|
|
|
172 </state>
|
|
|
173 <state name="comment">
|
|
|
174 <rule pattern="[^-{}]+">
|
|
|
175 <token type="CommentMultiline"/>
|
|
|
176 </rule>
|
|
|
177 <rule pattern="\{-">
|
|
|
178 <token type="CommentMultiline"/>
|
|
|
179 <push/>
|
|
|
180 </rule>
|
|
|
181 <rule pattern="-\}">
|
|
|
182 <token type="CommentMultiline"/>
|
|
|
183 <pop depth="1"/>
|
|
|
184 </rule>
|
|
|
185 <rule pattern="[-{}]">
|
|
|
186 <token type="CommentMultiline"/>
|
|
|
187 </rule>
|
|
|
188 </state>
|
|
|
189 <state name="character">
|
|
|
190 <rule pattern="[^\\']">
|
|
|
191 <token type="LiteralStringChar"/>
|
|
|
192 </rule>
|
|
|
193 <rule pattern="\\">
|
|
|
194 <token type="LiteralStringEscape"/>
|
|
|
195 <push state="escape"/>
|
|
|
196 </rule>
|
|
|
197 <rule pattern="'">
|
|
|
198 <token type="LiteralStringChar"/>
|
|
|
199 <pop depth="1"/>
|
|
|
200 </rule>
|
|
|
201 </state>
|
|
|
202 <state name="string">
|
|
|
203 <rule pattern="[^\\"]+">
|
|
|
204 <token type="LiteralString"/>
|
|
|
205 </rule>
|
|
|
206 <rule pattern="\\">
|
|
|
207 <token type="LiteralStringEscape"/>
|
|
|
208 <push state="escape"/>
|
|
|
209 </rule>
|
|
|
210 <rule pattern=""">
|
|
|
211 <token type="LiteralString"/>
|
|
|
212 <pop depth="1"/>
|
|
|
213 </rule>
|
|
|
214 </state>
|
|
|
215 </rules>
|
|
|
216 </lexer> |
