This brings in resolution and type checking of the unit-type.

It is possible to assign and declare variables of unit-type which
translate down to zero sized void_type_node.

More work is needed to handle array and ADT types using unit-type
when emiting gimple. The name+type resolution should be generic enough.

1 files changed, 10 insertions, 5 deletions

diff --git a/gcc/rust/backend/rust-compile-expr.h b/gcc/rust/backend/rust-compile-expr.h
index 0370129..d38ef04 100644
--- a/gcc/rust/backend/rust-compile-expr.h
+++ b/gcc/rust/backend/rust-compile-expr.h
@@ -38,7 +38,16 @@ public:
     return compiler.translated;
   }
 
-  virtual ~CompileExpr () {}
+  void visit (HIR::TupleExpr &expr)
+  {
+    if (expr.is_unit ())
+      {
+	translated = ctx->get_backend ()->unit_expression ();
+	return;
+      }
+
+    gcc_unreachable ();
+  }
 
   void visit (HIR::ReturnExpr &expr)
   {
@@ -85,10 +94,6 @@ public:
 	return;
       }
 
-    printf ("have ast node id %u ref %u for expr [%s]\n",
-	    expr.get_mappings ().get_nodeid (), ref_node_id,
-	    expr.as_string ().c_str ());
-
     // these ref_node_ids will resolve to a pattern declaration but we are
     // interested in the definition that this refers to get the parent id
     Resolver::Definition def;