github-linguist 7.27.0 → 7.29.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (107) hide show
  1. checksums.yaml +4 -4
  2. data/ext/linguist/lex.linguist_yy.c +313 -294
  3. data/ext/linguist/lex.linguist_yy.h +5 -4
  4. data/ext/linguist/tokenizer.l +5 -2
  5. data/grammars/etc.json +1 -1
  6. data/grammars/inline.edgeql.json +1 -0
  7. data/grammars/inline.graphql.json +1 -1
  8. data/grammars/inline.graphql.markdown.codeblock.json +1 -0
  9. data/grammars/inline.graphql.rb.json +1 -0
  10. data/grammars/inline.hbs.json +1 -0
  11. data/grammars/inline.template.json +1 -0
  12. data/grammars/markdown.commonlisp.codeblock.json +1 -0
  13. data/grammars/markdown.glimmer.codeblock.json +1 -0
  14. data/grammars/markdown.lean4.codeblock.json +1 -0
  15. data/grammars/markdown.move.codeblock.json +1 -0
  16. data/grammars/mdx.LANGUAGE.codeblock.json +1 -0
  17. data/grammars/source.8xp.json +1 -0
  18. data/grammars/source.abl.json +1 -1
  19. data/grammars/source.al.json +1 -1
  20. data/grammars/source.amxxpawn.json +1 -0
  21. data/grammars/source.astro.json +1 -1
  22. data/grammars/source.bb.json +1 -0
  23. data/grammars/source.bh.json +1 -0
  24. data/grammars/source.bicep.json +1 -1
  25. data/grammars/source.brs.json +1 -1
  26. data/grammars/source.cds.json +1 -1
  27. data/grammars/source.cobol.json +1 -1
  28. data/grammars/source.commonlisp.json +1 -0
  29. data/grammars/source.cs.json +1 -1
  30. data/grammars/source.csound.json +1 -1
  31. data/grammars/source.dart.json +1 -1
  32. data/grammars/source.denizenscript.json +1 -1
  33. data/grammars/source.did.json +1 -1
  34. data/grammars/source.dm.json +1 -1
  35. data/grammars/source.earthfile.json +1 -1
  36. data/grammars/source.edgeql.json +1 -0
  37. data/grammars/source.elvish-transcript.json +1 -1
  38. data/grammars/source.fsharp.json +1 -1
  39. data/grammars/source.gdresource.json +1 -1
  40. data/grammars/source.gdscript.json +1 -1
  41. data/grammars/source.genero-4gl.json +1 -0
  42. data/grammars/source.genero-per.json +1 -0
  43. data/grammars/source.gjs.json +1 -0
  44. data/grammars/source.gsc.json +1 -1
  45. data/grammars/source.gts.json +1 -0
  46. data/grammars/source.hcl.json +1 -0
  47. data/grammars/source.hcl.terraform.json +1 -0
  48. data/grammars/source.ice.json +1 -0
  49. data/grammars/source.julia.json +1 -1
  50. data/grammars/source.kotlin.json +1 -1
  51. data/grammars/source.lean4.json +1 -0
  52. data/grammars/source.lean4.markdown.json +1 -0
  53. data/grammars/source.lua.json +1 -1
  54. data/grammars/source.matlab.json +1 -1
  55. data/grammars/source.mdx.json +1 -1
  56. data/grammars/source.meta-info.json +1 -1
  57. data/grammars/source.mojo.json +1 -0
  58. data/grammars/source.nasal.json +1 -1
  59. data/grammars/source.nim.json +1 -1
  60. data/grammars/source.nushell.json +1 -1
  61. data/grammars/source.odin.json +1 -1
  62. data/grammars/source.p4.json +1 -1
  63. data/grammars/source.pip-requirements.json +1 -0
  64. data/grammars/source.praat.json +1 -0
  65. data/grammars/source.ql.json +1 -1
  66. data/grammars/source.raku.json +1 -1
  67. data/grammars/source.rascal.json +1 -1
  68. data/grammars/source.rego.json +1 -1
  69. data/grammars/source.rescript.json +1 -1
  70. data/grammars/source.roc.json +1 -0
  71. data/grammars/source.rpgle.json +1 -1
  72. data/grammars/source.rust.json +1 -1
  73. data/grammars/source.scala.json +1 -1
  74. data/grammars/source.sentinel.json +1 -0
  75. data/grammars/source.slice.json +1 -1
  76. data/grammars/source.slint.json +1 -0
  77. data/grammars/source.sourcepawn.json +1 -1
  78. data/grammars/source.swift.json +1 -1
  79. data/grammars/source.textgrid.json +1 -0
  80. data/grammars/source.toit.json +1 -0
  81. data/grammars/source.ts.json +1 -1
  82. data/grammars/source.tsx.json +1 -1
  83. data/grammars/source.vba.json +1 -1
  84. data/grammars/source.viml.json +1 -1
  85. data/grammars/sp-jsdoc.injection.json +1 -0
  86. data/grammars/text.adblock.json +1 -1
  87. data/grammars/text.html.edge.json +1 -0
  88. data/grammars/text.html.ember-handlebars.json +1 -0
  89. data/grammars/text.html.statamic.json +1 -1
  90. data/grammars/text.md.json +1 -1
  91. data/grammars/text.srt.json +1 -1
  92. data/grammars/text.tex.json +1 -1
  93. data/grammars/text.valve-cfg.json +1 -0
  94. data/grammars/text.valve-kv.json +1 -0
  95. data/grammars/version +1 -1
  96. data/lib/linguist/VERSION +1 -1
  97. data/lib/linguist/generated.rb +27 -5
  98. data/lib/linguist/heuristics.yml +23 -2
  99. data/lib/linguist/languages.json +1 -1
  100. data/lib/linguist/languages.yml +153 -17
  101. data/lib/linguist/samples.json +1 -1
  102. metadata +41 -8
  103. data/grammars/govulncheck.json +0 -1
  104. data/grammars/markdown.graphql.codeblock.json +0 -1
  105. data/grammars/source.dmf.json +0 -1
  106. data/grammars/source.genero-forms.json +0 -1
  107. data/grammars/source.genero.json +0 -1
@@ -243,7 +243,7 @@
243
243
  #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
244
244
 
245
245
  /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
246
- * if you want the limit (max/min) macros for int types.
246
+ * if you want the limit (max/min) macros for int types.
247
247
  */
248
248
  #ifndef __STDC_LIMIT_MACROS
249
249
  #define __STDC_LIMIT_MACROS 1
@@ -260,7 +260,7 @@ typedef uint32_t flex_uint32_t;
260
260
  typedef signed char flex_int8_t;
261
261
  typedef short int flex_int16_t;
262
262
  typedef int flex_int32_t;
263
- typedef unsigned char flex_uint8_t;
263
+ typedef unsigned char flex_uint8_t;
264
264
  typedef unsigned short int flex_uint16_t;
265
265
  typedef unsigned int flex_uint32_t;
266
266
 
@@ -384,10 +384,10 @@ typedef size_t yy_size_t;
384
384
  #define EOB_ACT_CONTINUE_SCAN 0
385
385
  #define EOB_ACT_END_OF_FILE 1
386
386
  #define EOB_ACT_LAST_MATCH 2
387
-
387
+
388
388
  #define YY_LESS_LINENO(n)
389
389
  #define YY_LINENO_REWIND_TO(ptr)
390
-
390
+
391
391
  /* Return all but the first "n" matched characters back to the input stream. */
392
392
  #define yyless(n) \
393
393
  do \
@@ -545,8 +545,8 @@ static void yynoreturn yy_fatal_error ( const char* msg , yyscan_t yyscanner );
545
545
  yyg->yy_hold_char = *yy_cp; \
546
546
  *yy_cp = '\0'; \
547
547
  yyg->yy_c_buf_p = yy_cp;
548
- #define YY_NUM_RULES 79
549
- #define YY_END_OF_BUFFER 80
548
+ #define YY_NUM_RULES 82
549
+ #define YY_END_OF_BUFFER 83
550
550
  /* This struct is not used in this scanner,
551
551
  but its presence is necessary. */
552
552
  struct yy_trans_info
@@ -554,36 +554,36 @@ struct yy_trans_info
554
554
  flex_int32_t yy_verify;
555
555
  flex_int32_t yy_nxt;
556
556
  };
557
- static const flex_int16_t yy_accept[255] =
557
+ static const flex_int16_t yy_accept[261] =
558
558
  { 0,
559
559
  0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
560
- 0, 0, 0, 0, 0, 0, 80, 78, 60, 32,
561
- 61, 62, 63, 64, 33, 39, 39, 65, 66, 67,
562
- 59, 68, 52, 34, 34, 69, 70, 52, 49, 52,
563
- 71, 72, 35, 41, 73, 41, 74, 75, 40, 76,
564
- 40, 77, 78, 32, 61, 62, 63, 33, 59, 68,
565
- 52, 70, 23, 23, 23, 23, 23, 23, 23, 23,
566
- 60, 48, 51, 54, 31, 61, 35, 62, 42, 0,
567
- 42, 63, 53, 64, 44, 45, 31, 39, 36, 19,
568
- 0, 0, 39, 65, 66, 67, 59, 46, 56, 57,
569
-
570
- 68, 16, 52, 34, 34, 35, 34, 34, 35, 55,
571
- 69, 70, 50, 50, 44, 47, 52, 52, 49, 52,
572
- 49, 44, 71, 72, 0, 41, 38, 73, 41, 74,
573
- 75, 18, 0, 40, 37, 76, 40, 77, 0, 0,
574
- 0, 0, 0, 0, 0, 8, 8, 3, 3, 0,
575
- 61, 0, 7, 7, 63, 0, 0, 59, 0, 0,
576
- 35, 5, 9, 9, 70, 24, 0, 26, 27, 0,
577
- 0, 0, 20, 42, 21, 0, 58, 56, 57, 15,
578
- 14, 0, 34, 34, 34, 34, 34, 0, 0, 0,
579
- 0, 5, 8, 3, 0, 2, 0, 2, 2, 12,
580
-
581
- 7, 11, 6, 6, 10, 35, 5, 5, 5, 5,
582
- 9, 25, 28, 29, 30, 0, 13, 34, 34, 34,
583
- 34, 34, 34, 34, 17, 0, 0, 0, 2, 12,
584
- 12, 11, 11, 6, 10, 10, 22, 4, 4, 43,
585
- 34, 34, 34, 0, 2, 4, 0, 0, 0, 0,
586
- 0, 1, 0, 0
560
+ 0, 0, 0, 0, 0, 0, 0, 0, 83, 81,
561
+ 63, 35, 64, 65, 66, 67, 36, 42, 42, 68,
562
+ 69, 70, 62, 71, 55, 37, 37, 72, 73, 55,
563
+ 52, 55, 74, 75, 38, 44, 76, 44, 77, 78,
564
+ 43, 79, 43, 80, 81, 35, 64, 65, 66, 36,
565
+ 62, 71, 55, 73, 25, 25, 25, 25, 25, 25,
566
+ 25, 25, 25, 63, 51, 54, 57, 34, 64, 38,
567
+ 65, 45, 0, 45, 66, 56, 67, 47, 48, 34,
568
+ 42, 39, 19, 0, 0, 42, 68, 69, 70, 62,
569
+
570
+ 49, 59, 60, 71, 16, 24, 55, 37, 37, 38,
571
+ 37, 37, 38, 58, 72, 73, 53, 53, 47, 50,
572
+ 55, 55, 52, 55, 52, 47, 74, 75, 0, 44,
573
+ 41, 76, 44, 77, 78, 18, 0, 43, 40, 79,
574
+ 43, 80, 0, 0, 0, 0, 0, 0, 0, 8,
575
+ 8, 3, 3, 0, 64, 0, 7, 7, 66, 0,
576
+ 0, 62, 0, 0, 38, 5, 9, 9, 73, 26,
577
+ 0, 28, 29, 0, 0, 0, 33, 20, 45, 21,
578
+ 0, 61, 59, 60, 15, 14, 23, 0, 37, 37,
579
+ 37, 37, 37, 0, 0, 0, 0, 5, 8, 3,
580
+
581
+ 0, 2, 0, 2, 2, 12, 7, 11, 6, 6,
582
+ 10, 38, 5, 5, 5, 5, 9, 27, 30, 31,
583
+ 32, 0, 13, 37, 37, 37, 37, 37, 37, 37,
584
+ 17, 0, 0, 0, 2, 12, 12, 11, 11, 6,
585
+ 10, 10, 22, 4, 4, 46, 37, 37, 37, 0,
586
+ 2, 4, 0, 0, 0, 0, 0, 1, 0, 0
587
587
  } ;
588
588
 
589
589
  static const YY_CHAR yy_ec[256] =
@@ -627,226 +627,226 @@ static const YY_CHAR yy_meta[50] =
627
627
  7, 7, 7, 7, 7, 1, 1, 1, 1
628
628
  } ;
629
629
 
630
- static const flex_int16_t yy_base[272] =
630
+ static const flex_int16_t yy_base[278] =
631
631
  { 0,
632
- 0, 48, 598, 597, 593, 592, 591, 590, 592, 591,
633
- 566, 543, 524, 519, 511, 510, 522, 613, 48, 509,
634
- 501, 56, 51, 59, 482, 68, 479, 37, 63, 475,
635
- 73, 86, 89, 98, 445, 95, 466, 139, 85, 126,
636
- 95, 51, 475, 52, 445, 443, 58, 439, 107, 137,
637
- 429, 108, 183, 165, 169, 471, 179, 175, 182, 176,
638
- 195, 190, 613, 456, 457, 425, 459, 465, 459, 451,
639
- 67, 443, 613, 613, 461, 459, 458, 456, 451, 425,
640
- 415, 451, 434, 447, 423, 613, 437, 147, 434, 613,
641
- 428, 423, 425, 423, 421, 418, 109, 407, 80, 176,
642
-
643
- 414, 156, 191, 204, 386, 216, 209, 168, 225, 613,
644
- 408, 406, 411, 613, 410, 409, 217, 233, 171, 242,
645
- 202, 613, 398, 396, 405, 192, 385, 385, 383, 381,
646
- 379, 613, 399, 201, 368, 368, 365, 361, 0, 259,
647
- 266, 268, 392, 389, 271, 613, 0, 613, 0, 276,
648
- 278, 403, 613, 0, 280, 284, 400, 287, 296, 397,
649
- 223, 298, 613, 0, 289, 613, 373, 613, 613, 392,
650
- 386, 391, 613, 353, 613, 369, 613, 613, 613, 613,
651
- 367, 236, 274, 352, 288, 269, 315, 367, 365, 355,
652
- 307, 320, 0, 0, 348, 324, 324, 325, 299, 331,
653
-
654
- 0, 312, 613, 0, 303, 311, 296, 613, 327, 351,
655
- 0, 613, 613, 613, 613, 274, 613, 246, 320, 241,
656
- 371, 0, 322, 0, 613, 161, 133, 220, 110, 134,
657
- 613, 120, 613, 0, 102, 613, 613, 613, 72, 613,
658
- 613, 346, 0, 319, 362, 58, 352, 410, 374, 370,
659
- 377, 454, 378, 613, 499, 502, 506, 512, 519, 525,
660
- 532, 539, 546, 548, 555, 562, 569, 576, 583, 590,
661
- 597
632
+ 0, 48, 604, 603, 599, 598, 597, 596, 598, 597,
633
+ 604, 603, 597, 596, 588, 587, 587, 586, 602, 619,
634
+ 48, 595, 593, 56, 51, 59, 588, 68, 585, 37,
635
+ 63, 581, 73, 86, 91, 100, 551, 97, 572, 141,
636
+ 87, 128, 97, 51, 587, 52, 557, 555, 58, 552,
637
+ 109, 139, 510, 110, 185, 167, 171, 530, 181, 177,
638
+ 184, 178, 198, 193, 619, 502, 499, 467, 501, 502,
639
+ 490, 476, 460, 67, 453, 619, 619, 471, 469, 468,
640
+ 460, 455, 429, 418, 454, 437, 451, 434, 619, 448,
641
+ 149, 445, 619, 439, 434, 442, 440, 438, 436, 77,
642
+
643
+ 425, 184, 110, 432, 158, 432, 202, 211, 403, 188,
644
+ 223, 186, 218, 619, 425, 423, 428, 619, 426, 418,
645
+ 231, 242, 209, 245, 83, 619, 407, 405, 414, 225,
646
+ 394, 388, 386, 384, 381, 619, 401, 217, 370, 370,
647
+ 368, 366, 0, 196, 233, 269, 397, 394, 271, 619,
648
+ 0, 619, 0, 277, 273, 408, 619, 0, 279, 282,
649
+ 405, 286, 283, 404, 211, 290, 619, 0, 288, 619,
650
+ 383, 619, 619, 402, 396, 403, 619, 619, 368, 619,
651
+ 386, 619, 619, 619, 619, 383, 619, 284, 269, 368,
652
+ 300, 220, 316, 382, 377, 375, 301, 303, 0, 0,
653
+
654
+ 322, 311, 370, 323, 341, 370, 0, 362, 619, 0,
655
+ 352, 325, 341, 619, 319, 348, 0, 619, 619, 619,
656
+ 619, 326, 619, 297, 333, 322, 357, 0, 323, 0,
657
+ 619, 270, 198, 137, 199, 180, 619, 136, 619, 0,
658
+ 125, 619, 619, 619, 72, 619, 619, 353, 0, 333,
659
+ 367, 58, 291, 396, 377, 378, 381, 440, 390, 619,
660
+ 485, 488, 492, 498, 505, 511, 518, 525, 532, 534,
661
+ 541, 548, 555, 562, 569, 576, 583
662
662
  } ;
663
663
 
664
- static const flex_int16_t yy_def[272] =
664
+ static const flex_int16_t yy_def[278] =
665
665
  { 0,
666
- 254, 1, 255, 255, 255, 255, 255, 255, 255, 255,
667
- 255, 255, 255, 255, 255, 255, 254, 254, 254, 254,
668
- 256, 256, 254, 254, 254, 254, 254, 254, 254, 254,
669
- 254, 256, 254, 254, 34, 254, 254, 254, 254, 254,
670
- 254, 256, 256, 254, 254, 254, 254, 254, 254, 254,
671
- 254, 254, 254, 254, 256, 22, 254, 254, 254, 32,
672
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
673
- 254, 254, 254, 254, 254, 254, 256, 254, 254, 254,
674
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
675
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
676
-
677
- 254, 254, 254, 254, 34, 256, 256, 256, 256, 254,
678
- 254, 254, 254, 254, 254, 254, 257, 254, 254, 254,
679
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
680
- 254, 254, 254, 254, 254, 254, 254, 254, 53, 254,
681
- 254, 254, 254, 254, 254, 254, 258, 254, 259, 260,
682
- 254, 254, 254, 261, 254, 254, 254, 254, 254, 254,
683
- 256, 262, 254, 263, 254, 254, 254, 254, 254, 254,
684
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
685
- 254, 254, 254, 254, 254, 256, 254, 254, 254, 254,
686
- 254, 262, 258, 259, 260, 195, 264, 195, 198, 265,
687
-
688
- 261, 266, 254, 267, 268, 256, 262, 254, 262, 262,
689
- 263, 254, 254, 254, 254, 254, 254, 254, 254, 256,
690
- 254, 187, 187, 187, 254, 254, 254, 264, 198, 265,
691
- 254, 266, 254, 267, 268, 254, 254, 254, 269, 254,
692
- 254, 221, 221, 264, 198, 269, 264, 270, 264, 270,
693
- 271, 270, 271, 0, 254, 254, 254, 254, 254, 254,
694
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
695
- 254
666
+ 260, 1, 261, 261, 261, 261, 261, 261, 261, 261,
667
+ 261, 261, 261, 261, 261, 261, 261, 261, 260, 260,
668
+ 260, 260, 262, 262, 260, 260, 260, 260, 260, 260,
669
+ 260, 260, 260, 262, 260, 260, 36, 260, 260, 260,
670
+ 260, 260, 260, 262, 262, 260, 260, 260, 260, 260,
671
+ 260, 260, 260, 260, 260, 260, 262, 24, 260, 260,
672
+ 260, 34, 260, 260, 260, 260, 260, 260, 260, 260,
673
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 262,
674
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
675
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
676
+
677
+ 260, 260, 260, 260, 260, 260, 260, 260, 36, 262,
678
+ 262, 262, 262, 260, 260, 260, 260, 260, 260, 260,
679
+ 263, 260, 260, 260, 260, 260, 260, 260, 260, 260,
680
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
681
+ 260, 260, 55, 260, 260, 260, 260, 260, 260, 260,
682
+ 264, 260, 265, 266, 260, 260, 260, 267, 260, 260,
683
+ 260, 260, 260, 260, 262, 268, 260, 269, 260, 260,
684
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
685
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
686
+ 260, 262, 260, 260, 260, 260, 260, 268, 264, 265,
687
+
688
+ 266, 201, 270, 201, 204, 271, 267, 272, 260, 273,
689
+ 274, 262, 268, 260, 268, 268, 269, 260, 260, 260,
690
+ 260, 260, 260, 260, 260, 262, 260, 193, 193, 193,
691
+ 260, 260, 260, 270, 204, 271, 260, 272, 260, 273,
692
+ 274, 260, 260, 260, 275, 260, 260, 227, 227, 270,
693
+ 204, 275, 270, 276, 270, 276, 277, 276, 277, 0,
694
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
695
+ 260, 260, 260, 260, 260, 260, 260
696
696
  } ;
697
697
 
698
- static const flex_int16_t yy_nxt[663] =
698
+ static const flex_int16_t yy_nxt[669] =
699
699
  { 0,
700
- 18, 18, 18, 18, 19, 20, 21, 22, 23, 24,
701
- 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
702
- 35, 36, 37, 38, 39, 40, 41, 42, 43, 43,
703
- 43, 43, 43, 43, 44, 45, 46, 47, 48, 43,
704
- 43, 43, 43, 43, 43, 49, 50, 51, 52, 53,
705
- 94, 53, 71, 54, 55, 56, 57, 254, 58, 82,
706
- 208, 83, 254, 78, 59, 60, 61, 79, 84, 125,
707
- 62, 71, 72, 73, 208, 83, 73, 95, 124, 88,
708
- 89, 90, 83, 83, 85, 91, 126, 83, 127, 97,
709
- 80, 72, 254, 99, 92, 130, 74, 83, 98, 99,
710
-
711
- 100, 81, 102, 101, 254, 86, 178, 103, 121, 119,
712
- 121, 110, 103, 83, 103, 104, 111, 105, 105, 83,
713
- 73, 123, 254, 132, 133, 97, 77, 106, 107, 77,
714
- 107, 108, 83, 74, 98, 122, 254, 106, 77, 77,
715
- 77, 77, 109, 113, 103, 114, 86, 114, 115, 120,
716
- 119, 120, 134, 245, 135, 116, 138, 117, 88, 89,
717
- 180, 83, 118, 119, 120, 114, 114, 146, 147, 181,
718
- 75, 148, 149, 150, 254, 151, 156, 159, 156, 159,
719
- 240, 153, 154, 136, 139, 87, 139, 155, 140, 141,
720
- 100, 142, 163, 164, 121, 119, 121, 240, 158, 143,
721
-
722
- 186, 144, 179, 83, 73, 145, 83, 98, 102, 103,
723
- 157, 160, 165, 162, 103, 254, 103, 161, 103, 83,
724
- 103, 104, 254, 104, 104, 121, 126, 121, 127, 254,
725
- 185, 254, 185, 182, 183, 103, 183, 184, 228, 107,
726
- 103, 107, 103, 182, 187, 187, 134, 254, 135, 116,
727
- 185, 103, 185, 187, 187, 187, 118, 119, 120, 244,
728
- 103, 146, 147, 206, 187, 120, 119, 120, 148, 149,
729
- 153, 154, 141, 163, 164, 254, 142, 195, 241, 195,
730
- 148, 149, 153, 154, 151, 156, 240, 156, 155, 203,
731
- 204, 163, 164, 145, 196, 197, 197, 159, 208, 159,
732
-
733
- 208, 220, 209, 97, 183, 236, 183, 219, 219, 203,
734
- 204, 165, 98, 237, 233, 199, 210, 254, 183, 157,
735
- 183, 210, 208, 210, 209, 254, 254, 254, 254, 238,
736
- 239, 160, 221, 231, 222, 222, 185, 228, 185, 219,
737
- 219, 229, 228, 222, 223, 224, 77, 107, 108, 195,
738
- 183, 195, 183, 208, 223, 77, 77, 77, 77, 77,
739
- 185, 247, 185, 248, 198, 248, 196, 197, 197, 210,
740
- 228, 254, 227, 254, 210, 248, 210, 248, 248, 248,
741
- 248, 248, 226, 225, 218, 217, 216, 199, 221, 174,
742
- 221, 221, 228, 215, 251, 249, 214, 213, 212, 221,
743
-
744
- 242, 243, 205, 183, 184, 202, 200, 192, 191, 138,
745
- 242, 248, 137, 248, 136, 135, 190, 131, 130, 129,
746
- 128, 127, 189, 124, 123, 116, 122, 188, 112, 111,
747
- 77, 101, 98, 96, 251, 95, 94, 93, 252, 252,
748
- 252, 252, 252, 252, 177, 176, 89, 175, 122, 252,
749
- 252, 252, 252, 252, 252, 254, 84, 254, 83, 82,
750
- 81, 174, 79, 78, 254, 76, 173, 72, 172, 171,
751
- 170, 169, 168, 167, 166, 152, 137, 131, 251, 129,
752
- 128, 254, 252, 252, 252, 252, 252, 252, 112, 77,
753
- 96, 93, 87, 252, 252, 252, 252, 252, 252, 63,
754
-
755
- 63, 63, 63, 63, 63, 63, 77, 76, 77, 114,
756
- 114, 114, 193, 193, 75, 193, 193, 193, 193, 194,
757
- 194, 254, 194, 194, 194, 194, 198, 70, 70, 69,
758
- 198, 198, 201, 201, 69, 201, 201, 201, 201, 207,
759
- 207, 207, 207, 207, 207, 207, 211, 211, 68, 211,
760
- 211, 211, 211, 197, 197, 230, 230, 230, 230, 230,
761
- 230, 230, 232, 232, 232, 232, 232, 232, 232, 234,
762
- 234, 68, 234, 234, 234, 234, 235, 235, 235, 235,
763
- 235, 235, 235, 246, 246, 246, 246, 246, 246, 246,
764
- 250, 250, 250, 250, 250, 250, 250, 253, 253, 253,
765
-
766
- 253, 253, 253, 253, 67, 67, 66, 66, 65, 65,
767
- 64, 64, 17, 254, 254, 254, 254, 254, 254, 254,
768
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
769
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
770
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
771
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
772
- 254, 254
700
+ 20, 20, 20, 20, 21, 22, 23, 24, 25, 26,
701
+ 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
702
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 45,
703
+ 45, 45, 45, 45, 46, 47, 48, 49, 50, 45,
704
+ 45, 45, 45, 45, 45, 51, 52, 53, 54, 55,
705
+ 97, 55, 74, 56, 57, 58, 59, 260, 60, 85,
706
+ 214, 86, 260, 81, 61, 62, 63, 82, 87, 129,
707
+ 64, 74, 75, 76, 214, 86, 76, 98, 128, 91,
708
+ 92, 93, 86, 86, 88, 94, 130, 86, 131, 100,
709
+ 83, 75, 260, 100, 95, 134, 77, 86, 101, 102,
710
+
711
+ 103, 84, 101, 104, 105, 89, 125, 106, 125, 107,
712
+ 125, 123, 125, 114, 107, 86, 107, 108, 115, 109,
713
+ 109, 86, 76, 127, 103, 136, 137, 260, 80, 110,
714
+ 111, 80, 111, 112, 86, 77, 184, 126, 260, 110,
715
+ 80, 80, 80, 80, 113, 117, 107, 118, 89, 118,
716
+ 119, 124, 123, 124, 138, 234, 139, 120, 142, 121,
717
+ 91, 92, 185, 86, 122, 123, 124, 118, 118, 150,
718
+ 151, 186, 78, 152, 153, 154, 250, 155, 160, 163,
719
+ 160, 163, 260, 157, 158, 140, 143, 90, 143, 159,
720
+ 144, 145, 260, 146, 260, 167, 168, 102, 150, 151,
721
+
722
+ 162, 147, 191, 148, 191, 86, 76, 149, 86, 101,
723
+ 183, 105, 161, 164, 106, 169, 166, 260, 192, 165,
724
+ 107, 107, 86, 107, 260, 107, 260, 107, 108, 260,
725
+ 108, 108, 125, 123, 125, 152, 153, 193, 193, 145,
726
+ 188, 189, 251, 189, 190, 246, 193, 193, 193, 107,
727
+ 188, 212, 226, 111, 107, 111, 107, 193, 120, 130,
728
+ 107, 131, 138, 107, 139, 122, 123, 124, 124, 123,
729
+ 124, 157, 158, 167, 168, 152, 153, 146, 201, 155,
730
+ 201, 157, 158, 160, 163, 160, 163, 159, 209, 210,
731
+ 167, 168, 214, 149, 215, 202, 203, 203, 191, 189,
732
+
733
+ 191, 189, 100, 209, 210, 214, 246, 215, 216, 234,
734
+ 169, 101, 260, 216, 260, 216, 205, 161, 164, 225,
735
+ 225, 244, 245, 201, 260, 201, 260, 243, 260, 247,
736
+ 189, 260, 189, 227, 255, 228, 228, 191, 246, 191,
737
+ 202, 203, 203, 214, 228, 229, 230, 80, 111, 112,
738
+ 214, 234, 225, 225, 242, 229, 80, 80, 80, 80,
739
+ 80, 205, 204, 189, 239, 189, 216, 191, 254, 191,
740
+ 254, 216, 237, 216, 227, 253, 227, 227, 254, 260,
741
+ 254, 260, 254, 235, 254, 227, 248, 249, 234, 189,
742
+ 190, 254, 233, 254, 232, 234, 248, 254, 231, 254,
743
+
744
+ 224, 223, 257, 222, 179, 221, 220, 219, 218, 211,
745
+ 208, 206, 198, 197, 142, 141, 140, 139, 196, 135,
746
+ 257, 134, 133, 132, 258, 258, 258, 258, 258, 258,
747
+ 131, 195, 128, 127, 120, 258, 258, 258, 258, 258,
748
+ 258, 260, 126, 260, 194, 116, 115, 80, 187, 104,
749
+ 101, 99, 98, 97, 96, 182, 181, 92, 180, 126,
750
+ 87, 86, 85, 84, 257, 179, 82, 81, 258, 258,
751
+ 258, 258, 258, 258, 260, 79, 178, 75, 177, 258,
752
+ 258, 258, 258, 258, 258, 65, 65, 65, 65, 65,
753
+ 65, 65, 80, 176, 80, 118, 118, 118, 199, 199,
754
+
755
+ 175, 199, 199, 199, 199, 200, 200, 174, 200, 200,
756
+ 200, 200, 204, 173, 172, 171, 204, 204, 207, 207,
757
+ 170, 207, 207, 207, 207, 213, 213, 213, 213, 213,
758
+ 213, 213, 217, 217, 156, 217, 217, 217, 217, 203,
759
+ 203, 236, 236, 236, 236, 236, 236, 236, 238, 238,
760
+ 238, 238, 238, 238, 238, 240, 240, 141, 240, 240,
761
+ 240, 240, 241, 241, 241, 241, 241, 241, 241, 252,
762
+ 252, 252, 252, 252, 252, 252, 256, 256, 256, 256,
763
+ 256, 256, 256, 259, 259, 259, 259, 259, 259, 259,
764
+ 135, 133, 132, 260, 116, 80, 99, 96, 90, 79,
765
+
766
+ 78, 260, 73, 73, 72, 72, 71, 71, 70, 70,
767
+ 69, 69, 68, 68, 67, 67, 66, 66, 19, 260,
768
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
769
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
770
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
771
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
772
+ 260, 260, 260, 260, 260, 260, 260, 260
773
773
  } ;
774
774
 
775
- static const flex_int16_t yy_chk[663] =
775
+ static const flex_int16_t yy_chk[669] =
776
776
  { 0,
777
777
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
778
778
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
779
779
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
780
780
  1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
781
781
  1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
782
- 28, 2, 19, 2, 2, 2, 2, 42, 2, 23,
783
- 246, 28, 22, 22, 2, 2, 2, 22, 24, 44,
784
- 2, 71, 19, 19, 239, 23, 23, 29, 42, 26,
785
- 26, 26, 47, 24, 24, 26, 44, 29, 44, 31,
786
- 22, 71, 32, 99, 26, 47, 19, 31, 31, 32,
787
-
788
- 32, 22, 33, 32, 235, 24, 99, 33, 39, 39,
789
- 39, 36, 33, 33, 33, 34, 36, 34, 34, 36,
790
- 41, 41, 232, 49, 49, 97, 34, 34, 34, 34,
791
- 34, 34, 52, 39, 97, 40, 230, 34, 34, 34,
792
- 34, 34, 34, 38, 40, 38, 50, 38, 38, 40,
793
- 40, 40, 49, 229, 49, 38, 52, 38, 88, 88,
794
- 102, 50, 38, 38, 38, 38, 38, 54, 54, 102,
795
- 54, 55, 55, 55, 108, 55, 58, 60, 58, 60,
796
- 227, 57, 57, 50, 53, 58, 53, 57, 53, 53,
797
- 100, 53, 62, 62, 119, 119, 119, 226, 59, 53,
798
-
799
- 108, 53, 100, 57, 57, 53, 59, 59, 61, 103,
800
- 58, 60, 62, 61, 103, 107, 103, 60, 61, 61,
801
- 61, 104, 106, 104, 104, 121, 126, 121, 126, 161,
802
- 106, 109, 106, 104, 104, 117, 104, 104, 228, 107,
803
- 117, 107, 117, 104, 109, 109, 134, 220, 134, 118,
804
- 182, 118, 182, 109, 109, 109, 118, 118, 118, 228,
805
- 120, 140, 140, 161, 109, 120, 120, 120, 141, 141,
806
- 142, 142, 141, 145, 145, 186, 142, 150, 218, 150,
807
- 151, 151, 155, 155, 151, 156, 216, 156, 155, 158,
808
- 158, 165, 165, 145, 150, 150, 150, 159, 207, 159,
809
-
810
- 162, 186, 162, 158, 183, 205, 183, 185, 185, 191,
811
- 191, 165, 158, 206, 202, 150, 162, 206, 185, 156,
812
- 185, 162, 192, 162, 192, 196, 198, 196, 198, 209,
813
- 209, 159, 187, 200, 187, 187, 223, 244, 223, 219,
814
- 219, 199, 197, 187, 187, 187, 187, 187, 187, 195,
815
- 219, 195, 219, 210, 187, 187, 187, 187, 187, 187,
816
- 242, 244, 242, 245, 198, 245, 195, 195, 195, 210,
817
- 247, 250, 190, 250, 210, 249, 210, 249, 251, 253,
818
- 251, 253, 189, 188, 184, 181, 176, 195, 221, 174,
819
- 221, 221, 249, 172, 250, 247, 171, 170, 167, 221,
820
-
821
- 221, 221, 160, 221, 221, 157, 152, 144, 143, 138,
822
- 221, 248, 137, 248, 136, 135, 133, 131, 130, 129,
823
- 128, 127, 125, 124, 123, 116, 115, 113, 112, 111,
824
- 105, 101, 98, 96, 248, 95, 94, 93, 248, 248,
825
- 248, 248, 248, 248, 92, 91, 89, 87, 85, 248,
826
- 248, 248, 248, 248, 248, 252, 84, 252, 83, 82,
827
- 81, 80, 79, 78, 77, 76, 75, 72, 70, 69,
828
- 68, 67, 66, 65, 64, 56, 51, 48, 252, 46,
829
- 45, 43, 252, 252, 252, 252, 252, 252, 37, 35,
830
- 30, 27, 25, 252, 252, 252, 252, 252, 252, 255,
831
-
832
- 255, 255, 255, 255, 255, 255, 256, 21, 256, 257,
833
- 257, 257, 258, 258, 20, 258, 258, 258, 258, 259,
834
- 259, 17, 259, 259, 259, 259, 260, 16, 15, 14,
835
- 260, 260, 261, 261, 13, 261, 261, 261, 261, 262,
836
- 262, 262, 262, 262, 262, 262, 263, 263, 12, 263,
837
- 263, 263, 263, 264, 264, 265, 265, 265, 265, 265,
838
- 265, 265, 266, 266, 266, 266, 266, 266, 266, 267,
839
- 267, 11, 267, 267, 267, 267, 268, 268, 268, 268,
840
- 268, 268, 268, 269, 269, 269, 269, 269, 269, 269,
841
- 270, 270, 270, 270, 270, 270, 270, 271, 271, 271,
842
-
843
- 271, 271, 271, 271, 10, 9, 8, 7, 6, 5,
844
- 4, 3, 254, 254, 254, 254, 254, 254, 254, 254,
845
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
846
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
847
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
848
- 254, 254, 254, 254, 254, 254, 254, 254, 254, 254,
849
- 254, 254
782
+ 30, 2, 21, 2, 2, 2, 2, 44, 2, 25,
783
+ 252, 30, 24, 24, 2, 2, 2, 24, 26, 46,
784
+ 2, 74, 21, 21, 245, 25, 25, 31, 44, 28,
785
+ 28, 28, 49, 26, 26, 28, 46, 31, 46, 33,
786
+ 24, 74, 34, 100, 28, 49, 21, 33, 33, 34,
787
+
788
+ 34, 24, 100, 34, 35, 26, 125, 35, 125, 35,
789
+ 41, 41, 41, 38, 35, 35, 35, 36, 38, 36,
790
+ 36, 38, 43, 43, 103, 51, 51, 241, 36, 36,
791
+ 36, 36, 36, 36, 54, 41, 103, 42, 238, 36,
792
+ 36, 36, 36, 36, 36, 40, 42, 40, 52, 40,
793
+ 40, 42, 42, 42, 51, 234, 51, 40, 54, 40,
794
+ 91, 91, 105, 52, 40, 40, 40, 40, 40, 56,
795
+ 56, 105, 56, 57, 57, 57, 234, 57, 60, 62,
796
+ 60, 62, 236, 59, 59, 52, 55, 60, 55, 59,
797
+ 55, 55, 112, 55, 110, 64, 64, 102, 144, 144,
798
+
799
+ 61, 55, 110, 55, 110, 59, 59, 55, 61, 61,
800
+ 102, 63, 60, 62, 63, 64, 63, 165, 112, 62,
801
+ 107, 63, 63, 63, 113, 107, 192, 107, 108, 111,
802
+ 108, 108, 123, 123, 123, 145, 145, 113, 113, 145,
803
+ 108, 108, 235, 108, 108, 233, 113, 113, 113, 121,
804
+ 108, 165, 192, 111, 121, 111, 121, 113, 122, 130,
805
+ 122, 130, 138, 124, 138, 122, 122, 122, 124, 124,
806
+ 124, 146, 146, 149, 149, 155, 155, 146, 154, 155,
807
+ 154, 159, 159, 160, 163, 160, 163, 159, 162, 162,
808
+ 169, 169, 166, 149, 166, 154, 154, 154, 188, 189,
809
+
810
+ 188, 189, 162, 197, 197, 198, 232, 198, 166, 253,
811
+ 169, 162, 202, 166, 202, 166, 154, 160, 163, 191,
812
+ 191, 215, 215, 201, 204, 201, 204, 212, 226, 224,
813
+ 191, 212, 191, 193, 253, 193, 193, 229, 222, 229,
814
+ 201, 201, 201, 213, 193, 193, 193, 193, 193, 193,
815
+ 216, 250, 225, 225, 211, 193, 193, 193, 193, 193,
816
+ 193, 201, 204, 225, 208, 225, 216, 248, 251, 248,
817
+ 251, 216, 206, 216, 227, 250, 227, 227, 255, 256,
818
+ 255, 256, 257, 205, 257, 227, 227, 227, 203, 227,
819
+ 227, 259, 196, 259, 195, 255, 227, 254, 194, 254,
820
+
821
+ 190, 186, 256, 181, 179, 176, 175, 174, 171, 164,
822
+ 161, 156, 148, 147, 142, 141, 140, 139, 137, 135,
823
+ 254, 134, 133, 132, 254, 254, 254, 254, 254, 254,
824
+ 131, 129, 128, 127, 120, 254, 254, 254, 254, 254,
825
+ 254, 258, 119, 258, 117, 116, 115, 109, 106, 104,
826
+ 101, 99, 98, 97, 96, 95, 94, 92, 90, 88,
827
+ 87, 86, 85, 84, 258, 83, 82, 81, 258, 258,
828
+ 258, 258, 258, 258, 80, 79, 78, 75, 73, 258,
829
+ 258, 258, 258, 258, 258, 261, 261, 261, 261, 261,
830
+ 261, 261, 262, 72, 262, 263, 263, 263, 264, 264,
831
+
832
+ 71, 264, 264, 264, 264, 265, 265, 70, 265, 265,
833
+ 265, 265, 266, 69, 68, 67, 266, 266, 267, 267,
834
+ 66, 267, 267, 267, 267, 268, 268, 268, 268, 268,
835
+ 268, 268, 269, 269, 58, 269, 269, 269, 269, 270,
836
+ 270, 271, 271, 271, 271, 271, 271, 271, 272, 272,
837
+ 272, 272, 272, 272, 272, 273, 273, 53, 273, 273,
838
+ 273, 273, 274, 274, 274, 274, 274, 274, 274, 275,
839
+ 275, 275, 275, 275, 275, 275, 276, 276, 276, 276,
840
+ 276, 276, 276, 277, 277, 277, 277, 277, 277, 277,
841
+ 50, 48, 47, 45, 39, 37, 32, 29, 27, 23,
842
+
843
+ 22, 19, 18, 17, 16, 15, 14, 13, 12, 11,
844
+ 10, 9, 8, 7, 6, 5, 4, 3, 260, 260,
845
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
846
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
847
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
848
+ 260, 260, 260, 260, 260, 260, 260, 260, 260, 260,
849
+ 260, 260, 260, 260, 260, 260, 260, 260
850
850
  } ;
851
851
 
852
852
  /* The intent behind this definition is that it'll catch
@@ -919,6 +919,7 @@ static const flex_int16_t yy_chk[663] =
919
919
  #define python_dcomment 5
920
920
  #define python_scomment 6
921
921
  #define roff_comment 7
922
+ #define lean_comment 8
922
923
 
923
924
  #ifndef YY_NO_UNISTD_H
924
925
  /* Special case for "unistd.h", since it is non-ANSI. We include it way
@@ -1016,7 +1017,7 @@ extern int yywrap ( yyscan_t yyscanner );
1016
1017
  #endif
1017
1018
 
1018
1019
  #ifndef YY_NO_UNPUT
1019
-
1020
+
1020
1021
  #endif
1021
1022
 
1022
1023
  #ifndef yytext_ptr
@@ -1178,7 +1179,7 @@ YY_DECL
1178
1179
  #line 56 "tokenizer.l"
1179
1180
 
1180
1181
 
1181
- #line 1182 "lex.linguist_yy.c"
1182
+ #line 1183 "lex.linguist_yy.c"
1182
1183
 
1183
1184
  while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */
1184
1185
  {
@@ -1206,13 +1207,13 @@ yy_match:
1206
1207
  while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1207
1208
  {
1208
1209
  yy_current_state = (int) yy_def[yy_current_state];
1209
- if ( yy_current_state >= 255 )
1210
+ if ( yy_current_state >= 261 )
1210
1211
  yy_c = yy_meta[yy_c];
1211
1212
  }
1212
1213
  yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
1213
1214
  ++yy_cp;
1214
1215
  }
1215
- while ( yy_current_state != 254 );
1216
+ while ( yy_current_state != 260 );
1216
1217
  yy_cp = yyg->yy_last_accepting_cpos;
1217
1218
  yy_current_state = yyg->yy_last_accepting_state;
1218
1219
 
@@ -1377,20 +1378,20 @@ YY_RULE_SETUP
1377
1378
  { FEED_STATIC("COMMENT.ig"); BEGIN(roff_comment); return 1; }
1378
1379
  YY_BREAK
1379
1380
  case 23:
1380
- /* rule 23 can match eol */
1381
1381
  YY_RULE_SETUP
1382
- #line 106 "tokenizer.l"
1383
- { /* nothing */ }
1382
+ #line 105 "tokenizer.l"
1383
+ { FEED_STATIC("COMMENT/-"); BEGIN(lean_comment); return 1; }
1384
1384
  YY_BREAK
1385
1385
  case 24:
1386
1386
  YY_RULE_SETUP
1387
- #line 107 "tokenizer.l"
1388
- { BEGIN(INITIAL); }
1387
+ #line 106 "tokenizer.l"
1388
+ { FEED_STATIC("COMMENT/-"); BEGIN(lean_comment); return 1; }
1389
1389
  YY_BREAK
1390
1390
  case 25:
1391
+ /* rule 25 can match eol */
1391
1392
  YY_RULE_SETUP
1392
1393
  #line 108 "tokenizer.l"
1393
- { BEGIN(INITIAL); }
1394
+ { /* nothing */ }
1394
1395
  YY_BREAK
1395
1396
  case 26:
1396
1397
  YY_RULE_SETUP
@@ -1413,25 +1414,25 @@ YY_RULE_SETUP
1413
1414
  { BEGIN(INITIAL); }
1414
1415
  YY_BREAK
1415
1416
  case 30:
1416
- /* rule 30 can match eol */
1417
1417
  YY_RULE_SETUP
1418
1418
  #line 113 "tokenizer.l"
1419
1419
  { BEGIN(INITIAL); }
1420
1420
  YY_BREAK
1421
1421
  case 31:
1422
1422
  YY_RULE_SETUP
1423
- #line 115 "tokenizer.l"
1424
- { /* nothing */ }
1423
+ #line 114 "tokenizer.l"
1424
+ { BEGIN(INITIAL); }
1425
1425
  YY_BREAK
1426
1426
  case 32:
1427
+ /* rule 32 can match eol */
1427
1428
  YY_RULE_SETUP
1428
- #line 116 "tokenizer.l"
1429
- { eat_until_unescaped('"'); }
1429
+ #line 115 "tokenizer.l"
1430
+ { BEGIN(INITIAL); }
1430
1431
  YY_BREAK
1431
1432
  case 33:
1432
1433
  YY_RULE_SETUP
1433
- #line 117 "tokenizer.l"
1434
- { eat_until_unescaped('\''); }
1434
+ #line 116 "tokenizer.l"
1435
+ { BEGIN(INITIAL); }
1435
1436
  YY_BREAK
1436
1437
  case 34:
1437
1438
  YY_RULE_SETUP
@@ -1440,22 +1441,22 @@ YY_RULE_SETUP
1440
1441
  YY_BREAK
1441
1442
  case 35:
1442
1443
  YY_RULE_SETUP
1443
- #line 120 "tokenizer.l"
1444
- { FEED(); return 1; }
1444
+ #line 119 "tokenizer.l"
1445
+ { eat_until_unescaped('"'); }
1445
1446
  YY_BREAK
1446
1447
  case 36:
1447
1448
  YY_RULE_SETUP
1448
- #line 122 "tokenizer.l"
1449
- { FEED(); return 1; }
1449
+ #line 120 "tokenizer.l"
1450
+ { eat_until_unescaped('\''); }
1450
1451
  YY_BREAK
1451
1452
  case 37:
1452
1453
  YY_RULE_SETUP
1453
- #line 123 "tokenizer.l"
1454
- { FEED(); return 1; }
1454
+ #line 121 "tokenizer.l"
1455
+ { /* nothing */ }
1455
1456
  YY_BREAK
1456
1457
  case 38:
1457
1458
  YY_RULE_SETUP
1458
- #line 124 "tokenizer.l"
1459
+ #line 123 "tokenizer.l"
1459
1460
  { FEED(); return 1; }
1460
1461
  YY_BREAK
1461
1462
  case 39:
@@ -1480,42 +1481,42 @@ YY_RULE_SETUP
1480
1481
  YY_BREAK
1481
1482
  case 43:
1482
1483
  YY_RULE_SETUP
1483
- #line 130 "tokenizer.l"
1484
+ #line 129 "tokenizer.l"
1484
1485
  { FEED(); return 1; }
1485
1486
  YY_BREAK
1486
1487
  case 44:
1487
1488
  YY_RULE_SETUP
1488
- #line 132 "tokenizer.l"
1489
+ #line 130 "tokenizer.l"
1489
1490
  { FEED(); return 1; }
1490
1491
  YY_BREAK
1491
1492
  case 45:
1492
1493
  YY_RULE_SETUP
1493
- #line 133 "tokenizer.l"
1494
+ #line 131 "tokenizer.l"
1494
1495
  { FEED(); return 1; }
1495
1496
  YY_BREAK
1496
1497
  case 46:
1497
1498
  YY_RULE_SETUP
1498
- #line 135 "tokenizer.l"
1499
+ #line 133 "tokenizer.l"
1499
1500
  { FEED(); return 1; }
1500
1501
  YY_BREAK
1501
1502
  case 47:
1502
1503
  YY_RULE_SETUP
1503
- #line 136 "tokenizer.l"
1504
+ #line 135 "tokenizer.l"
1504
1505
  { FEED(); return 1; }
1505
1506
  YY_BREAK
1506
1507
  case 48:
1507
1508
  YY_RULE_SETUP
1508
- #line 138 "tokenizer.l"
1509
+ #line 136 "tokenizer.l"
1509
1510
  { FEED(); return 1; }
1510
1511
  YY_BREAK
1511
1512
  case 49:
1512
1513
  YY_RULE_SETUP
1513
- #line 139 "tokenizer.l"
1514
+ #line 138 "tokenizer.l"
1514
1515
  { FEED(); return 1; }
1515
1516
  YY_BREAK
1516
1517
  case 50:
1517
1518
  YY_RULE_SETUP
1518
- #line 140 "tokenizer.l"
1519
+ #line 139 "tokenizer.l"
1519
1520
  { FEED(); return 1; }
1520
1521
  YY_BREAK
1521
1522
  case 51:
@@ -1545,32 +1546,32 @@ YY_RULE_SETUP
1545
1546
  YY_BREAK
1546
1547
  case 56:
1547
1548
  YY_RULE_SETUP
1548
- #line 147 "tokenizer.l"
1549
+ #line 146 "tokenizer.l"
1549
1550
  { FEED(); return 1; }
1550
1551
  YY_BREAK
1551
1552
  case 57:
1552
1553
  YY_RULE_SETUP
1553
- #line 148 "tokenizer.l"
1554
+ #line 147 "tokenizer.l"
1554
1555
  { FEED(); return 1; }
1555
1556
  YY_BREAK
1556
1557
  case 58:
1557
1558
  YY_RULE_SETUP
1558
- #line 149 "tokenizer.l"
1559
+ #line 148 "tokenizer.l"
1559
1560
  { FEED(); return 1; }
1560
1561
  YY_BREAK
1561
1562
  case 59:
1562
1563
  YY_RULE_SETUP
1563
- #line 151 "tokenizer.l"
1564
+ #line 150 "tokenizer.l"
1564
1565
  { FEED(); return 1; }
1565
1566
  YY_BREAK
1566
1567
  case 60:
1567
1568
  YY_RULE_SETUP
1568
- #line 152 "tokenizer.l"
1569
+ #line 151 "tokenizer.l"
1569
1570
  { FEED(); return 1; }
1570
1571
  YY_BREAK
1571
1572
  case 61:
1572
1573
  YY_RULE_SETUP
1573
- #line 153 "tokenizer.l"
1574
+ #line 152 "tokenizer.l"
1574
1575
  { FEED(); return 1; }
1575
1576
  YY_BREAK
1576
1577
  case 62:
@@ -1654,17 +1655,32 @@ YY_RULE_SETUP
1654
1655
  { FEED(); return 1; }
1655
1656
  YY_BREAK
1656
1657
  case 78:
1657
- /* rule 78 can match eol */
1658
+ YY_RULE_SETUP
1659
+ #line 170 "tokenizer.l"
1660
+ { FEED(); return 1; }
1661
+ YY_BREAK
1662
+ case 79:
1658
1663
  YY_RULE_SETUP
1659
1664
  #line 171 "tokenizer.l"
1665
+ { FEED(); return 1; }
1666
+ YY_BREAK
1667
+ case 80:
1668
+ YY_RULE_SETUP
1669
+ #line 172 "tokenizer.l"
1670
+ { FEED(); return 1; }
1671
+ YY_BREAK
1672
+ case 81:
1673
+ /* rule 81 can match eol */
1674
+ YY_RULE_SETUP
1675
+ #line 174 "tokenizer.l"
1660
1676
  { /* nothing */ }
1661
1677
  YY_BREAK
1662
- case 79:
1678
+ case 82:
1663
1679
  YY_RULE_SETUP
1664
- #line 173 "tokenizer.l"
1680
+ #line 176 "tokenizer.l"
1665
1681
  YY_FATAL_ERROR( "flex scanner jammed" );
1666
1682
  YY_BREAK
1667
- #line 1668 "lex.linguist_yy.c"
1683
+ #line 1684 "lex.linguist_yy.c"
1668
1684
  case YY_STATE_EOF(INITIAL):
1669
1685
  case YY_STATE_EOF(c_comment):
1670
1686
  case YY_STATE_EOF(xml_comment):
@@ -1673,6 +1689,7 @@ case YY_STATE_EOF(ocaml_comment):
1673
1689
  case YY_STATE_EOF(python_dcomment):
1674
1690
  case YY_STATE_EOF(python_scomment):
1675
1691
  case YY_STATE_EOF(roff_comment):
1692
+ case YY_STATE_EOF(lean_comment):
1676
1693
  yyterminate();
1677
1694
 
1678
1695
  case YY_END_OF_BUFFER:
@@ -1972,7 +1989,7 @@ static int yy_get_next_buffer (yyscan_t yyscanner)
1972
1989
  while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1973
1990
  {
1974
1991
  yy_current_state = (int) yy_def[yy_current_state];
1975
- if ( yy_current_state >= 255 )
1992
+ if ( yy_current_state >= 261 )
1976
1993
  yy_c = yy_meta[yy_c];
1977
1994
  }
1978
1995
  yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
@@ -2001,11 +2018,11 @@ static int yy_get_next_buffer (yyscan_t yyscanner)
2001
2018
  while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
2002
2019
  {
2003
2020
  yy_current_state = (int) yy_def[yy_current_state];
2004
- if ( yy_current_state >= 255 )
2021
+ if ( yy_current_state >= 261 )
2005
2022
  yy_c = yy_meta[yy_c];
2006
2023
  }
2007
2024
  yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
2008
- yy_is_jam = (yy_current_state == 254);
2025
+ yy_is_jam = (yy_current_state == 260);
2009
2026
 
2010
2027
  (void)yyg;
2011
2028
  return yy_is_jam ? 0 : yy_current_state;
@@ -2165,7 +2182,7 @@ static void yy_load_buffer_state (yyscan_t yyscanner)
2165
2182
  YY_BUFFER_STATE yy_create_buffer (FILE * file, int size , yyscan_t yyscanner)
2166
2183
  {
2167
2184
  YY_BUFFER_STATE b;
2168
-
2185
+
2169
2186
  b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) , yyscanner );
2170
2187
  if ( ! b )
2171
2188
  YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
@@ -2231,7 +2248,7 @@ static void yy_load_buffer_state (yyscan_t yyscanner)
2231
2248
  }
2232
2249
 
2233
2250
  b->yy_is_interactive = 0;
2234
-
2251
+
2235
2252
  errno = oerrno;
2236
2253
  }
2237
2254
 
@@ -2373,7 +2390,7 @@ static void yyensure_buffer_stack (yyscan_t yyscanner)
2373
2390
  YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size , yyscan_t yyscanner)
2374
2391
  {
2375
2392
  YY_BUFFER_STATE b;
2376
-
2393
+
2377
2394
  if ( size < 2 ||
2378
2395
  base[size-2] != YY_END_OF_BUFFER_CHAR ||
2379
2396
  base[size-1] != YY_END_OF_BUFFER_CHAR )
@@ -2409,7 +2426,7 @@ YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size , yyscan_t yyscann
2409
2426
  */
2410
2427
  YY_BUFFER_STATE yy_scan_string (const char * yystr , yyscan_t yyscanner)
2411
2428
  {
2412
-
2429
+
2413
2430
  return yy_scan_bytes( yystr, (int) strlen(yystr) , yyscanner);
2414
2431
  }
2415
2432
 
@@ -2426,7 +2443,7 @@ YY_BUFFER_STATE yy_scan_bytes (const char * yybytes, int _yybytes_len , yyscan
2426
2443
  char *buf;
2427
2444
  yy_size_t n;
2428
2445
  int i;
2429
-
2446
+
2430
2447
  /* Get memory for full buffer, including space for trailing EOB's. */
2431
2448
  n = (yy_size_t) (_yybytes_len + 2);
2432
2449
  buf = (char *) yyalloc( n , yyscanner );
@@ -2499,7 +2516,7 @@ int yyget_lineno (yyscan_t yyscanner)
2499
2516
 
2500
2517
  if (! YY_CURRENT_BUFFER)
2501
2518
  return 0;
2502
-
2519
+
2503
2520
  return yylineno;
2504
2521
  }
2505
2522
 
@@ -2512,7 +2529,7 @@ int yyget_column (yyscan_t yyscanner)
2512
2529
 
2513
2530
  if (! YY_CURRENT_BUFFER)
2514
2531
  return 0;
2515
-
2532
+
2516
2533
  return yycolumn;
2517
2534
  }
2518
2535
 
@@ -2574,7 +2591,7 @@ void yyset_lineno (int _line_number , yyscan_t yyscanner)
2574
2591
  /* lineno is only valid if an input buffer exists. */
2575
2592
  if (! YY_CURRENT_BUFFER )
2576
2593
  YY_FATAL_ERROR( "yyset_lineno called with no buffer" );
2577
-
2594
+
2578
2595
  yylineno = _line_number;
2579
2596
  }
2580
2597
 
@@ -2589,7 +2606,7 @@ void yyset_column (int _column_no , yyscan_t yyscanner)
2589
2606
  /* column is only valid if an input buffer exists. */
2590
2607
  if (! YY_CURRENT_BUFFER )
2591
2608
  YY_FATAL_ERROR( "yyset_column called with no buffer" );
2592
-
2609
+
2593
2610
  yycolumn = _column_no;
2594
2611
  }
2595
2612
 
@@ -2806,4 +2823,6 @@ void yyfree (void * ptr , yyscan_t yyscanner)
2806
2823
 
2807
2824
  #define YYTABLES_NAME "yytables"
2808
2825
 
2809
- #line 173 "tokenizer.l"
2826
+ #line 176 "tokenizer.l"
2827
+
2828
+