Make cost action unstable

egraphs-good · Aug 7, 2024 · 35d2186 · 35d2186
1 parent e8f7ead
commit 35d2186
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -1318,7 +1318,7 @@ where
             GenericAction::Change(_ann, change, lhs, args) => match change {
                 Change::Delete => list!("delete", list!(lhs, ++ args)),
                 Change::Subsume => list!("subsume", list!(lhs, ++ args)),
-                Change::Cost(cost) => list!("cost", list!(lhs, ++ args), cost),
+                Change::Cost(cost) => list!("unstable-cost", list!(lhs, ++ args), cost),
             },
             GenericAction::Extract(_ann, expr, variants) => list!("extract", expr, variants),
             GenericAction::Panic(_ann, msg) => list!("panic", format!("\"{}\"", msg.clone())),

diff --git a/src/ast/parse.lalrpop b/src/ast/parse.lalrpop
@@ -125,7 +125,7 @@ NonLetAction: Action = {
     <lo:LParen> "set" LParen <f: Ident> <args:Expr*> RParen <v:Expr> <hi:RParen> => Action::Set ( Span(srcfile.clone(), lo, hi), f, args, v ),
     <lo:LParen> "delete" LParen <f: Ident> <args:Expr*> RParen <hi:RParen> => Action::Change ( Span(srcfile.clone(), lo, hi), Change::Delete, f, args),
     <lo:LParen> "subsume" LParen <f: Ident> <args:Expr*> RParen <hi:RParen> => Action::Change ( Span(srcfile.clone(), lo, hi), Change::Subsume, f, args),
-    <lo:LParen> "cost" LParen <f: Ident> <args:Expr*> RParen <cost:UNum> <hi:RParen> => Action::Change ( Span(srcfile.clone(), lo, hi), Change::Cost(cost), f, args),
+    <lo:LParen> "unstable-cost" LParen <f: Ident> <args:Expr*> RParen <cost:UNum> <hi:RParen> => Action::Change ( Span(srcfile.clone(), lo, hi), Change::Cost(cost), f, args),
     <lo:LParen> "union" <e1:Expr> <e2:Expr> <hi:RParen> => Action::Union(Span(srcfile.clone(), lo, hi), e1, e2),
     <lo:LParen> "panic" <msg:String> <hi:RParen> => Action::Panic(Span(srcfile.clone(), lo, hi), msg),
     <lo:LParen> "extract" <expr:Expr> <hi:RParen> => Action::Extract(Span(srcfile.clone(), lo, hi), expr, Expr::Lit(Span(srcfile.clone(), lo, hi), Literal::Int(0))),

diff --git a/tests/extract-costfn.egg b/tests/extract-costfn.egg
@@ -4,9 +4,9 @@
 (union (Foo "x") (Foo "y"))
 (union (Foo "y") (Foo "z"))
 
-(cost (Foo "x") 17)
-(cost (Foo "y") 11)
-(cost (Foo "z") 15)
+(unstable-cost (Foo "x") 17)
+(unstable-cost (Foo "y") 11)
+(unstable-cost (Foo "z") 15)
 
 (extract (Foo "y"))