[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))));
}
