add an additional example

egraphs-good · Aug 18, 2023 · 8cd4717 · 8cd4717
1 parent 9317372
commit 8cd4717
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/tests/container-rebuild.egg b/tests/container-rebuild.egg
@@ -55,3 +55,26 @@
 ;; rebuilding creates (MyVec v2)
 (check (= (MyVec v1) (MyVec v2)))
 (pop)
+
+(push)
+(datatype Math
+  (Add i64 i64)
+  (Expensive :cost 100))
+
+(sort MathVec (Vec Math))
+
+(let myvec (vec-of (Expensive)))
+(let cheapvec (vec-of (Add 1 2)))
+
+(function VecContainer (MathVec) Math)
+
+(let myvecontainer (VecContainer cheapvec))
+
+
+(union myvecontainer (Expensive))
+
+;; (vec-push (vec-empty) (VecContainer (vec-push (vec-empty) (Add 1 2))))
+;; should have cost 4
+(extract myvec 0)
+
+(pop)