diff options
| author | Denis Buzdalov <public@buzden.ru> | 2020-01-16 18:49:42 +0300 |
|---|---|---|
| committer | Denis Buzdalov <public@buzden.ru> | 2020-01-16 18:49:42 +0300 |
| commit | 4b90af42ca17cc1d1624ccc83039288fb6867685 (patch) | |
| tree | 772af49a9c5584596be248ae3cfec7c1878a746e /pygments/lexers/haskell.py | |
| parent | 27d7a3073073419c60df423310382bf55e7ed867 (diff) | |
| download | pygments-git-4b90af42ca17cc1d1624ccc83039288fb6867685.tar.gz | |
Lacking keywords were added to the Idris lexer.
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index edc506cf..72e2cceb 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -198,6 +198,7 @@ class IdrisLexer(RegexLexer): 'if', 'in', 'infix[lr]?', 'instance', 'rewrite', 'auto', 'namespace', 'codata', 'mutual', 'private', 'public', 'abstract', 'total', 'partial', + 'interface', 'implementation', 'export', 'covering', 'constructor', 'let', 'proof', 'of', 'then', 'static', 'where', '_', 'with', 'pattern', 'term', 'syntax', 'prefix', 'postulate', 'parameters', 'record', 'dsl', 'impossible', 'implicit', |