Fixes in QIR evaluation

src/qir/visitor/QIREvaluationVisitor.java

@@ -29,7 +29,7 @@ public final class QIREvaluationVisitor implements IQIRVisitor<QIRNode> {
         if (!(input instanceof QIRLcons))
             throw new QIRException("Typing error: project expected list as input, got: " + input.getClass().getName() + ".");
         for (QIRNode e = input; e instanceof QIRLcons; e = ((QIRLcons) e).getTail())
-            tmp.push(new QIRApply(null, formatter, e).accept(this));
+            tmp.push(new QIRApply(null, formatter, ((QIRLcons) e).getValue()).accept(this));
         while (!tmp.isEmpty())
             result = new QIRLcons(null, tmp.pop(), result);
         return result;
@@ -114,9 +114,9 @@ public final class QIREvaluationVisitor implements IQIRVisitor<QIRNode> {
                 return fun.getBody();
             final String varName = var.getId();
             env.put(varName, right);
-            final QIRLambda res = (QIRLambda) fun.accept(this);
+            final QIRNode res = fun.getBody().accept(this);
             env.remove(varName);
-            return res.getBody();
+            return res;
         }
         if (left instanceof QIRTruffleNode)
             throw new QIRException("Evaluation of Truffle application not implemented yet.");
@@ -326,7 +326,7 @@ public final class QIREvaluationVisitor implements IQIRVisitor<QIRNode> {
         final String colName = qirTdestr.getColName();
 
         for (QIRNode current = tuple; current instanceof QIRTcons; current = ((QIRTcons) current).getTail())
-            if (colName == ((QIRTcons) current).getId())
+            if (colName.equals(((QIRTcons) current).getId()))
                 return ((QIRTcons) current).getValue();
         throw new QIRException("Typing error: destructor of tuple could not find " + colName + " in tuple " + tuple + ".");
     }