diff options
| -rw-r--r-- | pygments/lexers/haskell.py | 9 | ||||
| -rw-r--r-- | tests/examplefiles/test.agda | 7 |
2 files changed, 12 insertions, 4 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index a6aa55f6..6cee1223 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -275,10 +275,11 @@ class AgdaLexer(RegexLexer): reserved = ['abstract', 'codata', 'coinductive', 'constructor', 'data', 'field', 'forall', 'hiding', 'in', 'inductive', 'infix', - 'infixl', 'infixr', 'let', 'open', 'pattern', 'primitive', - 'private', 'mutual', 'quote', 'quoteGoal', 'quoteTerm', - 'record', 'syntax', 'rewrite', 'unquote', 'using', 'where', - 'with'] + 'infixl', 'infixr', 'instance', 'let', 'mutual', 'open', + 'pattern', 'postulate', 'primitive', 'private', + 'quote', 'quoteGoal', 'quoteTerm', + 'record', 'renaming', 'rewrite', 'syntax', 'tactic', + 'unquote', 'unquoteDecl', 'using', 'where', 'with'] tokens = { 'root': [ diff --git a/tests/examplefiles/test.agda b/tests/examplefiles/test.agda index d930a77b..f6cea91c 100644 --- a/tests/examplefiles/test.agda +++ b/tests/examplefiles/test.agda @@ -12,11 +12,18 @@ open import Data.List hiding ([_]) open import Data.Vec hiding ([_]) open import Relation.Nullary.Core open import Relation.Binary.PropositionalEquality using (_≡_; refl; cong; trans; inspect; [_]) + renaming (setoid to setiod) open SemiringSolver {- this is a {- nested -} comment -} +postulate pierce : {A B : Set} → ((A → B) → A) → A + +instance + someBool : Bool + someBool = true + -- Factorial _! : ℕ → ℕ 0 ! = 1 |