Support print-stats

hatoo · Sep 12, 2023 · 46a9769 · 46a9769
1 parent 437e045
commit 46a9769
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 17 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/src_tree.rs b/src/src_tree.rs
@@ -513,6 +513,7 @@ impl SrcTree {
                 "check",
                 "check-proof",
                 "run-schedule",
+                "print-stats",
                 "push",
                 "pop",
                 "print-table",

diff --git a/syntaxes/eggsmol.tmLanguage.json b/syntaxes/eggsmol.tmLanguage.json
@@ -23,7 +23,7 @@
 			"patterns": [
 				{
 					"name": "keyword.control",
-					"match": "\\b(birewrite|calc|check|clear|clear-rules|datatype|declare|define|delete|extract|fail|function|include|input|let|panic|pop|print-size|print-table|print|push|query|relation|repeat|rewrite|rule|run-schedule|run|set|sort|union)\\b"
+					"match": "\\b(birewrite|calc|check|clear|clear-rules|datatype|declare|define|delete|extract|fail|function|include|input|let|panic|pop|print-stats|print-size|print-table|print|push|query|relation|repeat|rewrite|rule|run-schedule|run|set|sort|union)\\b"
 				}
 			]
 		},