@@ -21,7 +21,7 @@ val commitHash = kotlin.run {
21
21
output.trim()
22
22
}
23
23
24
- val pluginComingVersion = " 0.5.4 "
24
+ val pluginComingVersion = " 0.6.0 "
25
25
val pluginVersion = if (isCI) " $pluginComingVersion -$commitHash " else pluginComingVersion
26
26
val packageName = " org.ice1000.tt"
27
27
@@ -247,27 +247,29 @@ val genVoileUtility = utilities("genVoileUtility") {
247
247
" LINE_COMMENT" to " LINE_COMMENT" )
248
248
}
249
249
250
+ val cubicalTTTokenPairs = listOf (
251
+ " KEYWORD" to " KEYWORD" ,
252
+ " IDENTIFIER" to " IDENTIFIER" ,
253
+ " SEMICOLON" to " SEMICOLON" ,
254
+ " FUNCTION_NAME" to " FUNCTION_DECLARATION" ,
255
+ " DATATYPE_NAME" to " CLASS_NAME" ,
256
+ " COMMA" to " COMMA" ,
257
+ " PAREN" to " PARENTHESES" ,
258
+ " BRACK" to " BRACKETS" ,
259
+ " UNDEFINED" to " KEYWORD" ,
260
+ " HOLE" to " LABEL" ,
261
+ " DIMENSION" to " NUMBER" ,
262
+ " PROJECTION" to " INSTANCE_FIELD" ,
263
+ " LINE_COMMENT" to " LINE_COMMENT" ,
264
+ " BLOCK_COMMENT" to " BLOCK_COMMENT" )
265
+
250
266
val genYaccTTUtility = utilities(" genYaccTTUtility" ) {
251
267
languageName = " YaccTT"
252
268
constantPrefix = " YACC_TT"
253
269
exeName = " yacctt"
254
270
trimVersion = " version.trim()"
255
271
supportsParsing = true
256
- highlightTokenPairs = listOf (
257
- " KEYWORD" to " KEYWORD" ,
258
- " IDENTIFIER" to " IDENTIFIER" ,
259
- " SEMICOLON" to " SEMICOLON" ,
260
- " FUNCTION_NAME" to " FUNCTION_DECLARATION" ,
261
- " DATATYPE_NAME" to " CLASS_NAME" ,
262
- " COMMA" to " COMMA" ,
263
- " PAREN" to " PARENTHESES" ,
264
- " BRACK" to " BRACKETS" ,
265
- " UNDEFINED" to " KEYWORD" ,
266
- " HOLE" to " LABEL" ,
267
- " DIMENSION" to " NUMBER" ,
268
- " PROJECTION" to " INSTANCE_FIELD" ,
269
- " LINE_COMMENT" to " LINE_COMMENT" ,
270
- " BLOCK_COMMENT" to " BLOCK_COMMENT" )
272
+ highlightTokenPairs = cubicalTTTokenPairs
271
273
}
272
274
273
275
val genCubicalTTUtility = utilities(" genCubicalTTUtility" ) {
@@ -276,21 +278,7 @@ val genCubicalTTUtility = utilities("genCubicalTTUtility") {
276
278
exeName = " cubical"
277
279
trimVersion = " version.trim()"
278
280
supportsParsing = true
279
- highlightTokenPairs = listOf (
280
- " KEYWORD" to " KEYWORD" ,
281
- " IDENTIFIER" to " IDENTIFIER" ,
282
- " SEMICOLON" to " SEMICOLON" ,
283
- " FUNCTION_NAME" to " FUNCTION_DECLARATION" ,
284
- " DATATYPE_NAME" to " CLASS_NAME" ,
285
- " COMMA" to " COMMA" ,
286
- " PAREN" to " PARENTHESES" ,
287
- " BRACK" to " BRACKETS" ,
288
- " UNDEFINED" to " KEYWORD" ,
289
- " HOLE" to " LABEL" ,
290
- " DIMENSION" to " NUMBER" ,
291
- " PROJECTION" to " INSTANCE_FIELD" ,
292
- " LINE_COMMENT" to " LINE_COMMENT" ,
293
- " BLOCK_COMMENT" to " BLOCK_COMMENT" )
281
+ highlightTokenPairs = cubicalTTTokenPairs
294
282
}
295
283
296
284
val genAgdaUtility = utilities(" genAgdaUtility" ) {
0 commit comments