Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Removed some dead code

  • Loading branch information...
commit adfad37ebd69ef45635886162de396aaaa377ff5 1 parent 014f450
@mwolf76 authored
Showing with 0 additions and 26 deletions.
  1. +0 −26 src/model/inferrer.cc
View
26 src/model/inferrer.cc
@@ -587,25 +587,6 @@ void Inferrer::walk_binary_boolean_or_relational_postorder(const Expr_ptr expr)
check_arithmetical()));
}
-#if 0
- const Type_ptr rhs = check_boolean_or_integer();
- const Type_ptr lhs = check_boolean_or_integer();
-
- // both ops boolean -> boolean
- if (tm.is_boolean(lhs) && tm.is_boolean(rhs)) {
- memoize_canonical_result( expr, tm.find_boolean());
- return;
- }
-
- // both arithmetical -> boolean
- else if (!tm.is_boolean(lhs) && !tm.is_boolean(rhs)) {
- memoize_canonical_result( expr, tm.find_boolean());
- return;
- }
-
- else throw TypeMismatch( lhs->repr(), rhs->repr() );
-}
-#endif
// fun: boolean x T -> T
void Inferrer::walk_ternary_cond_postorder(const Expr_ptr expr)
@@ -625,13 +606,6 @@ void Inferrer::walk_ternary_ite_postorder(const Expr_ptr expr)
PUSH_TYPE( tm.result_type( expr, rhs, lhs,
check_boolean()));
}
-# if 0
-
- // if (lhs != rhs) throw TypeMismatch( lhs->repr(), rhs->repr() );
- memoize_canonical_result(expr,
-}
-
-#endif
void Inferrer::memoize_result (Expr_ptr expr)
{
Please sign in to comment.
Something went wrong with that request. Please try again.