Commit c0864cf0 authored by Jeff Smits's avatar Jeff Smits

This example is not supposed to fail

parent c553fb2e
Specification([Signature([Constructors([ExtOpDecl("Nil",ConstType(Sort("List",[SortVar("a")])))])]),Strategies([SDefT("main_0_0",[],[],Scope(["c_0","d_0"],Seq(Match(Var("d_0")),Seq(GuardedLChoice(Seq(Match(Var("c_0")),Fail),Id,Seq(Build(Var("c_0")),CallT(SVar("debug_1_0"),[Build(Anno(Str("hi"),Op("Nil",[])))],[]))),Build(Var("d_0")))))),ExtSDef("debug_1_0",[VarDec("r_13",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])])])
\ No newline at end of file
module backtrack2
imports libstratego-lib
strategies
main = where(let g = ?b; fail in g <+ (!b; debug(!"hi")) 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