Merge pull request #261 from hatoo/fix-bool-tag

FIx bool's tag symbol
egraphs-good · Oct 16, 2023 · 959afb9 · 959afb9
2 parents a4559d2 + 23611ba
commit 959afb9
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/src/value.rs b/src/value.rs
@@ -70,7 +70,7 @@ impl From<Symbol> for Value {
 impl From<bool> for Value {
     fn from(b: bool) -> Self {
         Self {
-            tag: Symbol::from("Bool"),
+            tag: Symbol::from("bool"),
             bits: b as u64,
         }
     }

diff --git a/tests/bool.egg b/tests/bool.egg
@@ -20,4 +20,15 @@
 (check (= (bool->= 2 1) true))
 (check (= (bool->= 1 1) true))
 
+; Test bool's tag
+(relation R (i64))
+(function F (i64) bool)
 
+(rule
+    ((R i))
+    ((set (F i) true))
+)
+
+(R 0)
+
+(run 3)