SSH-45: Bug in evuation of explode
stratego> foo = map(try(id#([implode-string])))stratego> ![Foo([‘a’, ‘b’, ‘c’]), Foo(“fred”)]
[Foo([97,98,99]),Foo(“fred”)]stratego> foo
[eval | error] evaluation failed: Apply(Build(Anno(Explode(Var(“e_0”),Var(“g_0”)),Op(“Nil”,[]))),Foo([97,98,99]))
[eval | error] evaluation failed: Apply(Seq(Scope([“n_0”],Seq(Match(Var(“n_0”)),Seq(Seq(Seq(Seq(Build(Var(“b_0”)),Id),Match(Var(“e_0”))),Seq(Seq(Build(Var(“f_0”)),CallT(SVar(“Cons”),[CallT(SVar(“implode-string”),[],[]),CallT(SVar(“Nil”),[],[])],[])),Match(Var(“g_0”)))),Build(Var(“n_0”))))),Build(Anno(Explode(Var(“e_0”),Var(“g_0”)),Op(“Nil”,[])))),Foo([97,98,99]))
[eval | error] evaluation failed: Apply(Seq(Match(Anno(Explode(Var(“b_0”),Var(“f_0”)),Wld)),Seq(Scope([“n_0”],Seq(Match(Var(“n_0”)),Seq(Seq(Seq(Seq(Build(Var(“b_0”)),Id),Match(Var(“e_0”))),Seq(Seq(Build(Var(“f_0”)),CallT(SVar(“Cons”),[CallT(SVar(“implode-string”),[],[]),CallT(SVar(“Nil”),[],[])],[])),Match(Var(“g_0”)))),Build(Var(“n_0”))))),Build(Anno(Explode(Var(“e_0”),Var(“g_0”)),Op(“Nil”,[]))))),Foo([97,98,99]))
[eval | error] evaluation failed: Apply(Scope([“b_0”,“e_0”,“f_0”,“g_0”],Seq(Match(Anno(Explode(Var(“b_0”),Var(“f_0”)),Wld)),Seq(Scope([“n_0”],Seq(Match(Var(“n_0”)),Seq(Seq(Seq(Seq(Build(Var(“b_0”)),Id),Match(Var(“e_0”))),Seq(Seq(Build(Var(“f_0”)),CallT(SVar(“Cons”),[CallT(SVar(“implode-string”),[],[]),CallT(SVar(“Nil”),[],[])],[])),Match(Var(“g_0”)))),Build(Var(“n_0”))))),Build(Anno(Explode(Var(“e_0”),Var(“g_0”)),Op(“Nil”,[])))))),Foo([97,98,99]))
[Foo([97,98,99]),Foo(“fred”)]Reported by Nicolae
Submitted on 1 November 2005 at 17:52
Log in to post comments