We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 05b42bc commit 3349f3bCopy full SHA for 3349f3b
src/lib.rs
@@ -22,12 +22,18 @@ pub fn new_experimental_egraph() -> EGraph {
22
// Set up the parser with experimental parse-time macros
23
egraph.parser = experimental_parser();
24
25
+ // Rational support
26
add_base_sort(&mut egraph, RationalSort, span!()).unwrap();
27
+
28
+ // Support for set cost
29
add_set_cost(&mut egraph);
30
31
+ // unstable-fresh! macro
32
egraph
33
.command_macros_mut()
34
.register(Arc::new(fresh_macro::FreshMacro::new()));
35
36
+ // scheduler support
37
38
.add_command("run-schedule".into(), Arc::new(RunExtendedSchedule))
39
.unwrap();
0 commit comments