Commit 0268c59f authored by Jeff Smits's avatar Jeff Smits

Example input showing how strj already makes normalised sequence chains

parent 10ca9612
Specification([Signature([Constructors([ExtOpDecl("Nil",ConstType(Sort("List",[SortVar("a")])))])]),Strategies([SDefT("main_0_0",[],[],Seq(Build(Anno(Int("1"),Op("Nil",[]))),Seq(Build(Anno(Int("2"),Op("Nil",[]))),Seq(Build(Anno(Int("3"),Op("Nil",[]))),Seq(Build(Anno(Int("4"),Op("Nil",[]))),Seq(Build(Anno(Int("5"),Op("Nil",[]))),Build(Anno(Int("6"),Op("Nil",[])))))))))])])
\ No newline at end of file
module sequence
imports libstratego-lib
strategies
main = ((((!1; !2); !3); !4); !5); !6
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