changed the lexer a bit

sharadmv · Dec 19, 2012 · b1cb036 · b1cb036
1 parent 3cb2e31
commit b1cb036
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/blog/lexer.py b/blog/lexer.py
@@ -6,8 +6,8 @@ class BlogLexer(RegexLexer):
     aliases = ['blog']
     filenames = ['*.blog']
     operators = ['=','~',':']
-    keywords = ['extern','import','fixed','func','distinct','random','origin','param','type']
-    types = ['Int','Real','Boolean','NaturalNum','List','Map','TabularCPD','Categorical','Distribution','Gaussian','type0','type1','type2','typename']
+    keywords = ['extern','import','fixed','distinct','random','origin','param','type', 'forall', 'exists']
+    types = ['Integer','Real','Boolean','NaturalNum','List','Map','TabularCPD','Categorical','Distribution','Gaussian']
 
     def gen_regex(ops):
         return "|".join(ops)