'with' keyword

twanvl · Jun 22, 2013 · 24f51b8 · 24f51b8
1 parent 4565949
commit 24f51b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/AgdaFormat.php b/lib/AgdaFormat.php
@@ -18,7 +18,7 @@ public function __construct() {
 global $agda_lang;
 $agda_lang = $haskell_lang;
 $agda_lang['keyglyph'] = '@=>|=|->|::|\\\\|<-|\||[∀→_]@u';
-$agda_lang['keyword'] = '@\b(if|then|else|module|open|import|qualified|hiding|where|let|in|case|of|newtype|default|infix|infixr|infixl|data|class|instance|forall|exists|deriving|do|record|field|open|public|private|renaming|postulate|__keyword__[[:alnum:]]+)(?=$|[ (){}])@';
+$agda_lang['keyword'] = '@\b(if|then|else|module|open|import|qualified|hiding|where|let|in|case|of|newtype|default|infix|infixr|infixl|data|class|instance|forall|exists|deriving|do|record|field|open|public|private|renaming|postulate|with|__keyword__[[:alnum:]]+)(?=$|[ (){}])@';
 $agda_lang['conop'] = "@[⊎ℕ]@u";
 $agda_lang['varop'] = "@([-:\\@#$%^*.|=+<>&~/\\\\\'⟶≈⟨⟩⌈⌉⌊⌋≤◂≡≢?∘\\[\\]]|!!?(?!!))+[^ (){}_]*(__[{][^}]*[}])?@u";
 $agda_lang['conid'] = "@\\b(?:[[:upper:]][[:alnum:]']*[.])*[[:upper:]][^ (){}_.]*(?=$|[ (){}])@u";