Polish the macro interface

egraphs-good · Jan 5, 2025 · eba0e9d · eba0e9d
1 parent 2dfd4f3
commit eba0e9d
Show file tree

Hide file tree

Showing 4 changed files with 601 additions and 546 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,
             );