+void TypeComparer::visit(Literal &literal)
+{
+ if(Literal *lit1 = multi_visit(literal))
+ {
+ if(!lit1->type || !literal.type)
+ r_result = false;
+ else
+ {
+ compare(*lit1->type, *literal.type);
+ if(r_result)
+ r_result = (literal.value.check_type<int>() && lit1->value.value<int>()==literal.value.value<int>());
+ }
+ }
+}
+
+void TypeComparer::visit(VariableReference &var)
+{
+ if(VariableReference *var1 = multi_visit(var))
+ {
+ if(!var1->declaration || !var.declaration)
+ r_result = false;
+ else if(!var1->declaration->constant || !var.declaration->constant)
+ r_result = false;
+ else if(!var1->declaration->init_expression || !var.declaration->init_expression)
+ r_result = false;
+ else
+ compare(*var1->declaration->init_expression, *var.declaration->init_expression);
+ }
+}
+