[Test]public void testNonCompactionOfNonPrimitiveConstants()
 {
     Stack2Turing.VariableCompactor compactor = new Stack2Turing.VariableCompactor();
     Constant c1 = new Constant("a", ClrType.Object);
     Constant c2 = new Constant("a", ClrType.FromClr(typeof(string)));
     Assert.AreEqual(vv(v(c1), v(c2)), compactor.compact(vv(v(c1), v(c2))));
 }
 [Test]public void testCompactionOfPrimitiveConstants()
 {
     Stack2Turing.VariableCompactor compactor = new Stack2Turing.VariableCompactor();
     Constant c1 = new Constant("a", ClrType.Int32);
     Constant c2 = new Constant("a", ClrType.Int32);
     Assert.AreEqual(vv(v(c1)), compactor.compact(vv(v(c1), v(c2))));
 }
 public void setExceptionHandler(int lineNumber, Constant exception)
 {
     if ( this.exception == null )
     {
         operations.Insert(0, new Load(lineNumber, exception));
     }
     this.exception = exception;
 }