call-dynamic-fail.ctree 1.49 KB
Newer Older
1
Specification([Signature([Constructors([ExtOpDecl("Nil",ConstType(Sort("List",[SortVar("a")]))),ExtOpDecl("Cons",FunType([ConstType(SortVar("a")),ConstType(Sort("List",[SortVar("a")]))],ConstType(Sort("List",[SortVar("a")])))),ExtOpDecl("",FunType([ConstType(SortVar("a")),ConstType(SortVar("b"))],ConstType(Sort("Tuple",[Sort("Cons",[SortVar("a"),Sort("Cons",[SortVar("b"),Sort("Nil",[])])])])))),OpDecl("Add",FunType([ConstType(Sort("String",[]))],ConstType(Sort("Term",[]))))])]),Strategies([SDefT("main_0_0",[],[],Scope(["c_0"],GuardedLChoice(Scope(["d_0","e_0","f_0","g_0"],Seq(CallT(SVar("try_1_0"),[Match(Anno(Op("Add",[Var("c_0")]),Wld))],[]),Seq(Build(Anno(Op("Cons",[Anno(Int("1"),Op("Nil",[])),Anno(Op("Cons",[Anno(Int("2"),Op("Nil",[])),Anno(Op("Cons",[Anno(Int("3"),Op("Nil",[])),Anno(Op("Nil",[]),Op("Nil",[]))]),Op("Nil",[]))]),Op("Nil",[]))]),Op("Nil",[]))),Seq(Match(Var("e_0")),Seq(Match(Var("g_0")),Seq(Build(Var("c_0")),Seq(CallT(SVar("cify_0_0"),[],[]),Seq(Match(Var("f_0")),Seq(Build(Var("g_0")),Seq(Build(Anno(Op("",[Var("f_0"),Anno(Str("_1_0"),Op("Nil",[]))]),Op("Nil",[]))),Seq(CallT(SVar("conc_strings_0_0"),[],[]),Seq(Match(Var("d_0")),Seq(Build(Var("e_0")),CallDynamic(Var("d_0"),[Build(Anno(Int("1"),Op("Nil",[])))],[])))))))))))))),Id,Build(Anno(Str("recovering from unintialised variable in dynamic call"),Op("Nil",[])))))),ExtSDef("conc_strings_0_0",[],[]),ExtSDef("cify_0_0",[],[]),ExtSDef("try_1_0",[VarDec("c_23",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])])])