Commit 86b886f2 authored by Jeff Smits's avatar Jeff Smits

This test always fails, but apparently match failure is a silent failure in...

This test always fails, but apparently match failure is a silent failure in the HybridInterpreter. Screw that
parent dd224f4a
Specification([Signature([Constructors([ExtOpDecl("Nil",ConstType(Sort("List",[SortVar("a")])))])]),Strategies([SDefT("main_0_0",[],[],Seq(Build(Anno(Int("1"),Op("Nil",[]))),Seq(CallT(SVar("test1_0_0"),[],[]),Seq(Match(Anno(Int("3"),Wld)),Seq(Build(Anno(Int("1"),Op("Nil",[]))),Seq(CallT(SVar("test2_0_0"),[],[]),Match(Anno(Int("3"),Wld)))))))),SDefT("test1_0_0",[],[],Scope(["d_0"],Seq(GuardedLChoice(Match(Anno(Int("1"),Wld)),Id,Match(Var("d_0"))),GuardedLChoice(Scope(["e_0"],Seq(Match(Var("e_0")),Seq(Build(Var("d_0")),Build(Var("e_0"))))),Build(Anno(Int("2"),Op("Nil",[]))),Build(Anno(Int("3"),Op("Nil",[]))))))),SDefT("test2_0_0",[],[],Scope(["f_0"],Seq(GuardedLChoice(Match(Anno(Int("1"),Wld)),Id,Match(Var("f_0"))),CallT(SVar("say_1_0"),[GuardedLChoice(Scope(["g_0"],Seq(Match(Var("g_0")),Seq(Build(Var("f_0")),Build(Var("g_0"))))),Build(Anno(Int("2"),Op("Nil",[]))),Build(Anno(Int("3"),Op("Nil",[]))))],[])))),ExtSDef("say_1_0",[VarDec("x_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])])])
\ No newline at end of file
module test98
imports libstratego-lib
strategies
main =
<test1> 1 => 3
; <test2> 1 => 3
test1 =
(?1 <+ ?a); if !a then !2 else !3 end
test2 =
(?1 <+ ?a); say(if !a then !2 else !3 end)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment