pygments.rb 3.0.0 → 5.0.0

data/vendor/pygments-main/pygments/lexers/configs.py

@@ -4,7 +4,7 @@
 
     Lexers for configuration file formats.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -44,15 +44,24 @@ class IniLexer(RegexLexer):
             (r'\s+', Whitespace),
             (r'[;#].*', Comment.Single),
             (r'(\[.*?\])([ \t]*)$', bygroups(Keyword, Whitespace)),
-            (r'(.*?)([  \t]*)([=:])([ \t]*)([^;#\n]*)(\\)(\s+)',
+            (r'''(.*?)([ \t]*)([=:])([ \t]*)(["'])''',
+             bygroups(Name.Attribute, Whitespace, Operator, Whitespace, String),
+             "quoted_value"),
+            (r'(.*?)([ \t]*)([=:])([ \t]*)([^;#\n]*)(\\)(\s+)',
              bygroups(Name.Attribute, Whitespace, Operator, Whitespace, String,
                       Text, Whitespace),
              "value"),
-            (r'(.*?)([ \t]*)([=:])([  \t]*)([^ ;#\n]*(?: +[^ ;#\n]+)*)',
+            (r'(.*?)([ \t]*)([=:])([ \t]*)([^ ;#\n]*(?: +[^ ;#\n]+)*)',
              bygroups(Name.Attribute, Whitespace, Operator, Whitespace, String)),
             # standalone option, supported by some INI parsers
             (r'(.+?)$', Name.Attribute),
         ],
+        'quoted_value': [
+            (r'''([^"'\n]*)(["'])(\s*)''',
+             bygroups(String, String, Whitespace), "#pop"),
+            (r'[;#].*', Comment.Single),
+            (r'$', String, "#pop"),
+        ],
         'value': [     # line continuation
             (r'\s+', Whitespace),
             (r'(\s*)(.*)(\\)([ \t]*)',
@@ -1118,7 +1127,7 @@ class TOMLLexer(RegexLexer):
     # Based on the TOML spec: https://toml.io/en/v1.0.0
 
     # The following is adapted from CPython's tomllib:
-    _time = r"\d\d:\d\d:\d\d(\.\d+)?"
+    _time = r"\d\d:\d\d(:\d\d(\.\d+)?)?"
     _datetime = rf"""(?x)
                   \d\d\d\d-\d\d-\d\d # date, e.g., 1988-10-27
                 (
@@ -1229,9 +1238,9 @@ class TOMLLexer(RegexLexer):
             default('value'),
         ],
         'inline-table': [
-            # Note that unlike inline arrays, inline tables do not
-            # allow newlines or comments.
-            (r'[ \t]+', Whitespace),
+            # Whitespace (since TOML 1.1.0, same as in array)
+            (r'\s+', Whitespace),
+            (r'#.*', Comment.Single),
 
             # Keys
             include('key'),
@@ -1266,7 +1275,7 @@ class TOMLLexer(RegexLexer):
             (r"'", String.Single),
         ],
         'escapes': [
-            (r'\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}', String.Escape),
+            (r'\\x[0-9a-fA-F]{2}|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}', String.Escape),
             (r'\\.', String.Escape),
         ],
     }

data/vendor/pygments-main/pygments/lexers/console.py

@@ -4,7 +4,7 @@
 
     Lexers for misc console output.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/cplint.py

@@ -4,7 +4,7 @@
 
     Lexer for the cplint language
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/crystal.py

@@ -4,7 +4,7 @@
 
     Lexer for Crystal.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/csound.py

@@ -4,7 +4,7 @@
 
     Lexers for Csound languages.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/css.py

@@ -4,7 +4,7 @@
 
     Lexers for CSS and related stylesheet formats.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -96,7 +96,7 @@ _keyword_values = (
     'padding-box', 'page', 'pan-down', 'pan-left', 'pan-right', 'pan-up',
     'pan-x', 'pan-y', 'paused', 'petite-caps', 'pixelated', 'pointer',
     'preserve-3d', 'progress', 'proximity', 'relative', 'repeat',
-    'repeat no-repeat', 'repeat-x', 'repeat-y', 'reverse', 'ridge', 'right',
+    'repeat no-repeat', 'repeat-x', 'repeat-y', 'reverse', 'revert', 'ridge', 'right',
     'round', 'row', 'row-resize', 'row-reverse', 'rtl', 'ruby', 'ruby-base',
     'ruby-base-container', 'ruby-text', 'ruby-text-container', 'run-in',
     'running', 's-resize', 'sans-serif', 'saturation', 'scale-down', 'screen',
@@ -590,13 +590,43 @@ class LessCssLexer(CssLexer):
     version_added = '2.1'
 
     tokens = {
+        # FIXME: It's not currently possible to simply do the following,
+        #        as `include('basics')` doesn't take overrides into account:
+        # 'basics': [
+        #     (r'//.*\n', Comment.Single),
+        #     (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
+        #     inherit,
+        # ],
         'root': [
             (r'@\w+', Name.Variable),
+            (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
+            inherit,
+        ],
+        'atcontent': [
+            (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
+            inherit,
+        ],
+        'atrule': [
+            (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
             inherit,
         ],
         'content': [
             (r'\{', Punctuation, '#push'),
             (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
+            inherit,
+        ],
+        'value-start': [
+            (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
+            inherit,
+        ],
+        'function-start': [
+            (r'//.*\n', Comment.Single),
+            (r'/\*(?:.|\n)*?\*/', Comment.Multiline),
             inherit,
         ],
     }

data/vendor/pygments-main/pygments/lexers/d.py

@@ -4,7 +4,7 @@
 
     Lexers for D languages.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/dalvik.py

@@ -4,7 +4,7 @@
 
     Pygments lexers for Dalvik VM-related languages.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/data.py

@@ -4,7 +4,7 @@
 
     Lexers for data file format.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -447,7 +447,7 @@ class JsonLexer(Lexer):
     name = 'JSON'
     url = 'https://www.json.org'
     aliases = ['json', 'json-object']
-    filenames = ['*.json', '*.jsonl', '*.ndjson', 'Pipfile.lock']
+    filenames = ['*.json', '*.jsonl', '*.ndjson', 'Pipfile.lock', '*.module', '*.xc']
     mimetypes = ['application/json', 'application/json-object', 'application/x-ndjson', 'application/jsonl', 'application/json-seq']
     version_added = '1.5'
 

data/vendor/pygments-main/pygments/lexers/dax.py

@@ -4,7 +4,7 @@
 
     Lexer for LilyPond.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/devicetree.py

@@ -4,7 +4,7 @@
 
     Lexers for Devicetree language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -63,15 +63,19 @@ class DevicetreeLexer(RegexLexer):
                     '#size-cells', 'reg', 'virtual-reg', 'ranges', 'dma-ranges',
                     'device_type', 'name'), suffix=r'\b'), Keyword.Reserved),
             (r'([~!%^&*+=|?:<>/#-])', Operator),
-            (r'[()\[\]{},.]', Punctuation),
-            (r'[a-zA-Z_][\w-]*(?=(?:\s*,\s*[a-zA-Z_][\w-]*|(?:' + _ws + r'))*\s*[=;])',
+            (r'[(){},.\]]', Punctuation),
+            (r'\[', Punctuation, 'bytestring'),
+            (r'[a-zA-Z_][\w-]*(?=(?:\s*,' + _ws + r'[a-zA-Z_][\w-]*)*' + _ws + r'[=;])',
              Name),
             (r'[a-zA-Z_]\w*', Name.Attribute),
         ],
         'root': [
             include('whitespace'),
             include('macro'),
-
+            # Overlay/fragment: &label { ... } or &{/path/to/node} { ... }
+            (r'(&)(?:([A-Za-z_]\w*)|(\{)([^}]+)(\}))(' + _ws + r')(\{)',
+             bygroups(Operator, Name.Function, Punctuation, Name.Namespace,
+                      Punctuation, Comment.Multiline, Punctuation), 'node'),
             # Nodes
             (r'([^/*@\s&]+|/)(@?)((?:0x)?[0-9a-fA-F,]*)(' + _ws + r')(\{)',
              bygroups(Name.Function, Operator, Number.Integer,
@@ -87,7 +91,10 @@ class DevicetreeLexer(RegexLexer):
         'node': [
             include('whitespace'),
             include('macro'),
-
+            # Overlay/fragment: &label { ... } or &{/path/to/node} { ... }
+            (r'(&)(?:([A-Za-z_]\w*)|(\{)([^}]+)(\}))(' + _ws + r')(\{)',
+             bygroups(Operator, Name.Function, Punctuation, Name.Namespace,
+                      Punctuation, Comment.Multiline, Punctuation), '#push'),
             (r'([^/*@\s&]+|/)(@?)((?:0x)?[0-9a-fA-F,]*)(' + _ws + r')(\{)',
              bygroups(Name.Function, Operator, Number.Integer,
                       Comment.Multiline, Punctuation), '#push'),
@@ -105,4 +112,9 @@ class DevicetreeLexer(RegexLexer):
             (r'\\\n', String),  # line continuation
             (r'\\', String),  # stray backslash
         ],
+        'bytestring': [
+            (r'\]', Punctuation, '#pop'),
+            (r'[0-9a-fA-F]{2}', Number.Hex),
+            (r'\s+', Whitespace),
+        ],
     }

data/vendor/pygments-main/pygments/lexers/diff.py

@@ -4,7 +4,7 @@
 
     Lexers for diff/patch formats.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/dns.py

@@ -4,7 +4,7 @@
 
     Pygments lexers for DNS
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/dotnet.py

@@ -4,7 +4,7 @@
 
     Lexers for .net languages.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 import re
@@ -74,6 +74,7 @@ class CSharpLexer(RegexLexer):
     for levelname, cs_ident in levels.items():
         tokens[levelname] = {
             'root': [
+                include('numbers'),
                 # method names
                 (r'^([ \t]*)((?:' + cs_ident + r'(?:\[\])?\s+)+?)'  # return type
                  r'(' + cs_ident + ')'                            # method name
@@ -106,18 +107,29 @@ class CSharpLexer(RegexLexer):
                           Comment.Preproc, Whitespace)),
                 (r'\b(extern)(\s+)(alias)\b', bygroups(Keyword, Whitespace,
                  Keyword)),
-                (r'(abstract|as|async|await|base|break|by|case|catch|'
-                 r'checked|const|continue|default|delegate|'
-                 r'do|else|enum|event|explicit|extern|false|finally|'
-                 r'fixed|for|foreach|goto|if|implicit|in|interface|'
-                 r'internal|is|let|lock|new|null|on|operator|'
-                 r'out|override|params|private|protected|public|readonly|'
-                 r'ref|return|sealed|sizeof|stackalloc|static|'
-                 r'switch|this|throw|true|try|typeof|'
-                 r'unchecked|unsafe|virtual|void|while|'
-                 r'get|set|new|partial|yield|add|remove|value|alias|ascending|'
-                 r'descending|from|group|into|orderby|select|thenby|where|'
-                 r'join|equals)\b', Keyword),
+                (words((
+                    'abstract', 'as', 'async', 'await', 'base', 'break', 'by',
+                    'case', 'catch', 'checked', 'const', 'continue', 'default',
+                    'delegate', 'do', 'else', 'enum', 'event', 'explicit',
+                    'extern', 'false', 'finally', 'fixed', 'for', 'foreach',
+                    'goto', 'if', 'implicit', 'in', 'interface', 'internal',
+                    'is', 'let', 'lock', 'new', 'null', 'on', 'operator',
+                    'out', 'override', 'params', 'private', 'protected',
+                    'public', 'readonly', 'ref', 'return', 'sealed', 'sizeof',
+                    'stackalloc', 'static', 'switch', 'this', 'throw', 'true',
+                    'try', 'typeof', 'unchecked', 'unsafe', 'virtual', 'void',
+                    'while', 'get', 'set', 'new', 'partial', 'yield', 'add',
+                    'remove', 'value', 'alias', 'ascending', 'descending',
+                    'from', 'group', 'into', 'orderby', 'select', 'thenby',
+                    'where', 'join', 'equals', 'record', 'allows',
+                    'and', 'init', 'managed', 'nameof', 'nint', 'not',
+                    'notnull', 'nuint', 'or', 'scoped', 'unmanaged', 'when',
+                    'with'
+                ), suffix=r'\b'), Keyword),
+                # version 1: assumes that 'file' is the only contextual keyword
+                # that is a class modifier
+                (r'(file)(\s+)(record|class|abstract|enum|new|sealed|static)\b',
+                   bygroups(Keyword, Whitespace, Keyword)),
                 (r'(global)(::)', bygroups(Keyword, Punctuation)),
                 (r'(bool|byte|char|decimal|double|dynamic|float|int|long|object|'
                  r'sbyte|short|string|uint|ulong|ushort|var)\b\??', Keyword.Type),
@@ -125,6 +137,21 @@ class CSharpLexer(RegexLexer):
                 (r'(namespace|using)(\s+)', bygroups(Keyword, Whitespace), 'namespace'),
                 (cs_ident, Name),
             ],
+            'numbers_int': [
+                (r"0[xX][0-9a-fA-F]+(([uU][lL]?)|[lL][uU]?)?", Number.Hex),
+                (r"0[bB][01]+(([uU][lL]?)|[lL][uU]?)?", Number.Bin),
+                (r"[0-9]+(([uU][lL]?)|[lL][uU]?)?", Number.Integer),
+            ],
+            'numbers_float': [
+                (r"([0-9]+\.[0-9]+([eE][+-]?[0-9]+)?[fFdDmM]?)|"
+                 r"(\.[0-9]+([eE][+-]?[0-9]+)?[fFdDmM]?)|"
+                 r"([0-9]+([eE][+-]?[0-9]+)[fFdDmM]?)|"
+                 r"([0-9]+[fFdDmM])", Number.Float),
+            ],
+            'numbers': [
+                include('numbers_float'),
+                include('numbers_int'),
+            ],
             'class': [
                 (cs_ident, Name.Class, '#pop'),
                 default('#pop'),

data/vendor/pygments-main/pygments/lexers/dsls.py

@@ -4,7 +4,7 @@
 
     Lexers for various domain-specific languages.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -67,7 +67,7 @@ class ProtoBufLexer(RegexLexer):
             (r'[a-zA-Z_][\w.]*', Name),
         ],
         'package': [
-            (r'[a-zA-Z_]\w*', Name.Namespace, '#pop'),
+            (r'[a-zA-Z_][\w\.]*', Name.Namespace, '#pop'),
             default('#pop'),
         ],
         'message': [

data/vendor/pygments-main/pygments/lexers/dylan.py

@@ -4,7 +4,7 @@
 
     Lexers for the Dylan language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -242,7 +242,7 @@ class DylanConsoleLexer(Lexer):
     """
     For Dylan interactive console output.
 
-    This is based on a copy of the RubyConsoleLexer.
+    This is based on a copy of the ``RubyConsoleLexer``.
     """
     name = 'Dylan session'
     aliases = ['dylan-console', 'dylan-repl']
@@ -250,7 +250,7 @@ class DylanConsoleLexer(Lexer):
     mimetypes = ['text/x-dylan-console']
     url = 'http://www.opendylan.org/'
     version_added = '1.6'
-    _example = 'dylan-console/console'
+    _example = 'dylan-console/console.dylan-console'
 
     _prompt_re = re.compile(r'\?| ')
 

data/vendor/pygments-main/pygments/lexers/ecl.py

@@ -4,7 +4,7 @@
 
     Lexers for the ECL language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/eiffel.py

@@ -4,7 +4,7 @@
 
     Lexer for the Eiffel language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/elm.py

@@ -4,7 +4,7 @@
 
     Lexer for the Elm programming language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/elpi.py

@@ -4,16 +4,17 @@
 
     Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
-from pygments.lexer import RegexLexer, bygroups, include
+from pygments.lexer import RegexLexer, bygroups, include, using
 from pygments.token import Text, Comment, Operator, Keyword, Name, String, \
     Number, Punctuation
 
 __all__ = ['ElpiLexer']
 
+from pygments.lexers.theorem import RocqLexer
 
 class ElpiLexer(RegexLexer):
     """
@@ -51,11 +52,14 @@ class ElpiLexer(RegexLexer):
             (r"(:before|:after|:if|:name)(\s*)(\")",
              bygroups(Keyword.Mode, Text.Whitespace, String.Double),
              'elpi-string'),
-            (r"(:index)(\s*\()", bygroups(Keyword.Mode, Text.Whitespace),
+            (r"(:index)(\s*)(\()", bygroups(Keyword.Mode, Text.Whitespace, Punctuation),
              'elpi-indexing-expr'),
             (rf"\b(external pred|pred)(\s+)({const_sym_re})",
              bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
              'elpi-pred-item'),
+            (rf"\b(func)(\s+)({const_sym_re})",
+             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
+             'elpi-func-item'),
             (rf"\b(external type|type)(\s+)(({const_sym_re}(,\s*)?)+)",
              bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
              'elpi-type'),
@@ -65,6 +69,9 @@ class ElpiLexer(RegexLexer):
             (rf"\b(typeabbrev)(\s+)({const_sym_re})",
              bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
              'elpi-type'),
+            (r"\b(typeabbrev)(\s+)(\([^)]+\))",
+             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
+             'elpi-type'),
             (r"\b(accumulate)(\s+)(\")",
              bygroups(Keyword.Declaration, Text.Whitespace, String.Double),
              'elpi-string'),
@@ -79,7 +86,7 @@ class ElpiLexer(RegexLexer):
              'elpi-chr-rule-start'),
 
             (rf"(?=[A-Z_]){constant_re}", Name.Variable),
-            (rf"(?=[a-z_]){constant_re}\\", Name.Variable),
+            (rf"(?=[a-z_])({constant_re}|_)\\", Name.Variable),
             (r"_", Name.Variable),
             (rf"({symbol_re}|!|=>|;)", Keyword.Declaration),
             (constant_re, Text),
@@ -89,56 +96,75 @@ class ElpiLexer(RegexLexer):
             (r'\'', String.Double, 'elpi-tick'),
             (r'\{\{', Punctuation, 'elpi-quote'),
             (r'\{[^\{]', Text, 'elpi-spill'),
-            (r"\(", Text, 'elpi-in-parens'),
+            (r"\(", Punctuation, 'elpi-in-parens'),
             (r'\d[\d_]*', Number.Integer),
             (r'-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)', Number.Float),
             (r"[\+\*\-/\^\.]", Operator),
         ],
         '_elpi-comment': [
             (r'%[^\n]*\n', Comment),
-            (r'/\*', Comment, 'elpi-multiline-comment'),
+            (r'/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/', Comment),
             (r"\s+", Text.Whitespace),
         ],
-        'elpi-multiline-comment': [
-            (r'\*/', Comment, '#pop'),
-            (r'.', Comment)
-        ],
         'elpi-indexing-expr':[
             (r'[0-9 _]+', Number.Integer),
-            (r'\)', Text, '#pop'),
+            (r'\)', Punctuation, '#pop'),
         ],
         'elpi-type': [
             (r"(ctype\s+)(\")", bygroups(Keyword.Type, String.Double), 'elpi-string'),
             (r'->', Keyword.Type),
+            (r'prop', Keyword.Mode),
             (constant_re, Keyword.Type),
             (r"\(|\)", Keyword.Type),
             (r"\.", Text, '#pop'),
             include('_elpi-comment'),
         ],
         'elpi-chr-rule-start': [
-            (r"\{", Text, 'elpi-chr-rule'),
+            (r"\{", Punctuation, 'elpi-chr-rule'),
             include('_elpi-comment'),
         ],
         'elpi-chr-rule': [
            (r"\brule\b", Keyword.Declaration),
            (r"\\", Keyword.Declaration),
-           (r"\}", Text, '#pop:2'),
+           (r"\}", Punctuation, '#pop:2'),
            include('elpi'),
         ],
         'elpi-pred-item': [
-            (r"[io]:", Keyword.Mode, 'elpi-ctype'),
+            (r"[io]:", Keyword.Mode),
             (r"\.", Text, '#pop'),
+            (r",", Keyword.Mode),
+            include('_elpi-inner-pred-fun'),
+            (r"\)", Keyword.Mode, '#pop'),
+            (r"\(", Keyword.Type, '_elpi-type-item'),
             include('_elpi-comment'),
+            include('_elpi-type-item'),
         ],
-        'elpi-ctype': [
-            (r"(ctype\s+)(\")", bygroups(Keyword.Type, String.Double), 'elpi-string'),
+        'elpi-func-item': [
+            (constant_re, Keyword.Type),
+            (r"\.", Text, '#pop'),
+            (r",", Keyword.Mode),
+            (r'->', Keyword.Mode),
+            include('_elpi-inner-pred-fun'),
+            (r"\)", Keyword.Mode, '#pop'),
+            (r"\(", Keyword.Type, '_elpi-type-item'),
+            include('_elpi-comment'),
+            include('_elpi-type-item'),
+        ],
+        '_elpi-inner-pred-fun': [
+            (r"(\()(\s*)(pred)", bygroups(Keyword.Mode,Text.Whitespace,Keyword.Declaration), 'elpi-pred-item'),
+            (r"(\()(\s*)(func)", bygroups(Keyword.Mode,Text.Whitespace,Keyword.Declaration), 'elpi-func-item'),
+        ],
+        '_elpi-type-item': [
             (r'->', Keyword.Type),
             (constant_re, Keyword.Type),
-            (r"\(|\)", Keyword.Type),
-            (r",", Text, '#pop'),
-            (r"\.", Text, '#pop:2'),
+            include('_elpi-inner-pred-fun'),
+            (r"\(", Keyword.Type, '#push'),
+            (r"\)", Keyword.Type, '#pop'),
             include('_elpi-comment'),
         ],
+
+        ''
+
         'elpi-btick': [
             (r'[^` ]+', String.Double),
             (r'`', String.Double, '#pop'),
@@ -152,11 +178,15 @@ class ElpiLexer(RegexLexer):
             (r'"', String.Double, '#pop'),
         ],
         'elpi-quote': [
-            (r'\{\{', Punctuation, '#push'),
             (r'\}\}', Punctuation, '#pop'),
-            (rf"(lp:)((?=[A-Z_]){constant_re})", bygroups(Keyword, Name.Variable)),
-            (r"[^l\}]+", Text),
-            (r"l|\}", Text),
+            (r"\s+", Text.Whitespace),
+            (r"(lp:)(\{\{)", bygroups(Number, Punctuation), 'elpi-quote-exit'),
+            (rf"(lp:)((?=[A-Z_]){constant_re})", bygroups(Number, Name.Variable)),
+            (r"((?!lp:|\}\}).)+", using(RocqLexer)),
+        ],
+        'elpi-quote-exit': [
+            include('elpi'),
+            (r'\}\}', Punctuation, '#pop'),
         ],
         'elpi-spill': [
             (r'\{[^\{]', Text, '#push'),
@@ -164,9 +194,8 @@ class ElpiLexer(RegexLexer):
             include('elpi'),
         ],
         'elpi-in-parens': [
-            (r"\(", Operator, '#push'),
-            (r"\)", Operator, '#pop'),
+            (r"\(", Punctuation, '#push'),
             include('elpi'),
+            (r"\)", Punctuation, '#pop'),
         ],
-
     }

data/vendor/pygments-main/pygments/lexers/email.py

@@ -4,7 +4,7 @@
 
     Lexer for the raw E-mail.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 

data/vendor/pygments-main/pygments/lexers/erlang.py

@@ -4,7 +4,7 @@
 
     Lexers for Erlang.
 
-    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """