Remove UnitT from type analysis

egraphs-good · Jan 26, 2024 · 671b3c4 · 671b3c4
1 parent a902058
commit 671b3c4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/tree_unique_args/src/type_analysis.egg b/tree_unique_args/src/type_analysis.egg
@@ -5,7 +5,6 @@
 (datatype Type
   (IntT)
   (BoolT)
-  (UnitT)
   (FuncT Type Type)
   (TupleT TypeList)
 )
@@ -38,7 +37,7 @@
       :ruleset type-analysis)
 
 (rule ((UnitExpr id))
-      ((HasType (UnitExpr id) (UnitT)))
+      ((HasType (UnitExpr id) (TupleT (TNil))))
       :ruleset type-analysis)
 
 ; Pure Op Compute
@@ -113,7 +112,7 @@
 
 ; Effectful Ops
 (rule ((Print e))
-      ((HasType (Print e) (UnitT)))
+      ((HasType (Print e) (TupleT (TNil))))
       :ruleset type-analysis)
 ; TODO: Read and Write (requires type annotations)
 

diff --git a/tree_unique_args/src/type_analysis.rs b/tree_unique_args/src/type_analysis.rs
@@ -64,7 +64,7 @@ fn switch_int() -> Result<(), egglog::Error> {
 
   (check (HasType s1 (IntT)))
   (check (HasType s2 (BoolT)))
-  (check (HasType s3 (UnitT)))
+  (check (HasType s3 (TupleT (TNil))))
   ";
     crate::run_test(build, check)
 }