From cf55c175b2a14fa6ef423917b2ac3bb5586b6195 Mon Sep 17 00:00:00 2001
From: Alexandre Bique <bique.alexandre@gmail.com>
Date: Sat, 28 Feb 2009 16:27:00 +0000
Subject: [PATCH] type-checking a lot of expressions

---
 src/ast/type-checker-visitor.cc | 18 ++++++++++++++++++
 src/ast/type-checker-visitor.hh | 18 ++++++++++++++++++
 2 files changed, 36 insertions(+)

diff --git a/src/ast/type-checker-visitor.cc b/src/ast/type-checker-visitor.cc
index ba789ce..e73e817 100644
--- a/src/ast/type-checker-visitor.cc
+++ b/src/ast/type-checker-visitor.cc
@@ -121,6 +121,24 @@ namespace ast
 
   VISIT(AddExp)
   VISIT(SubExp)
+  VISIT(MulExp)
+  VISIT(DivExp)
+  VISIT(ModExp)
+
+  VISIT(AndExp)
+  VISIT(OrExp)
+  VISIT(XorExp)
+
+  VISIT(ShlExp)
+  VISIT(AShrExp)
+  VISIT(LShrExp)
+
+  VISIT(EqExp)
+  VISIT(NeqExp)
+  VISIT(LtExp)
+  VISIT(LtEqExp)
+  VISIT(GtExp)
+  VISIT(GtEqExp)
 
   CastExp *
   TypeCheckerVisitor::findCast(Type * type1,
diff --git a/src/ast/type-checker-visitor.hh b/src/ast/type-checker-visitor.hh
index bc0b999..8aac978 100644
--- a/src/ast/type-checker-visitor.hh
+++ b/src/ast/type-checker-visitor.hh
@@ -23,6 +23,24 @@ namespace ast
 
     virtual void visit(AddExp & node);
     virtual void visit(SubExp & node);
+    virtual void visit(MulExp & node);
+    virtual void visit(DivExp & node);
+    virtual void visit(ModExp & node);
+
+    virtual void visit(AndExp & node);
+    virtual void visit(OrExp & node);
+    virtual void visit(XorExp & node);
+
+    virtual void visit(ShlExp & node);
+    virtual void visit(AShrExp & node);
+    virtual void visit(LShrExp & node);
+
+    virtual void visit(EqExp & node);
+    virtual void visit(NeqExp & node);
+    virtual void visit(LtExp & node);
+    virtual void visit(LtEqExp & node);
+    virtual void visit(GtExp & node);
+    virtual void visit(GtEqExp & node);
 
     virtual void visit(IdExp & node);
     virtual void visit(CastExp & node);
-- 
2.11.4.GIT