补回ExpTuple

deeplang-org · Sep 11, 2024 · ea661bb · ea661bb
1 parent 9038e1f
commit ea661bb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/IR/Conversion.ml b/IR/Conversion.ml
@@ -119,6 +119,13 @@ let rec trans_expr
           Stmt(expr.span, Decl(result_var, UnOp(op, un_value)),
               apply_expr_cont ~span:expr.span cont (var_to_value ~src:expr.span result_var)
           )))
+  | ExpTuple elems ->
+    traverse_expr ~trans_worker:(trans_expr ~table ~var_table) ~span:expr.span elems (Complex 
+      (fun value_list -> 
+          let result_var = ANF.gen_var () in
+          Stmt(expr.span, Decl(result_var, MkData(Tuple(List.length(value_list)), value_list)),
+          apply_expr_cont ~span:expr.span cont (var_to_value ~src:expr.span result_var))
+    ))
   | ExpADT (label, elems) ->
     traverse_expr ~trans_worker:(trans_expr ~table ~var_table) ~span:expr.span elems (Complex
       (fun value_list ->