-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
26 changed files
with
33,530 additions
and
44 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
(let tpl_s__0 | ||
(TupleT (TCons (StateT) (TNil)))) | ||
(let in_func__1 | ||
(InFunc "dummy")) | ||
(let tpl_iiiis__2 | ||
(TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil)))))))) | ||
(let in_loop__3 | ||
(InLoop (Concat (Single (Const (Int 1) (TupleT (TCons (StateT) (TNil))) (InFunc "dummy"))) (Concat (Single (Const (Int 2) (TupleT (TCons (StateT) (TNil))) (InFunc "dummy"))) (Concat (Single (Const (Int 3) (TupleT (TCons (StateT) (TNil))) (InFunc "dummy"))) (Concat (Single (Const (Int 4) (TupleT (TCons (StateT) (TNil))) (InFunc "dummy"))) (Single (Get (Arg (TupleT (TCons (StateT) (TNil))) (InFunc "dummy")) 0)))))) (Concat (Concat (Single (Bop (LessThan) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 0) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 3))) (Concat (Single (Bop (Add) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 0) (Bop (Add) (Bop (Sub) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 2) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 1)) (Const (Int 0) (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy"))))) (Single (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 1)))) (Concat (Concat (Single (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 2)) (Single (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 3))) (Single (Bop (Print) (Bop (Add) (Bop (Add) (Bop (Sub) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 2) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 1)) (Const (Int 0) (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy"))) (Const (Int 4) (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy"))) (Get (Arg (TupleT (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (IntT) (TCons (StateT) (TNil))))))) (InFunc "dummy")) 4))))))) | ||
(let Add__22 | ||
(Bop (Add) | ||
(Bop (Sub) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 2) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 1)) | ||
(Const (Int 0) tpl_iiiis__2 in_loop__3))) | ||
(let dowhile__35 | ||
(DoWhile | ||
(Concat (Single (Const (Int 1) tpl_s__0 in_func__1)) (Concat (Single (Const (Int 2) tpl_s__0 in_func__1)) (Concat (Single (Const (Int 3) tpl_s__0 in_func__1)) (Concat (Single (Const (Int 4) tpl_s__0 in_func__1)) (Single (Get (Arg tpl_s__0 in_func__1) 0)))))) | ||
(Concat (Concat (Single (Bop (LessThan) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 0) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 3))) (Concat (Single (Bop (Add) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 0) | ||
Add__22)) (Single (Get (Arg tpl_iiiis__2 in_loop__3) 1)))) (Concat (Concat (Single (Get (Arg tpl_iiiis__2 in_loop__3) 2)) (Single (Get (Arg tpl_iiiis__2 in_loop__3) 3))) (Single (Bop (Print) | ||
(Bop (Add) | ||
Add__22 | ||
(Const (Int 4) tpl_iiiis__2 in_loop__3)) | ||
(Get (Arg tpl_iiiis__2 in_loop__3) 4))))))) |
Oops, something went wrong.