From 97137d8f4afb5e81390e9084ef64dc298067b80a Mon Sep 17 00:00:00 2001
From: kazk <kazk.dev@gmail.com>
Date: Sun, 17 Mar 2019 18:14:52 -0700
Subject: [PATCH] Add few keywords (#4)

Fixes https://github.com/Codewars/codemirror-agda/issues/2
---
 docs/agda.js     | 2 +-
 src/agda-mode.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/agda.js b/docs/agda.js
index cfc6af5..fe6dd38 100644
--- a/docs/agda.js
+++ b/docs/agda.js
@@ -17,7 +17,7 @@
       "infix|infixl|infixr|instance|let|macro|module|mutual|no-eta-equality|" +
       "open|overlap|pattern|postulate|primitive|private|public|quote|" +
       "quoteContext|quoteGoal|quoteTerm|record|renaming|rewrite|" +
-      "syntax|tactic|unquote|unquoteDecl|unquoteDef|using|where|with|" +
+      "syntax|tactic|to|unquote|unquoteDecl|unquoteDef|using|variable|where|with|" +
       'Set(?:\\d+|[₀₁₂₃₄₅₆₇₈₉]+)?)(?=[.;{}()@"\\s]|$)',
     "u"
   );
diff --git a/src/agda-mode.js b/src/agda-mode.js
index 729190b..c93842a 100644
--- a/src/agda-mode.js
+++ b/src/agda-mode.js
@@ -10,7 +10,7 @@ const keywordsRegex = new RegExp(
     "infix|infixl|infixr|instance|let|macro|module|mutual|no-eta-equality|" +
     "open|overlap|pattern|postulate|primitive|private|public|quote|" +
     "quoteContext|quoteGoal|quoteTerm|record|renaming|rewrite|" +
-    "syntax|tactic|unquote|unquoteDecl|unquoteDef|using|where|with|" +
+    "syntax|tactic|to|unquote|unquoteDecl|unquoteDef|using|variable|where|with|" +
     'Set(?:\\d+|[₀₁₂₃₄₅₆₇₈₉]+)?)(?=[.;{}()@"\\s]|$)',
   "u"
 );