diff options
| author | Liang-Ting Chen <liang.ting.chen.tw@gmail.com> | 2022-02-20 19:09:27 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-20 12:09:27 +0100 |
| commit | e36191c0cfb8a05e16f39241dbd86054b6b009ac (patch) | |
| tree | 1224a522f7a8f2bdd02060bb48db22bea50db74e /pygments/lexers/haskell.py | |
| parent | 10b17a899d88ba8ea06d0f61657b477064671201 (diff) | |
| download | pygments-git-e36191c0cfb8a05e16f39241dbd86054b6b009ac.tar.gz | |
Update Agda’s reserved words (#2017)
A number of keywords are added and a deprecated keyword `unquoteGoal` is removed. For the latest set of keywords in Agda, see https://github.com/agda/agda/blob/master/src/full/Agda/Syntax/Parser/Lexer.x#L153-L193.
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index 4bc167f5..61430f10 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -302,13 +302,13 @@ class AgdaLexer(RegexLexer): filenames = ['*.agda'] mimetypes = ['text/x-agda'] - reserved = ['abstract', 'codata', 'coinductive', 'constructor', 'data', - 'field', 'forall', 'hiding', 'in', 'inductive', 'infix', - 'infixl', 'infixr', 'instance', 'let', 'mutual', 'open', - 'pattern', 'postulate', 'primitive', 'private', - 'quote', 'quoteGoal', 'quoteTerm', + reserved = ['abstract', 'codata', 'coinductive', 'constructor', 'data', 'do', + 'eta-equality', 'field', 'forall', 'hiding', 'in', 'inductive', 'infix', + 'infixl', 'infixr', 'instance', 'interleaved', 'let', 'macro', 'mutual', + 'no-eta-equality', 'open', 'overlap', 'pattern', 'postulate', 'primitive', 'private', + 'quote', 'quoteTerm', 'record', 'renaming', 'rewrite', 'syntax', 'tactic', - 'unquote', 'unquoteDecl', 'using', 'where', 'with'] + 'unquote', 'unquoteDecl', 'unquoteDef', 'using', 'variable', 'where', 'with'] tokens = { 'root': [ |