From 7ab71bed81dbaa42c670e84eb74de63048db0ccf Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sat, 1 Oct 2016 10:36:43 +0800
Subject: HIR Typecheck Expr - Handle posibly-diverging loop blocks correctly

---
 src/hir/expr.hpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/hir/expr.hpp')

diff --git a/src/hir/expr.hpp b/src/hir/expr.hpp
index d3bc8ad0..569f1b9d 100644
--- a/src/hir/expr.hpp
+++ b/src/hir/expr.hpp
@@ -107,7 +107,8 @@ struct ExprNode_Loop:
     ::HIR::ExprNodeP    m_code;
     
     ExprNode_Loop(Span sp, ::std::string label, ::HIR::ExprNodeP code):
-        ExprNode(mv$(sp), ::HIR::TypeRef::new_unit()),
+        //ExprNode(mv$(sp), ::HIR::TypeRef::new_unit()),
+        ExprNode(mv$(sp), ::HIR::TypeRef()),
         m_label( mv$(label) ),
         m_code( mv$(code) )
     {}
-- 
cgit v1.2.3