TypedAST testAST = new Sequence(
new ValDeclaration("x", new IntegerConstant(4), null),
new Application(new TSLBlock(new Fn(Arrays.asList(new NameBindingImpl("x", Int.getInstance())),
new SpliceExn(new Variable(new NameBindingImpl("x", Int.getInstance()), null)))), new IntegerConstant(9), null) );
Type result = testAST.typecheck(Globals.getStandardEnv(), Optional.<Type>empty());
Value out = testAST.evaluate(Globals.getStandardEnv());
int finalRes = ((IntegerConstant)out).getValue();
Assert.assertEquals(4, finalRes);
}
@Test