Changed all Lark grammar files to have .lark extension

Lark Grammar files are expected to have a .lark file extension
TiBiBa · Nov 7, 2020 · 289ca9d · 289ca9d
1 parent e46fdd1
commit 289ca9d
Show file tree

Hide file tree

Showing 15 changed files with 1 addition and 1 deletion.
diff --git a/grammars/level1.txt → grammars/level1.lark b/grammars/level1.txt → grammars/level1.lark
diff --git a/grammars/level10.txt → grammars/level10.lark b/grammars/level10.txt → grammars/level10.lark
diff --git a/grammars/level11.txt → grammars/level11.lark b/grammars/level11.txt → grammars/level11.lark
diff --git a/grammars/level12.txt → grammars/level12.lark b/grammars/level12.txt → grammars/level12.lark
diff --git a/grammars/level13.txt → grammars/level13.lark b/grammars/level13.txt → grammars/level13.lark
diff --git a/grammars/level2.txt → grammars/level2.lark b/grammars/level2.txt → grammars/level2.lark
diff --git a/grammars/level3.txt → grammars/level3.lark b/grammars/level3.txt → grammars/level3.lark
diff --git a/grammars/level4.txt → grammars/level4.lark b/grammars/level4.txt → grammars/level4.lark
diff --git a/grammars/level5.txt → grammars/level5.lark b/grammars/level5.txt → grammars/level5.lark
diff --git a/grammars/level6.txt → grammars/level6.lark b/grammars/level6.txt → grammars/level6.lark
diff --git a/grammars/level7-earley.txt → grammars/level7-earley.lark b/grammars/level7-earley.txt → grammars/level7-earley.lark
diff --git a/grammars/level7.txt → grammars/level7.lark b/grammars/level7.txt → grammars/level7.lark
diff --git a/grammars/level8.txt → grammars/level8.lark b/grammars/level8.txt → grammars/level8.lark
diff --git a/grammars/level9.txt → grammars/level9.lark b/grammars/level9.txt → grammars/level9.lark
diff --git a/hedy.py b/hedy.py
@@ -117,7 +117,7 @@ def print(self, args):
 
 
 def create_parser(level):
-    with open(f"grammars/level{str(level)}.txt", "r") as file:
+    with open(f"grammars/level{str(level)}.lark", "r") as file:
         grammar = file.read()
     return Lark(grammar)