dump formulas as s-exprs

digama0 · digama0 · commit 285e57b61bfc · 2024-10-28T06:57:23.000+01:00
diff --git a/metamath-rs/src/grammar.rs b/metamath-rs/src/grammar.rs
@@ -1741,7 +1741,7 @@ impl StmtParse {
                 println!(
                     "{}: {}",
                     as_str(nset.statement_name(&sref)),
-                    formula.as_ref(db)
+                    formula.as_ref(db).as_sexpr()
                 );
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -1741,7 +1741,7 @@ impl StmtParse {`
`1741`	`1741`	`println!(`
`1742`	`1742`	`"{}: {}",`
`1743`	`1743`	`as_str(nset.statement_name(&sref)),`
`1744`		`- formula.as_ref(db)`
	`1744`	`+ formula.as_ref(db).as_sexpr()`
`1745`	`1745`	`);`
`1746`	`1746`	`}`
`1747`	`1747`	`}`