From 98de93a6bac5af0f09300e74214af2ef8c385fb5 Mon Sep 17 00:00:00 2001
From: Alexandre Bique <bique.alexandre@gmail.com>
Date: Fri, 20 Feb 2009 13:30:44 +0000
Subject: [PATCH] check that types are not null and type check childs first

---
 src/ast/type-checker-visitor.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/ast/type-checker-visitor.cc b/src/ast/type-checker-visitor.cc
index ce3181b..a0634a3 100644
--- a/src/ast/type-checker-visitor.cc
+++ b/src/ast/type-checker-visitor.cc
@@ -35,6 +35,8 @@ namespace ast
   void                                                                  \
   TypeCheckerVisitor::visit(Type & node)                                \
   {                                                                     \
+    node.left->accept(*this);                                           \
+    node.right->accept(*this);                                          \
     /**                                                                 \
      * @todo check if type match                                        \
      * @todo look for an overloaded operator '+'                        \
@@ -64,6 +66,9 @@ namespace ast
   TypeCheckerVisitor::findCast(Type * type1,
                                Type * type2)
   {
+    assert(type1);
+    assert(type2);
+
     castTableKey_t key;
     if (type1->nodeType < type2->nodeType)
       key = std::make_pair(type1->nodeType, type2->nodeType);
-- 
2.11.4.GIT