WyvernResolver.addFile(pair.first, pair.second+"\n");
}
TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(main), "test input");
Assert.assertEquals(expectedType, res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty()).toString());
res = new DSLTransformer().transform(res);
Value finalV = res.evaluate(Globals.getStandardEnv());
Assert.assertEquals(expectedValue, finalV.toString());
}