Polish the macro interface (#506)

* Polish the macro interface * make more methods public make macro take a mutable parser for symbol_gen rename methods * address nits * get_head -> name * nits * make Macro::name return Symbol than String
egraphs-good · Jan 6, 2025 · 802c87b · 802c87b
1 parent 2dfd4f3
commit 802c87b
Show file tree

Hide file tree

Showing 4 changed files with 648 additions and 573 deletions.
diff --git a/src/ast/desugar.rs b/src/ast/desugar.rs
@@ -112,7 +112,7 @@ pub(crate) fn desugar_command(
             let s = std::fs::read_to_string(&file)
                 .unwrap_or_else(|_| panic!("{span} Failed to read file {file}"));
             return desugar_program(
-                parse_program(Some(file), &s, parser)?,
+                parser.get_program_from_string(Some(file), &s)?,
                 parser,
                 seminaive_transform,
             );