Skip to content
Snippets Groups Projects
Commit e75243d6 authored by Ali Sinan Köksal's avatar Ali Sinan Köksal
Browse files

should not have committed debug printing

parent efd59ede
No related branches found
No related tags found
No related merge requests found
......@@ -34,9 +34,9 @@ object Evaluator {
def rec(ctx: EvaluationContext, expr: Expr) : Expr = if(left <= 0) {
throw InfiniteComputationEx()
} else { val ret = {
println("Step on : " + expr)
println(ctx)
} else {
// println("Step on : " + expr)
// println(ctx)
left -= 1
expr match {
case Variable(id) => {
......@@ -127,9 +127,9 @@ object Evaluator {
val rv = rec(ctx,re)
(lv,rv) match {
case (FiniteSet(el1),FiniteSet(el2)) => println("(el1, el2): " + (el1, el2)); BooleanLiteral(el1.toSet == el2.toSet)
case (FiniteSet(el1),FiniteSet(el2)) => BooleanLiteral(el1.toSet == el2.toSet)
case (FiniteMap(el1),FiniteMap(el2)) => BooleanLiteral(el1.toSet == el2.toSet)
case _ => println("just equals check "); BooleanLiteral(lv == rv)
case _ => BooleanLiteral(lv == rv)
}
}
case CaseClass(cd, args) => CaseClass(cd, args.map(rec(ctx,_)))
......@@ -278,7 +278,7 @@ object Evaluator {
throw RuntimeErrorEx("unhandled case in Evaluator")
}
}
}; println("ret: " + ret); ret }
}
evaluator match {
case Some(evalFun) =>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment