String in2 = "import wyv:in1\n" +
"val n:A.MyNum = { 5 }\n" +
"n.getValue()";
WyvernResolver.clearFiles();
WyvernResolver.addFile("in1", input);
TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(in2), "test input");
Assert.assertEquals(res.typecheck(Globals.getStandardEnv(), Optional.empty()), Int.getInstance());
res = new DSLTransformer().transform(res);
Assert.assertEquals(res.evaluate(Globals.getStandardEnv()).toString(), "IntegerConstant(5)");
}