├── .gitattributes ├── .gitignore ├── .travis.yml ├── LICENSE ├── Ling.cf ├── Ling.hs ├── Ling.tex ├── Ling ├── Abs.hs ├── Check │ ├── Base.hs │ ├── Core.hs │ └── Program.hs ├── Compile │ └── C.hs ├── Defs.hs ├── Doc.txt ├── Equiv.hs ├── ErrM.hs ├── Fmt.hs ├── Fmt │ ├── Albert.cf │ ├── Albert │ │ ├── Abs.hs │ │ ├── Doc.txt │ │ ├── Layout.hs │ │ ├── Lex.x │ │ ├── Migrate.hs │ │ ├── Par.y │ │ └── Print.hs │ ├── Benjamin.cf │ └── Benjamin │ │ ├── Abs.hs │ │ ├── Doc.txt │ │ ├── Layout.hs │ │ ├── Lex.x │ │ ├── Migrate.hs │ │ ├── Par.y │ │ └── Print.hs ├── Free.hs ├── Fuse.hs ├── Fwd.hs ├── Layout.hs ├── Lex.x ├── Norm.hs ├── Par.y ├── Prelude.hs ├── Print.hs ├── Print │ └── Class.hs ├── Proc.hs ├── Proto.hs ├── Proto │ └── Skel.hs ├── Raw.hs ├── Reduce.hs ├── Reify.hs ├── Rename.hs ├── Scoped.hs ├── Sequential.hs ├── Session.hs ├── Session │ └── Core.hs ├── SubTerms.hs ├── Subst.hs └── Type.hs ├── MiniC.cf ├── MiniC ├── Abs.hs ├── Doc.txt ├── Lex.x ├── Par.y └── Print.hs ├── README.md ├── Setup.hs ├── bnfc-regen.sh ├── check.sh ├── cll.txt ├── docs ├── index.md ├── left-overs.md ├── sequencing.md └── tutorial.md ├── env.sh ├── examples ├── fft_par.ll ├── fft_seq.ll └── fft_ten.ll ├── exec ├── Main.hs └── ling-fmt.hs ├── fixtures ├── all.ll ├── all │ ├── a_char.ll │ ├── anon_arg.ll │ ├── ap.ll │ ├── app_lambda.ll │ ├── assert.ll │ ├── assert_let_case_in_type.ll │ ├── at_end.ll │ ├── badCutSendRecv.ll │ ├── badTensor2.ll │ ├── bad_Log_1.ll │ ├── bad_Log_SInt_2.ll │ ├── bad_assert.ll │ ├── bad_cast.ll │ ├── bad_codomain.ll │ ├── bad_factor.ll │ ├── bad_sym_def.ll │ ├── bool.ll │ ├── case_bad_data.ll │ ├── case_con.ll │ ├── case_fun_server.ll │ ├── case_non_data.ll │ ├── case_non_data2.ll │ ├── case_proto.ll │ ├── case_proto2.ll │ ├── chan_escape.ll │ ├── com_new.ll │ ├── com_new_SInt_RBool2.ll │ ├── com_new_SType_SA.ll │ ├── com_new_mk_ten2.ll │ ├── com_with_log.ll │ ├── compose_ops.ll │ ├── con_dup.ll │ ├── confuseSendRecv2.ll │ ├── confuseSendRecv2_using_dual.ll │ ├── conv_fun.ll │ ├── curry.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_recv_send_send_recv.ll │ ├── cut_send_recv_recv_send.ll │ ├── cut_send_recv_recv_send_v2.ll │ ├── cut_send_recv_recv_send_with_log.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── data_dup.ll │ ├── dead_lock_new_new.ll │ ├── dead_lock_par_ten_ten.ll │ ├── dead_lock_tensor2_tensor2.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── dup_send.ll │ ├── embed_send_42.ll │ ├── equiv_plus.ll │ ├── equiv_repl_const.ll │ ├── equiv_repl_plus.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── flexible_telescope.ll │ ├── forward_difference.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_par2_rcv.ll │ ├── fwd1_rcv.ll │ ├── fwd1_seq2_rcv.ll │ ├── fwd1_ten2_rcv.ll │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_parN_tenN.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── fwd_ten2_par2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── idType.ll │ ├── infer_assert.ll │ ├── infer_plus.ll │ ├── infer_recv.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── let42.ll │ ├── let42ann.ll │ ├── let_example.ll │ ├── let_in_proc_for_session.ll │ ├── let_let.ll │ ├── let_order.ll │ ├── let_order_proc.ll │ ├── let_used_twice.ll │ ├── letnewchan.ll │ ├── letrecv.ll │ ├── letrecv_ann.ll │ ├── letsession.ll │ ├── lettype.ll │ ├── literals.ll │ ├── local_redef_fwd_par2_ten2_expanded.ll │ ├── local_redef_type_id.ll │ ├── loli_id.ll │ ├── matmul_seq.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── merger_ten2_loli_Sort.ll │ ├── merger_v2.ll │ ├── missingSend.ll │ ├── missingSendConfusesSendRecv.ll │ ├── missing_one_seq3.ll │ ├── mk_new_ann.ll │ ├── mk_new_seq.ll │ ├── mk_par2_LR.ll │ ├── mk_par2_RL.ll │ ├── mk_par2_prll.ll │ ├── mk_seq2.ll │ ├── mk_ten2_2new_2fwd.ll │ ├── mk_tensor2.ll │ ├── mkrecv.ll │ ├── mksend.ll │ ├── multi_recv.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── new_alloc.ll │ ├── new_ann_let_fuse0.ll │ ├── new_ann_let_fuse1.ll │ ├── new_fuse1_recv_send_send_recv.ll │ ├── new_seq_par_par.ll │ ├── new_ten2.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_seq.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_dep_fun_dom_args.ll │ ├── non_dep_recv_dom_args.ll │ ├── non_dependent_function_type.ll │ ├── non_layout_decs.ll │ ├── not_comm_repl_plus.ll │ ├── not_sink_fwd1_snd.ll │ ├── oplus.ll │ ├── order.ll │ ├── over_application.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par2mix.ll │ ├── par4_seq_send3.ll │ ├── par_comm.ll │ ├── par_loli_ten.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_pat.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_seqi_ten_send.ll │ ├── par_ten1_ten1.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── pattern_example_expanded.ll │ ├── plug_compose.ll │ ├── plug_compose_par_par.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── receiver.ll │ ├── recv_proc.ll │ ├── redef.ll │ ├── redef_con.ll │ ├── redef_data.ll │ ├── redef_proc.ll │ ├── reduce_primops.ll │ ├── replicate.ll │ ├── replicate_par.ll │ ├── replicate_proc.ll │ ├── replicate_ten.ll │ ├── reusedParChannel.ll │ ├── reusedTensorChannel.ll │ ├── rotate_seq.ll │ ├── saxpy.ll │ ├── send_1.ll │ ├── sender.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_array_cnt_new.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_pat.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sqr_dbl.ll │ ├── sqrs.ll │ ├── sqrs_abs.ll │ ├── sum_int.ll │ ├── switch.ll │ ├── tabulate_seq.ll │ ├── ten_loli_par.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_seq.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test3.ll │ ├── test4.ll │ ├── test4_inferred.ll │ ├── test_pat.ll │ ├── type_ann_reduce.ll │ ├── type_annotation.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── unboundChannel.ll │ ├── unbound_anon.ll │ ├── uncurry.ll │ ├── undef_con.ll │ ├── unscoped_recv_at.ll │ ├── unscoped_recv_slice.ll │ ├── unused_chan.ll │ ├── with.ll │ ├── wrong_abs_cnt_new.ll │ ├── wrong_case_con.ll │ ├── wrong_char_literal.ll │ ├── wrong_dep_fun_server.ll │ ├── wrong_double_literal.ll │ ├── wrong_feed_send_with_send.ll │ ├── wrong_fun1_to_proc_ord.ll │ ├── wrong_fun1_to_proc_par2.ll │ ├── wrong_fwd_seq2_seq2_seq2.ll │ ├── wrong_integer_literal.ll │ ├── wrong_let42.ll │ ├── wrong_let42ann.ll │ ├── wrong_merger_ParSort_full_seq.ll │ ├── wrong_merger_ParSort_prll.ll │ ├── wrong_merger_recv_sequential_par2_loli_Sort.ll │ ├── wrong_merger_send_sequential_par2_loli_Sort.ll │ ├── wrong_merger_sequential_par2_loli_Sort.ll │ ├── wrong_mk_new_seq_RL.ll │ ├── wrong_mk_new_seq_prll.ll │ ├── wrong_mk_seq2_RL.ll │ ├── wrong_mk_seq2_prll.ll │ ├── wrong_mk_ten2_LR.ll │ ├── wrong_mk_tensor2_RL.ll │ ├── wrong_new_ann.ll │ ├── wrong_new_seq_dual.ll │ ├── wrong_new_seq_fwd.ll │ ├── wrong_new_seq_par_par.ll │ ├── wrong_non_dependent_function_type.ll │ ├── wrong_order_par2_par2.ll │ ├── wrong_order_par_seq_back.ll │ ├── wrong_order_par_seq_front.ll │ ├── wrong_order_par_seq_middle.ll │ ├── wrong_order_seq2_seq2.ll │ ├── wrong_order_seq3.ll │ ├── wrong_order_seq_par_front.ll │ ├── wrong_order_seq_par_middle.ll │ ├── wrong_order_seq_seq.ll │ ├── wrong_order_seq_seq_send2.ll │ ├── wrong_order_seq_ten.ll │ ├── wrong_order_sequence.ll │ ├── wrong_order_split_nested_seq.ll │ ├── wrong_par_array_cnt_new.ll │ ├── wrong_par_comm_sequential.ll │ ├── wrong_par_pat.ll │ ├── wrong_par_pat_v2.ll │ ├── wrong_par_seq3.ll │ ├── wrong_pattern_example_expanded.ll │ ├── wrong_plug_send_recv.ll │ ├── wrong_read_cnt_new.ll │ ├── wrong_reduce_concat.ll │ ├── wrong_reduce_double.ll │ ├── wrong_repeat_par.ll │ ├── wrong_replication.ll │ ├── wrong_seq_array_cnt_new.ll │ ├── wrong_seq_pat.ll │ ├── wrong_seq_pat_v2.ll │ ├── wrong_split_nested_seq.ll │ ├── wrong_string_literal.ll │ ├── wrong_telescope.ll │ ├── wrong_ten2_par2.ll │ ├── wrong_ten2_send_par1_send.ll │ ├── wrong_ten_array_cnt_new.ll │ ├── wrong_ten_pat.ll │ ├── wrong_test_pat.ll │ ├── wrong_type_annotation.ll │ ├── wrong_type_def.ll │ ├── wrong_write_cnt_new.ll │ ├── zap.ll │ ├── zap_ten_fwd.ll │ ├── zap_ten_par.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── compile │ ├── a_char.ll │ ├── ap.ll │ ├── assert.ll │ ├── assert_let_case_in_type.ll │ ├── bool.ll │ ├── case_con.ll │ ├── case_proto.ll │ ├── case_proto2.ll │ ├── com_new.ll │ ├── com_new_mk_ten2.ll │ ├── com_with_log.ll │ ├── conv_fun.ll │ ├── curry.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_send_recv_recv_send_with_log.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── embed_send_42.ll │ ├── equiv_repl_const.ll │ ├── equiv_repl_plus.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── flexible_telescope.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_par2_rcv.ll │ ├── fwd1_rcv.ll │ ├── fwd1_seq2_rcv.ll │ ├── fwd1_ten2_rcv.ll │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_parN_tenN.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── fwd_ten2_par2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── infer_assert.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── let42.ll │ ├── let42ann.ll │ ├── let_example.ll │ ├── let_in_proc_for_session.ll │ ├── let_let.ll │ ├── let_order.ll │ ├── let_order_proc.ll │ ├── let_used_twice.ll │ ├── letnewchan.ll │ ├── letrecv.ll │ ├── letrecv_ann.ll │ ├── lettype.ll │ ├── literals.ll │ ├── loli_id.ll │ ├── matmul_seq.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── merger_ten2_loli_Sort.ll │ ├── mk_new_ann.ll │ ├── mk_new_seq.ll │ ├── mk_par2_LR.ll │ ├── mk_par2_RL.ll │ ├── mk_par2_prll.ll │ ├── mk_seq2.ll │ ├── mk_ten2_2new_2fwd.ll │ ├── mk_tensor2.ll │ ├── multi_recv.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── new_alloc.ll │ ├── new_fuse1_recv_send_send_recv.ll │ ├── new_seq_par_par.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_seq.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_dep_fun_dom_args.ll │ ├── non_dep_recv_dom_args.ll │ ├── non_dependent_function_type.ll │ ├── non_layout_decs.ll │ ├── not_comm_repl_plus.ll │ ├── oplus.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par2mix.ll │ ├── par4_seq_send3.ll │ ├── par_comm.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_pat.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_seqi_ten_send.ll │ ├── par_ten1_ten1.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── pattern_example_expanded.ll │ ├── plug_compose.ll │ ├── plug_compose_par_par.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── receiver.ll │ ├── reduce_primops.ll │ ├── replicate.ll │ ├── replicate_par.ll │ ├── replicate_proc.ll │ ├── replicate_ten.ll │ ├── rotate_seq.ll │ ├── send_1.ll │ ├── sender.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_array_cnt_new.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_pat.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sqr_dbl.ll │ ├── sqrs.ll │ ├── sqrs_abs.ll │ ├── sum_int.ll │ ├── switch.ll │ ├── tabulate_seq.ll │ ├── ten_loli_par.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test3.ll │ ├── test4.ll │ ├── type_ann_reduce.ll │ ├── type_annotation.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── uncurry.ll │ ├── with.ll │ ├── zap.ll │ ├── zap_ten_fwd.ll │ ├── zap_ten_par.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── failure │ ├── badCutSendRecv.ll │ ├── badTensor2.ll │ ├── bad_Log_1.ll │ ├── bad_Log_SInt_2.ll │ ├── bad_assert.ll │ ├── bad_cast.ll │ ├── bad_codomain.ll │ ├── bad_factor.ll │ ├── bad_sym_def.ll │ ├── case_bad_data.ll │ ├── case_non_data.ll │ ├── case_non_data2.ll │ ├── chan_escape.ll │ ├── con_dup.ll │ ├── confuseSendRecv2.ll │ ├── confuseSendRecv2_using_dual.ll │ ├── data_dup.ll │ ├── dead_lock_new_new.ll │ ├── dead_lock_par_ten_ten.ll │ ├── dead_lock_tensor2_tensor2.ll │ ├── dup_send.ll │ ├── infer_plus.ll │ ├── infer_recv.ll │ ├── local_redef_fwd_par2_ten2_expanded.ll │ ├── local_redef_type_id.ll │ ├── merger_v2.ll │ ├── missingSend.ll │ ├── missingSendConfusesSendRecv.ll │ ├── missing_one_seq3.ll │ ├── not_comm_repl_plus.ll │ ├── not_sink_fwd1_snd.ll │ ├── over_application.ll │ ├── par_loli_ten.ll │ ├── redef.ll │ ├── redef_con.ll │ ├── redef_data.ll │ ├── redef_proc.ll │ ├── reusedParChannel.ll │ ├── reusedTensorChannel.ll │ ├── ten_par_par_seq.ll │ ├── unboundChannel.ll │ ├── unbound_anon.ll │ ├── undef_con.ll │ ├── unscoped_recv_at.ll │ ├── unscoped_recv_slice.ll │ ├── unused_chan.ll │ ├── wrong_abs_cnt_new.ll │ ├── wrong_case_con.ll │ ├── wrong_char_literal.ll │ ├── wrong_dep_fun_server.ll │ ├── wrong_double_literal.ll │ ├── wrong_feed_send_with_send.ll │ ├── wrong_fun1_to_proc_ord.ll │ ├── wrong_fun1_to_proc_par2.ll │ ├── wrong_fwd_seq2_seq2_seq2.ll │ ├── wrong_integer_literal.ll │ ├── wrong_let42.ll │ ├── wrong_let42ann.ll │ ├── wrong_merger_ParSort_full_seq.ll │ ├── wrong_merger_ParSort_prll.ll │ ├── wrong_merger_recv_sequential_par2_loli_Sort.ll │ ├── wrong_merger_send_sequential_par2_loli_Sort.ll │ ├── wrong_merger_sequential_par2_loli_Sort.ll │ ├── wrong_mk_new_seq_RL.ll │ ├── wrong_mk_new_seq_prll.ll │ ├── wrong_mk_seq2_RL.ll │ ├── wrong_mk_seq2_prll.ll │ ├── wrong_mk_ten2_LR.ll │ ├── wrong_mk_tensor2_RL.ll │ ├── wrong_new_ann.ll │ ├── wrong_new_seq_dual.ll │ ├── wrong_new_seq_fwd.ll │ ├── wrong_new_seq_par_par.ll │ ├── wrong_non_dependent_function_type.ll │ ├── wrong_order_par2_par2.ll │ ├── wrong_order_par_seq_back.ll │ ├── wrong_order_par_seq_front.ll │ ├── wrong_order_par_seq_middle.ll │ ├── wrong_order_seq2_seq2.ll │ ├── wrong_order_seq3.ll │ ├── wrong_order_seq_par_front.ll │ ├── wrong_order_seq_par_middle.ll │ ├── wrong_order_seq_seq.ll │ ├── wrong_order_seq_seq_send2.ll │ ├── wrong_order_seq_ten.ll │ ├── wrong_order_sequence.ll │ ├── wrong_order_split_nested_seq.ll │ ├── wrong_par_array_cnt_new.ll │ ├── wrong_par_comm_sequential.ll │ ├── wrong_par_pat.ll │ ├── wrong_par_pat_v2.ll │ ├── wrong_par_seq3.ll │ ├── wrong_pattern_example_expanded.ll │ ├── wrong_plug_send_recv.ll │ ├── wrong_read_cnt_new.ll │ ├── wrong_reduce_concat.ll │ ├── wrong_reduce_double.ll │ ├── wrong_repeat_par.ll │ ├── wrong_replication.ll │ ├── wrong_seq_array_cnt_new.ll │ ├── wrong_seq_pat.ll │ ├── wrong_seq_pat_v2.ll │ ├── wrong_split_nested_seq.ll │ ├── wrong_string_literal.ll │ ├── wrong_telescope.ll │ ├── wrong_ten2_par2.ll │ ├── wrong_ten2_send_par1_send.ll │ ├── wrong_ten_array_cnt_new.ll │ ├── wrong_ten_pat.ll │ ├── wrong_test_pat.ll │ ├── wrong_type_annotation.ll │ ├── wrong_type_def.ll │ └── wrong_write_cnt_new.ll ├── fusion │ ├── a_char.ll │ ├── ap.ll │ ├── assert.ll │ ├── bool.ll │ ├── case_con.ll │ ├── com_new.ll │ ├── com_new_mk_ten2.ll │ ├── conv_fun.ll │ ├── curry.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_recv_send_send_recv.ll │ ├── cut_send_recv_recv_send.ll │ ├── cut_send_recv_recv_send_v2.ll │ ├── cut_send_recv_recv_send_with_log.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── embed_send_42.ll │ ├── equiv_repl_const.ll │ ├── equiv_repl_plus.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── flexible_telescope.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_rcv.ll │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── fwd_ten2_par2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── infer_assert.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── let42.ll │ ├── let42ann.ll │ ├── let_example.ll │ ├── let_in_proc_for_session.ll │ ├── let_order.ll │ ├── let_order_proc.ll │ ├── let_used_twice.ll │ ├── letnewchan.ll │ ├── letrecv.ll │ ├── letrecv_ann.ll │ ├── letsession.ll │ ├── lettype.ll │ ├── literals.ll │ ├── loli_id.ll │ ├── matmul_seq.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── merger_ten2_loli_Sort.ll │ ├── mk_new_ann.ll │ ├── mk_par2_LR.ll │ ├── mk_par2_RL.ll │ ├── mk_par2_prll.ll │ ├── mk_seq2.ll │ ├── mk_ten2_2new_2fwd.ll │ ├── mk_tensor2.ll │ ├── multi_recv.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── new_alloc.ll │ ├── new_ann_let_fuse0.ll │ ├── new_ann_let_fuse1.ll │ ├── new_fuse1_recv_send_send_recv.ll │ ├── new_ten2.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_dep_fun_dom_args.ll │ ├── non_dep_recv_dom_args.ll │ ├── non_dependent_function_type.ll │ ├── non_layout_decs.ll │ ├── not_comm_repl_plus.ll │ ├── order.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par2mix.ll │ ├── par4_seq_send3.ll │ ├── par_comm.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_ten1_ten1.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── pattern_example_expanded.ll │ ├── plug_compose.ll │ ├── plug_compose_par_par.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── reduce_primops.ll │ ├── replicate.ll │ ├── replicate_par.ll │ ├── replicate_proc.ll │ ├── replicate_ten.ll │ ├── send_1.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sum_int.ll │ ├── switch.ll │ ├── ten_loli_par.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test3.ll │ ├── type_annotation.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── uncurry.ll │ ├── zap.ll │ ├── zap_ten_fwd.ll │ ├── zap_ten_par.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── sequence │ ├── a_char.ll │ ├── ap.ll │ ├── assert.ll │ ├── assert_let_case_in_type.ll │ ├── bool.ll │ ├── case_con.ll │ ├── case_fun_server.ll │ ├── case_proto.ll │ ├── case_proto2.ll │ ├── com_new.ll │ ├── com_new_mk_ten2.ll │ ├── com_with_log.ll │ ├── conv_fun.ll │ ├── curry.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_recv_send_send_recv.ll │ ├── cut_send_recv_recv_send.ll │ ├── cut_send_recv_recv_send_v2.ll │ ├── cut_send_recv_recv_send_with_log.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── embed_send_42.ll │ ├── equiv_repl_const.ll │ ├── equiv_repl_plus.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── flexible_telescope.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_par2_rcv.ll │ ├── fwd1_rcv.ll │ ├── fwd1_seq2_rcv.ll │ ├── fwd1_ten2_rcv.ll │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_parN_tenN.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── fwd_ten2_par2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── infer_assert.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── let42.ll │ ├── let42ann.ll │ ├── let_example.ll │ ├── let_in_proc_for_session.ll │ ├── let_let.ll │ ├── let_order.ll │ ├── let_order_proc.ll │ ├── let_used_twice.ll │ ├── letnewchan.ll │ ├── letrecv.ll │ ├── letrecv_ann.ll │ ├── letsession.ll │ ├── lettype.ll │ ├── literals.ll │ ├── loli_id.ll │ ├── matmul_seq.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── merger_ten2_loli_Sort.ll │ ├── mk_new_ann.ll │ ├── mk_new_seq.ll │ ├── mk_par2_LR.ll │ ├── mk_par2_RL.ll │ ├── mk_par2_prll.ll │ ├── mk_seq2.ll │ ├── mk_ten2_2new_2fwd.ll │ ├── mk_tensor2.ll │ ├── multi_recv.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── new_alloc.ll │ ├── new_fuse1_recv_send_send_recv.ll │ ├── new_seq_par_par.ll │ ├── new_ten2.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_seq.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_dep_fun_dom_args.ll │ ├── non_dep_recv_dom_args.ll │ ├── non_dependent_function_type.ll │ ├── non_layout_decs.ll │ ├── not_comm_repl_plus.ll │ ├── oplus.ll │ ├── order.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par2mix.ll │ ├── par4_seq_send3.ll │ ├── par_comm.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_pat.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_seqi_ten_send.ll │ ├── par_ten1_ten1.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── pattern_example_expanded.ll │ ├── plug_compose.ll │ ├── plug_compose_par_par.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── receiver.ll │ ├── reduce_primops.ll │ ├── replicate.ll │ ├── replicate_par.ll │ ├── replicate_proc.ll │ ├── replicate_ten.ll │ ├── rotate_seq.ll │ ├── send_1.ll │ ├── sender.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_array_cnt_new.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_pat.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sqr_dbl.ll │ ├── sqrs.ll │ ├── sqrs_abs.ll │ ├── sum_int.ll │ ├── switch.ll │ ├── tabulate_seq.ll │ ├── ten_loli_par.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test3.ll │ ├── test4.ll │ ├── type_ann_reduce.ll │ ├── type_annotation.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── uncurry.ll │ ├── with.ll │ ├── zap.ll │ ├── zap_ten_fwd.ll │ ├── zap_ten_par.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── strict-par-failure │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_ten2_par2.ll │ ├── merger_ten2_loli_Sort.ll │ ├── par2mix.ll │ ├── par_comm.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── pattern_example_expanded.ll │ ├── switch.ll │ ├── ten_loli_par.ll │ ├── test3.ll │ ├── test_pat.ll │ ├── zap_ten_fwd.ll │ └── zap_ten_par.ll ├── strict-par-success │ ├── assert.ll │ ├── bool.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_rcv.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── letnewchan.ll │ ├── literals.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_layout_decs.ll │ ├── order.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par4_seq_send3.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_pat.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_ten1_ten1.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── plug_compose.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── recv_proc.ll │ ├── replicate_par.ll │ ├── replicate_ten.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_array_cnt_new.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_pat.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sum_int.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test4.ll │ ├── test4_inferred.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── success.ll └── success │ ├── a_char.ll │ ├── anon_arg.ll │ ├── ap.ll │ ├── app_lambda.ll │ ├── assert.ll │ ├── assert_let_case_in_type.ll │ ├── at_end.ll │ ├── bool.ll │ ├── case_con.ll │ ├── case_fun_server.ll │ ├── case_proto.ll │ ├── case_proto2.ll │ ├── com_new.ll │ ├── com_new_mk_ten2.ll │ ├── com_with_log.ll │ ├── compose_ops.ll │ ├── conv_fun.ll │ ├── curry.ll │ ├── cutEmptyParTensor.ll │ ├── cutSendRecv.ll │ ├── cut_par_cut.ll │ ├── cut_send_recv_recv_send_with_log.ll │ ├── cut_send_recv_recv_send_with_log_prll.ll │ ├── dep_fun_server.ll │ ├── div_mod_server_cont.ll │ ├── div_mod_server_explicit_prll.ll │ ├── div_mod_server_par2_ten2_ten2.ll │ ├── div_mod_server_par4.ll │ ├── div_mod_server_seq2_ten2_ten2.ll │ ├── div_mod_server_seq4.ll │ ├── div_mod_server_simple.ll │ ├── double.ll │ ├── dual_dual.ll │ ├── equiv_plus.ll │ ├── equiv_repl_const.ll │ ├── equiv_repl_plus.ll │ ├── fake_div_mod_server_ten2.ll │ ├── feed_fwd_send_then_recv.ll │ ├── feed_recv.ll │ ├── feed_send.ll │ ├── feed_send_par_recv.ll │ ├── feed_send_ten_recv.ll │ ├── feed_send_then_recv.ll │ ├── flexible_telescope.ll │ ├── forward_difference.ll │ ├── fun1_to_proc_ord.ll │ ├── fun1_to_proc_par2.ll │ ├── fun1_to_proc_seq.ll │ ├── fwd0_snd0.ll │ ├── fwd1_par2_rcv.ll │ ├── fwd1_rcv.ll │ ├── fwd1_seq2_rcv.ll │ ├── fwd1_ten2_rcv.ll │ ├── fwd2_par2_ten2.ll │ ├── fwd3_par2_ten2_ten2.ll │ ├── fwd3_seq2_seq2_seq2.ll │ ├── fwd_par0_ten0.ll │ ├── fwd_par2_ten2.ll │ ├── fwd_par2_ten2_expanded.ll │ ├── fwd_par2_ten2_ten2.ll │ ├── fwd_par2_ten2_ten2_ten2.ll │ ├── fwd_parN_tenN.ll │ ├── fwd_send_recv.ll │ ├── fwd_send_recv_recv_auto.ll │ ├── fwd_send_recv_recv_manually.ll │ ├── fwd_send_recv_recv_send.ll │ ├── fwd_send_recv_recv_with_listener_auto.ll │ ├── fwd_send_recv_recv_with_listener_manually.ll │ ├── fwd_seq2_seq2_seq2.ll │ ├── fwd_ten2_par2.ll │ ├── group_nested_seq.ll │ ├── id.ll │ ├── idType.ll │ ├── infer_assert.ll │ ├── int_defs.ll │ ├── layout_case.ll │ ├── let42.ll │ ├── let42ann.ll │ ├── let_example.ll │ ├── let_in_proc_for_session.ll │ ├── let_let.ll │ ├── let_order.ll │ ├── let_order_proc.ll │ ├── let_used_twice.ll │ ├── letnewchan.ll │ ├── letrecv.ll │ ├── letrecv_ann.ll │ ├── letsession.ll │ ├── lettype.ll │ ├── literals.ll │ ├── loli_id.ll │ ├── matmul_seq.ll │ ├── merger.ll │ ├── merger_ParSort_full_prll.ll │ ├── merger_loli_Sort.ll │ ├── merger_nstSort_prll.ll │ ├── merger_nstSort_prll_v2.ll │ ├── merger_seq.ll │ ├── merger_seq_Sort.ll │ ├── merger_seq_inferred.ll │ ├── merger_sequential_ten2_loli_Sort.ll │ ├── merger_ten2_loli_Sort.ll │ ├── mk_new_ann.ll │ ├── mk_new_seq.ll │ ├── mk_par2_LR.ll │ ├── mk_par2_RL.ll │ ├── mk_par2_prll.ll │ ├── mk_seq2.ll │ ├── mk_ten2_2new_2fwd.ll │ ├── mk_tensor2.ll │ ├── mkrecv.ll │ ├── mksend.ll │ ├── multi_recv.ll │ ├── my_dual.ll │ ├── my_loli.ll │ ├── new_alloc.ll │ ├── new_fuse1_recv_send_send_recv.ll │ ├── new_seq_par_par.ll │ ├── new_ten2.ll │ ├── no_dead_lock_new_new.ll │ ├── no_dead_lock_new_new_seq.ll │ ├── no_dead_lock_new_new_v2.ll │ ├── non_dep_fun_dom_args.ll │ ├── non_dep_recv_dom_args.ll │ ├── non_dependent_function_type.ll │ ├── non_layout_decs.ll │ ├── oplus.ll │ ├── order.ll │ ├── par0.ll │ ├── par1.ll │ ├── par2.ll │ ├── par2mix.ll │ ├── par4_seq_send3.ll │ ├── par_comm.ll │ ├── par_loli_ten_send.ll │ ├── par_loli_ten_send_v2.ll │ ├── par_pat.ll │ ├── par_seq_back.ll │ ├── par_seq_front.ll │ ├── par_seq_middle.ll │ ├── par_seq_send3.ll │ ├── par_seqi_ten_send.ll │ ├── par_ten1_ten1.ll │ ├── par_ten_ten_v0.ll │ ├── par_ten_ten_v1.ll │ ├── par_ten_ten_v2.ll │ ├── parallel_assoc_2tensor2_left.ll │ ├── parallel_assoc_2tensor2_right.ll │ ├── parallel_assoc_flat.ll │ ├── parallel_assoc_left.ll │ ├── parallel_assoc_right.ll │ ├── parallel_assoc_tensor3_flat.ll │ ├── parallel_assoc_tensor3_left.ll │ ├── parallel_assoc_tensor3_right.ll │ ├── parallel_tensor4_flat.ll │ ├── parallel_tensor4_v0.ll │ ├── pattern_example_expanded.ll │ ├── plug_compose.ll │ ├── plug_compose_par_par.ll │ ├── plug_send_recv.ll │ ├── rebound_anon.ll │ ├── receiver.ll │ ├── recv_proc.ll │ ├── reduce_primops.ll │ ├── replicate.ll │ ├── replicate_par.ll │ ├── replicate_proc.ll │ ├── replicate_ten.ll │ ├── rotate_seq.ll │ ├── saxpy.ll │ ├── sender.ll │ ├── seq0.ll │ ├── seq0_explicit.ll │ ├── seq3.ll │ ├── seq3_seq2.ll │ ├── seq_array_cnt_new.ll │ ├── seq_assoc_core.ll │ ├── seq_par_back.ll │ ├── seq_par_back_v2.ll │ ├── seq_pat.ll │ ├── seq_seq.ll │ ├── seq_seq_send2.ll │ ├── seq_ten.ll │ ├── singleRecv.ll │ ├── singleSend.ll │ ├── sorter.ll │ ├── split_fwd1_rcv.ll │ ├── split_nested_seq.ll │ ├── sqr_dbl.ll │ ├── sqrs.ll │ ├── sqrs_abs.ll │ ├── sum_int.ll │ ├── switch.ll │ ├── tabulate_seq.ll │ ├── ten_loli_par.ll │ ├── ten_loli_par_sequential.ll │ ├── ten_par_par_split.ll │ ├── tensor0.ll │ ├── tensor1.ll │ ├── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.ll │ ├── test2.ll │ ├── test3.ll │ ├── test4.ll │ ├── test4_inferred.ll │ ├── test_pat.ll │ ├── type_ann_reduce.ll │ ├── type_annotation.ll │ ├── type_defs.ll │ ├── type_id.ll │ ├── uncurry.ll │ ├── with.ll │ ├── zap.ll │ ├── zap_ten_fwd.ll │ ├── zap_ten_par.ll │ ├── zap_ten_seq.ll │ └── zip_add.ll ├── flake.lock ├── flake.nix ├── issues ├── check │ ├── 10-title │ └── keep.t ├── compile │ ├── 13-title │ ├── case_fun_server.ll │ ├── forward_difference.ll │ ├── inferrence │ │ ├── merger_seq_inferred.ll │ │ └── test4_inferred.ll │ ├── keep.t │ ├── letsession.ll │ ├── recv_proc.ll │ ├── test4_inferred.ll │ ├── test_pat.ll │ ├── union │ │ ├── test3.c │ │ └── test3.ll │ └── vec │ │ ├── merger.ll │ │ ├── merger_seq.ll │ │ ├── merger_seq_Sort.ll │ │ └── sorter.ll ├── fusion │ ├── 12-title │ ├── keep.t │ ├── seq_array_cnt_new.ll │ └── test4.ll ├── keep.t │ └── TESTRECIPE └── sequence │ ├── 11-title │ ├── case_fun_server.ll │ ├── forward_difference.ll │ ├── keep.t │ ├── merger.t │ ├── TESTRECIPE │ ├── merger.ll │ ├── stdout │ └── stdout.candidate │ ├── recv_proc.ll │ ├── test4_inferred.ll │ ├── test4_inferred.t │ ├── TESTRECIPE │ ├── stderr │ ├── stdout │ └── test4_inferred.ll │ └── test_pat.ll ├── ling.cabal ├── mkdocs.yml ├── new └── .gitkeep ├── package.yaml ├── relink.sh ├── rules.txt ├── run-in-nix-shell ├── stack.yaml ├── stack.yaml.lock ├── tests ├── compile │ ├── 04-title │ ├── all.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ ├── stdin │ │ └── stdout │ ├── embed_send_42.t │ │ ├── TESTRECIPE │ │ ├── embed_send_42.ll │ │ └── stdout │ └── send_1.t │ │ ├── TESTRECIPE │ │ ├── send_1.ll │ │ ├── stderr │ │ └── stdout ├── expand │ ├── 11-title │ └── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout ├── failure │ ├── 00-title │ ├── badCutSendRecv.t │ │ ├── TESTRECIPE │ │ ├── badCutSendRecv.ll │ │ └── stderr │ ├── badTensor2.t │ │ ├── TESTRECIPE │ │ ├── badTensor2.ll │ │ └── stderr │ ├── bad_Log_1.t │ │ ├── TESTRECIPE │ │ ├── bad_Log_1.ll │ │ └── stderr │ ├── bad_Log_SInt_2.t │ │ ├── TESTRECIPE │ │ ├── bad_Log_SInt_2.ll │ │ └── stderr │ ├── bad_assert.t │ │ ├── TESTRECIPE │ │ ├── bad_assert.ll │ │ └── stderr │ ├── bad_cast.t │ │ ├── TESTRECIPE │ │ ├── bad_cast.ll │ │ └── stderr │ ├── bad_codomain.t │ │ ├── TESTRECIPE │ │ ├── bad_codomain.ll │ │ └── stderr │ ├── bad_factor.t │ │ ├── TESTRECIPE │ │ ├── bad_factor.ll │ │ └── stderr │ ├── bad_flag.t │ │ ├── TESTRECIPE │ │ └── stderr │ ├── bad_sym_def.t │ │ ├── TESTRECIPE │ │ ├── bad_sym_def.ll │ │ └── stderr │ ├── case_bad_data.t │ │ ├── TESTRECIPE │ │ ├── case_bad_data.ll │ │ └── stderr │ ├── case_non_data.t │ │ ├── TESTRECIPE │ │ ├── case_non_data.ll │ │ └── stderr │ ├── case_non_data2.t │ │ ├── TESTRECIPE │ │ ├── case_non_data2.ll │ │ └── stderr │ ├── chan_escape.t │ │ ├── TESTRECIPE │ │ ├── chan_escape.ll │ │ └── stderr │ ├── con_dup.t │ │ ├── TESTRECIPE │ │ ├── con_dup.ll │ │ └── stderr │ ├── confuseSendRecv2.t │ │ ├── TESTRECIPE │ │ ├── confuseSendRecv2.ll │ │ └── stderr │ ├── confuseSendRecv2_using_dual.t │ │ ├── TESTRECIPE │ │ ├── confuseSendRecv2_using_dual.ll │ │ └── stderr │ ├── data_dup.t │ │ ├── TESTRECIPE │ │ ├── data_dup.ll │ │ └── stderr │ ├── dead_lock_new_new.t │ │ ├── TESTRECIPE │ │ ├── dead_lock_new_new.ll │ │ └── stderr │ ├── dead_lock_par_ten_ten.t │ │ ├── TESTRECIPE │ │ ├── dead_lock_par_ten_ten.ll │ │ └── stderr │ ├── dead_lock_tensor2_tensor2.t │ │ ├── TESTRECIPE │ │ ├── dead_lock_tensor2_tensor2.ll │ │ └── stderr │ ├── dup_send.t │ │ ├── TESTRECIPE │ │ ├── dup_send.ll │ │ └── stderr │ ├── infer_plus.t │ │ ├── TESTRECIPE │ │ ├── infer_plus.ll │ │ └── stderr │ ├── infer_recv.t │ │ ├── TESTRECIPE │ │ ├── infer_recv.ll │ │ └── stderr │ ├── local_redef_fwd_par2_ten2_expanded.t │ │ ├── TESTRECIPE │ │ ├── local_redef_fwd_par2_ten2_expanded.ll │ │ └── stderr │ ├── local_redef_type_id.t │ │ ├── TESTRECIPE │ │ ├── local_redef_type_id.ll │ │ └── stderr │ ├── merger_v2.t │ │ ├── TESTRECIPE │ │ ├── merger_v2.ll │ │ └── stderr │ ├── missingSend.t │ │ ├── TESTRECIPE │ │ ├── missingSend.ll │ │ └── stderr │ ├── missingSendConfusesSendRecv.t │ │ ├── TESTRECIPE │ │ ├── missingSendConfusesSendRecv.ll │ │ └── stderr │ ├── missing_one_seq3.t │ │ ├── TESTRECIPE │ │ ├── missing_one_seq3.ll │ │ └── stderr │ ├── not_sink_fwd1_snd.t │ │ ├── TESTRECIPE │ │ ├── not_sink_fwd1_snd.ll │ │ └── stderr │ ├── over_application.t │ │ ├── TESTRECIPE │ │ ├── over_application.ll │ │ └── stderr │ ├── par_loli_ten.t │ │ ├── TESTRECIPE │ │ ├── par_loli_ten.ll │ │ └── stderr │ ├── redef.t │ │ ├── TESTRECIPE │ │ ├── redef.ll │ │ └── stderr │ ├── redef_con.t │ │ ├── TESTRECIPE │ │ ├── redef_con.ll │ │ └── stderr │ ├── redef_data.t │ │ ├── TESTRECIPE │ │ ├── redef_data.ll │ │ └── stderr │ ├── redef_proc.t │ │ ├── TESTRECIPE │ │ ├── redef_proc.ll │ │ └── stderr │ ├── reusedParChannel.t │ │ ├── TESTRECIPE │ │ ├── reusedParChannel.ll │ │ └── stderr │ ├── reusedTensorChannel.t │ │ ├── TESTRECIPE │ │ ├── reusedTensorChannel.ll │ │ └── stderr │ ├── unboundChannel.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── unboundChannel.ll │ ├── unbound_anon.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── unbound_anon.ll │ ├── undef_con.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── undef_con.ll │ ├── unscoped_recv_at.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── unscoped_recv_at.ll │ ├── unscoped_recv_slice.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── unscoped_recv_slice.ll │ ├── unused_chan.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── unused_chan.ll │ ├── wrong_abs_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_abs_cnt_new.ll │ ├── wrong_case_con.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_case_con.ll │ ├── wrong_char_literal.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_char_literal.ll │ ├── wrong_dep_fun_server.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_dep_fun_server.ll │ ├── wrong_double_literal.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_double_literal.ll │ ├── wrong_feed_send_with_send.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_feed_send_with_send.ll │ ├── wrong_fun1_to_proc_ord.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_fun1_to_proc_ord.ll │ ├── wrong_fun1_to_proc_par2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_fun1_to_proc_par2.ll │ ├── wrong_fwd_seq2_seq2_seq2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_fwd_seq2_seq2_seq2.ll │ ├── wrong_integer_literal.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_integer_literal.ll │ ├── wrong_let42.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_let42.ll │ ├── wrong_let42ann.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_let42ann.ll │ ├── wrong_merger_ParSort_full_seq.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_merger_ParSort_full_seq.ll │ ├── wrong_merger_ParSort_prll.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_merger_ParSort_prll.ll │ ├── wrong_merger_recv_sequential_par2_loli_Sort.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_merger_recv_sequential_par2_loli_Sort.ll │ ├── wrong_merger_send_sequential_par2_loli_Sort.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_merger_send_sequential_par2_loli_Sort.ll │ ├── wrong_merger_sequential_par2_loli_Sort.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_merger_sequential_par2_loli_Sort.ll │ ├── wrong_mk_new_seq_RL.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_new_seq_RL.ll │ ├── wrong_mk_new_seq_prll.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_new_seq_prll.ll │ ├── wrong_mk_seq2_RL.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_seq2_RL.ll │ ├── wrong_mk_seq2_prll.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_seq2_prll.ll │ ├── wrong_mk_ten2_LR.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_ten2_LR.ll │ ├── wrong_mk_tensor2_RL.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_mk_tensor2_RL.ll │ ├── wrong_new_ann.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_new_ann.ll │ ├── wrong_new_seq_dual.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_new_seq_dual.ll │ ├── wrong_new_seq_fwd.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_new_seq_fwd.ll │ ├── wrong_new_seq_par_par.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_new_seq_par_par.ll │ ├── wrong_non_dependent_function_type.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_non_dependent_function_type.ll │ ├── wrong_order_par2_par2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_par2_par2.ll │ ├── wrong_order_par_seq_back.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_par_seq_back.ll │ ├── wrong_order_par_seq_front.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_par_seq_front.ll │ ├── wrong_order_par_seq_middle.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_par_seq_middle.ll │ ├── wrong_order_seq2_seq2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq2_seq2.ll │ ├── wrong_order_seq3.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq3.ll │ ├── wrong_order_seq_par_front.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq_par_front.ll │ ├── wrong_order_seq_par_middle.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq_par_middle.ll │ ├── wrong_order_seq_seq.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq_seq.ll │ ├── wrong_order_seq_seq_send2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq_seq_send2.ll │ ├── wrong_order_seq_ten.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_seq_ten.ll │ ├── wrong_order_sequence.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_sequence.ll │ ├── wrong_order_split_nested_seq.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_order_split_nested_seq.ll │ ├── wrong_par_array_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_par_array_cnt_new.ll │ ├── wrong_par_comm_sequential.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_par_comm_sequential.ll │ ├── wrong_par_pat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_par_pat.ll │ ├── wrong_par_pat_v2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_par_pat_v2.ll │ ├── wrong_par_seq3.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_par_seq3.ll │ ├── wrong_pattern_example_expanded.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_pattern_example_expanded.ll │ ├── wrong_plug_send_recv.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_plug_send_recv.ll │ ├── wrong_read_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_read_cnt_new.ll │ ├── wrong_reduce_concat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_reduce_concat.ll │ ├── wrong_reduce_double.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_reduce_double.ll │ ├── wrong_repeat_par.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_repeat_par.ll │ ├── wrong_replication.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_replication.ll │ ├── wrong_seq_array_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_seq_array_cnt_new.ll │ ├── wrong_seq_pat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_seq_pat.ll │ ├── wrong_seq_pat_v2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_seq_pat_v2.ll │ ├── wrong_split_nested_seq.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_split_nested_seq.ll │ ├── wrong_string_literal.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_string_literal.ll │ ├── wrong_telescope.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_telescope.ll │ ├── wrong_ten2_par2.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_ten2_par2.ll │ ├── wrong_ten2_send_par1_send.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_ten2_send_par1_send.ll │ ├── wrong_ten_array_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_ten_array_cnt_new.ll │ ├── wrong_ten_pat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_ten_pat.ll │ ├── wrong_test_pat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_test_pat.ll │ ├── wrong_type_annotation.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_type_annotation.ll │ ├── wrong_type_def.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_type_def.ll │ └── wrong_write_cnt_new.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── wrong_write_cnt_new.ll ├── fmt │ ├── 07-title │ ├── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout │ └── v0.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout ├── fusion │ ├── 03-title │ ├── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout │ ├── com_new_SInt_RBool2.t │ │ ├── TESTRECIPE │ │ ├── com_new_SInt_RBool2.ll │ │ └── stdout │ ├── com_new_SType_SA.t │ │ ├── TESTRECIPE │ │ ├── com_new_SType_SA.ll │ │ └── stdout │ ├── forward_difference.t │ │ ├── TESTRECIPE │ │ ├── forward_difference.ll │ │ └── stdout │ ├── new_ann_let_fuse0.t │ │ ├── TESTRECIPE │ │ ├── new_ann_let_fuse0.ll │ │ └── stdout │ ├── new_ann_let_fuse1.t │ │ ├── TESTRECIPE │ │ ├── new_ann_let_fuse1.ll │ │ └── stdout │ ├── new_ten2.t │ │ ├── TESTRECIPE │ │ ├── new_ten2.ll │ │ └── stdout │ └── new_ten2_expanded.t │ │ ├── TESTRECIPE │ │ ├── new_ten2.ll │ │ └── stdout ├── norm │ ├── 05-title │ └── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout ├── pretty │ ├── 06-title │ └── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout ├── reduce │ ├── 12-title │ └── all.t │ │ ├── TESTRECIPE │ │ ├── stdin │ │ └── stdout ├── sequence │ ├── 02-title │ ├── all.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ ├── stdin │ │ └── stdout │ ├── cut_recv_send_send_recv.t │ │ ├── TESTRECIPE │ │ ├── cut_recv_send_send_recv.ll │ │ └── stdout │ ├── cut_send_recv_recv_send.t │ │ ├── TESTRECIPE │ │ ├── cut_send_recv_recv_send.ll │ │ └── stdout │ ├── cut_send_recv_recv_send_v2.t │ │ ├── TESTRECIPE │ │ ├── cut_send_recv_recv_send_v2.ll │ │ └── stdout │ └── cut_send_recv_recv_send_with_log.t │ │ ├── TESTRECIPE │ │ ├── cut_send_recv_recv_send_with_log.ll │ │ └── stdout ├── strict-par-failure │ ├── 08-title │ ├── fwd2_par2_ten2.t │ │ ├── TESTRECIPE │ │ ├── fwd2_par2_ten2.ll │ │ └── stderr │ ├── fwd3_par2_ten2_ten2.t │ │ ├── TESTRECIPE │ │ ├── fwd3_par2_ten2_ten2.ll │ │ └── stderr │ ├── fwd3_seq2_seq2_seq2.t │ │ ├── TESTRECIPE │ │ ├── fwd3_seq2_seq2_seq2.ll │ │ └── stderr │ ├── fwd_par2_ten2.t │ │ ├── TESTRECIPE │ │ ├── fwd_par2_ten2.ll │ │ └── stderr │ ├── fwd_par2_ten2_expanded.t │ │ ├── TESTRECIPE │ │ ├── fwd_par2_ten2_expanded.ll │ │ └── stderr │ ├── fwd_par2_ten2_ten2.t │ │ ├── TESTRECIPE │ │ ├── fwd_par2_ten2_ten2.ll │ │ └── stderr │ ├── fwd_par2_ten2_ten2_ten2.t │ │ ├── TESTRECIPE │ │ ├── fwd_par2_ten2_ten2_ten2.ll │ │ └── stderr │ ├── fwd_ten2_par2.t │ │ ├── TESTRECIPE │ │ ├── fwd_ten2_par2.ll │ │ └── stderr │ ├── merger_ten2_loli_Sort.t │ │ ├── TESTRECIPE │ │ ├── merger_ten2_loli_Sort.ll │ │ └── stderr │ ├── par2mix.t │ │ ├── TESTRECIPE │ │ ├── par2mix.ll │ │ └── stderr │ ├── par_comm.t │ │ ├── TESTRECIPE │ │ ├── par_comm.ll │ │ └── stderr │ ├── par_ten_ten_v0.t │ │ ├── TESTRECIPE │ │ ├── par_ten_ten_v0.ll │ │ └── stderr │ ├── par_ten_ten_v1.t │ │ ├── TESTRECIPE │ │ ├── par_ten_ten_v1.ll │ │ └── stderr │ ├── par_ten_ten_v2.t │ │ ├── TESTRECIPE │ │ ├── par_ten_ten_v2.ll │ │ └── stderr │ ├── pattern_example_expanded.t │ │ ├── TESTRECIPE │ │ ├── pattern_example_expanded.ll │ │ └── stderr │ ├── switch.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── switch.ll │ ├── ten_loli_par.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── ten_loli_par.ll │ ├── test3.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── test3.ll │ ├── test_pat.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── test_pat.ll │ ├── zap_ten_fwd.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── zap_ten_fwd.ll │ └── zap_ten_par.t │ │ ├── TESTRECIPE │ │ ├── stderr │ │ └── zap_ten_par.ll └── success │ ├── 01-title │ ├── a_char.t │ ├── TESTRECIPE │ ├── a_char.ll │ └── stdout │ ├── anon_arg.t │ ├── TESTRECIPE │ ├── anon_arg.ll │ └── stdout │ ├── ap.t │ ├── TESTRECIPE │ ├── ap.ll │ └── stdout │ ├── app_lambda.t │ ├── TESTRECIPE │ ├── app_lambda.ll │ └── stdout │ ├── assert.t │ ├── TESTRECIPE │ ├── assert.ll │ └── stdout │ ├── assert_let_case_in_type.t │ ├── TESTRECIPE │ ├── assert_let_case_in_type.ll │ └── stdout │ ├── at_end.t │ ├── TESTRECIPE │ ├── at_end.ll │ └── stdout │ ├── bool.t │ ├── TESTRECIPE │ ├── bool.ll │ └── stdout │ ├── case_con.t │ ├── TESTRECIPE │ ├── case_con.ll │ └── stdout │ ├── case_fun_server.t │ ├── TESTRECIPE │ ├── case_fun_server.ll │ └── stdout │ ├── case_proto.t │ ├── TESTRECIPE │ ├── case_proto.ll │ └── stdout │ ├── case_proto2.t │ ├── TESTRECIPE │ ├── case_proto2.ll │ └── stdout │ ├── com_new.t │ ├── TESTRECIPE │ ├── com_new.ll │ └── stdout │ ├── com_new_mk_ten2.t │ ├── TESTRECIPE │ ├── com_new_mk_ten2.ll │ └── stdout │ ├── com_with_log.t │ ├── TESTRECIPE │ ├── com_with_log.ll │ └── stdout │ ├── compose_ops.t │ ├── TESTRECIPE │ ├── compose_ops.ll │ └── stdout │ ├── conv_fun.t │ ├── TESTRECIPE │ ├── conv_fun.ll │ └── stdout │ ├── curry.t │ ├── TESTRECIPE │ ├── curry.ll │ └── stdout │ ├── cutEmptyParTensor.t │ ├── TESTRECIPE │ ├── cutEmptyParTensor.ll │ └── stdout │ ├── cutSendRecv.t │ ├── TESTRECIPE │ ├── cutSendRecv.ll │ └── stdout │ ├── cut_par_cut.t │ ├── TESTRECIPE │ ├── cut_par_cut.ll │ └── stdout │ ├── cut_send_recv_recv_send_with_log_prll.t │ ├── TESTRECIPE │ ├── cut_send_recv_recv_send_with_log_prll.ll │ └── stdout │ ├── dep_fun_server.t │ ├── TESTRECIPE │ ├── dep_fun_server.ll │ └── stdout │ ├── div_mod_server_cont.t │ ├── TESTRECIPE │ ├── div_mod_server_cont.ll │ └── stdout │ ├── div_mod_server_explicit_prll.t │ ├── TESTRECIPE │ ├── div_mod_server_explicit_prll.ll │ └── stdout │ ├── div_mod_server_par2_ten2_ten2.t │ ├── TESTRECIPE │ ├── div_mod_server_par2_ten2_ten2.ll │ └── stdout │ ├── div_mod_server_par4.t │ ├── TESTRECIPE │ ├── div_mod_server_par4.ll │ └── stdout │ ├── div_mod_server_seq2_ten2_ten2.t │ ├── TESTRECIPE │ ├── div_mod_server_seq2_ten2_ten2.ll │ └── stdout │ ├── div_mod_server_seq4.t │ ├── TESTRECIPE │ ├── div_mod_server_seq4.ll │ └── stdout │ ├── div_mod_server_simple.t │ ├── TESTRECIPE │ ├── div_mod_server_simple.ll │ └── stdout │ ├── double.t │ ├── TESTRECIPE │ ├── double.ll │ └── stdout │ ├── dual_dual.t │ ├── TESTRECIPE │ ├── dual_dual.ll │ └── stdout │ ├── equiv_plus.t │ ├── TESTRECIPE │ ├── equiv_plus.ll │ └── stdout │ ├── equiv_repl_const.t │ ├── TESTRECIPE │ ├── equiv_repl_const.ll │ └── stdout │ ├── equiv_repl_plus.t │ ├── TESTRECIPE │ ├── equiv_repl_plus.ll │ └── stdout │ ├── fake_div_mod_server_ten2.t │ ├── TESTRECIPE │ ├── fake_div_mod_server_ten2.ll │ └── stdout │ ├── feed_fwd_send_then_recv.t │ ├── TESTRECIPE │ ├── feed_fwd_send_then_recv.ll │ └── stdout │ ├── feed_recv.t │ ├── TESTRECIPE │ ├── feed_recv.ll │ └── stdout │ ├── feed_send.t │ ├── TESTRECIPE │ ├── feed_send.ll │ └── stdout │ ├── feed_send_par_recv.t │ ├── TESTRECIPE │ ├── feed_send_par_recv.ll │ └── stdout │ ├── feed_send_ten_recv.t │ ├── TESTRECIPE │ ├── feed_send_ten_recv.ll │ └── stdout │ ├── feed_send_then_recv.t │ ├── TESTRECIPE │ ├── feed_send_then_recv.ll │ └── stdout │ ├── flexible_telescope.t │ ├── TESTRECIPE │ ├── flexible_telescope.ll │ └── stdout │ ├── forward_difference.t │ ├── TESTRECIPE │ ├── forward_difference.ll │ └── stdout │ ├── fun1_to_proc_ord.t │ ├── TESTRECIPE │ ├── fun1_to_proc_ord.ll │ └── stdout │ ├── fun1_to_proc_par2.t │ ├── TESTRECIPE │ ├── fun1_to_proc_par2.ll │ └── stdout │ ├── fun1_to_proc_seq.t │ ├── TESTRECIPE │ ├── fun1_to_proc_seq.ll │ └── stdout │ ├── fwd0_snd0.t │ ├── TESTRECIPE │ ├── fwd0_snd0.ll │ └── stdout │ ├── fwd1_par2_rcv.t │ ├── TESTRECIPE │ ├── fwd1_par2_rcv.ll │ └── stdout │ ├── fwd1_rcv.t │ ├── TESTRECIPE │ ├── fwd1_rcv.ll │ └── stdout │ ├── fwd1_seq2_rcv.t │ ├── TESTRECIPE │ ├── fwd1_seq2_rcv.ll │ └── stdout │ ├── fwd1_ten2_rcv.t │ ├── TESTRECIPE │ ├── fwd1_ten2_rcv.ll │ └── stdout │ ├── fwd2_par2_ten2.t │ ├── TESTRECIPE │ ├── fwd2_par2_ten2.ll │ └── stdout │ ├── fwd3_par2_ten2_ten2.t │ ├── TESTRECIPE │ ├── fwd3_par2_ten2_ten2.ll │ └── stdout │ ├── fwd3_seq2_seq2_seq2.t │ ├── TESTRECIPE │ ├── fwd3_seq2_seq2_seq2.ll │ └── stdout │ ├── fwd_par0_ten0.t │ ├── TESTRECIPE │ ├── fwd_par0_ten0.ll │ └── stdout │ ├── fwd_par2_ten2.t │ ├── TESTRECIPE │ ├── fwd_par2_ten2.ll │ └── stdout │ ├── fwd_par2_ten2_expanded.t │ ├── TESTRECIPE │ ├── fwd_par2_ten2_expanded.ll │ └── stdout │ ├── fwd_par2_ten2_ten2.t │ ├── TESTRECIPE │ ├── fwd_par2_ten2_ten2.ll │ └── stdout │ ├── fwd_par2_ten2_ten2_ten2.t │ ├── TESTRECIPE │ ├── fwd_par2_ten2_ten2_ten2.ll │ └── stdout │ ├── fwd_parN_tenN.t │ ├── TESTRECIPE │ ├── fwd_parN_tenN.ll │ └── stdout │ ├── fwd_send_recv.t │ ├── TESTRECIPE │ ├── fwd_send_recv.ll │ └── stdout │ ├── fwd_send_recv_recv_auto.t │ ├── TESTRECIPE │ ├── fwd_send_recv_recv_auto.ll │ └── stdout │ ├── fwd_send_recv_recv_manually.t │ ├── TESTRECIPE │ ├── fwd_send_recv_recv_manually.ll │ └── stdout │ ├── fwd_send_recv_recv_send.t │ ├── TESTRECIPE │ ├── fwd_send_recv_recv_send.ll │ └── stdout │ ├── fwd_send_recv_recv_with_listener_auto.t │ ├── TESTRECIPE │ ├── fwd_send_recv_recv_with_listener_auto.ll │ └── stdout │ ├── fwd_send_recv_recv_with_listener_manually.t │ ├── TESTRECIPE │ ├── fwd_send_recv_recv_with_listener_manually.ll │ └── stdout │ ├── fwd_seq2_seq2_seq2.t │ ├── TESTRECIPE │ ├── fwd_seq2_seq2_seq2.ll │ └── stdout │ ├── fwd_ten2_par2.t │ ├── TESTRECIPE │ ├── fwd_ten2_par2.ll │ └── stdout │ ├── group_nested_seq.t │ ├── TESTRECIPE │ ├── group_nested_seq.ll │ └── stdout │ ├── id.t │ ├── TESTRECIPE │ ├── id.ll │ └── stdout │ ├── idType.t │ ├── TESTRECIPE │ ├── idType.ll │ └── stdout │ ├── infer_assert.t │ ├── TESTRECIPE │ ├── infer_assert.ll │ └── stdout │ ├── int_defs.t │ ├── TESTRECIPE │ ├── int_defs.ll │ └── stdout │ ├── layout_case.t │ ├── TESTRECIPE │ ├── layout_case.ll │ └── stdout │ ├── let42.t │ ├── TESTRECIPE │ ├── let42.ll │ └── stdout │ ├── let42ann.t │ ├── TESTRECIPE │ ├── let42ann.ll │ └── stdout │ ├── let_example.t │ ├── TESTRECIPE │ ├── let_example.ll │ └── stdout │ ├── let_in_proc_for_session.t │ ├── TESTRECIPE │ ├── let_in_proc_for_session.ll │ └── stdout │ ├── let_let.t │ ├── TESTRECIPE │ ├── let_let.ll │ └── stdout │ ├── let_order.t │ ├── TESTRECIPE │ ├── let_order.ll │ └── stdout │ ├── let_order_proc.t │ ├── TESTRECIPE │ ├── let_order_proc.ll │ └── stdout │ ├── let_used_twice.t │ ├── TESTRECIPE │ ├── let_used_twice.ll │ └── stdout │ ├── letnewchan.t │ ├── TESTRECIPE │ ├── letnewchan.ll │ └── stdout │ ├── letrecv.t │ ├── TESTRECIPE │ ├── letrecv.ll │ └── stdout │ ├── letrecv_ann.t │ ├── TESTRECIPE │ ├── letrecv_ann.ll │ └── stdout │ ├── letsession.t │ ├── TESTRECIPE │ ├── letsession.ll │ └── stdout │ ├── lettype.t │ ├── TESTRECIPE │ ├── lettype.ll │ └── stdout │ ├── literals.t │ ├── TESTRECIPE │ ├── literals.ll │ └── stdout │ ├── loli_id.t │ ├── TESTRECIPE │ ├── loli_id.ll │ └── stdout │ ├── matmul_seq.t │ ├── TESTRECIPE │ ├── matmul_seq.ll │ └── stdout │ ├── merger.t │ ├── TESTRECIPE │ ├── merger.ll │ └── stdout │ ├── merger_ParSort_full_prll.t │ ├── TESTRECIPE │ ├── merger_ParSort_full_prll.ll │ └── stdout │ ├── merger_loli_Sort.t │ ├── TESTRECIPE │ ├── merger_loli_Sort.ll │ └── stdout │ ├── merger_nstSort_prll.t │ ├── TESTRECIPE │ ├── merger_nstSort_prll.ll │ └── stdout │ ├── merger_nstSort_prll_v2.t │ ├── TESTRECIPE │ ├── merger_nstSort_prll_v2.ll │ └── stdout │ ├── merger_seq.t │ ├── TESTRECIPE │ ├── merger_seq.ll │ └── stdout │ ├── merger_seq_Sort.t │ ├── TESTRECIPE │ ├── merger_seq_Sort.ll │ └── stdout │ ├── merger_seq_inferred.t │ ├── TESTRECIPE │ ├── merger_seq_inferred.ll │ └── stdout │ ├── merger_sequential_ten2_loli_Sort.t │ ├── TESTRECIPE │ ├── merger_sequential_ten2_loli_Sort.ll │ └── stdout │ ├── merger_ten2_loli_Sort.t │ ├── TESTRECIPE │ ├── merger_ten2_loli_Sort.ll │ └── stdout │ ├── mk_new_ann.t │ ├── TESTRECIPE │ ├── mk_new_ann.ll │ └── stdout │ ├── mk_new_seq.t │ ├── TESTRECIPE │ ├── mk_new_seq.ll │ └── stdout │ ├── mk_par2_LR.t │ ├── TESTRECIPE │ ├── mk_par2_LR.ll │ └── stdout │ ├── mk_par2_RL.t │ ├── TESTRECIPE │ ├── mk_par2_RL.ll │ └── stdout │ ├── mk_par2_prll.t │ ├── TESTRECIPE │ ├── mk_par2_prll.ll │ └── stdout │ ├── mk_seq2.t │ ├── TESTRECIPE │ ├── mk_seq2.ll │ └── stdout │ ├── mk_ten2_2new_2fwd.t │ ├── TESTRECIPE │ ├── mk_ten2_2new_2fwd.ll │ └── stdout │ ├── mk_tensor2.t │ ├── TESTRECIPE │ ├── mk_tensor2.ll │ └── stdout │ ├── mkrecv.t │ ├── TESTRECIPE │ ├── mkrecv.ll │ └── stdout │ ├── mksend.t │ ├── TESTRECIPE │ ├── mksend.ll │ └── stdout │ ├── multi_recv.t │ ├── TESTRECIPE │ ├── multi_recv.ll │ └── stdout │ ├── my_dual.t │ ├── TESTRECIPE │ ├── my_dual.ll │ └── stdout │ ├── my_loli.t │ ├── TESTRECIPE │ ├── my_loli.ll │ └── stdout │ ├── new_alloc.t │ ├── TESTRECIPE │ ├── new_alloc.ll │ └── stdout │ ├── new_fuse1_recv_send_send_recv.t │ ├── TESTRECIPE │ ├── new_fuse1_recv_send_send_recv.ll │ └── stdout │ ├── new_seq_par_par.t │ ├── TESTRECIPE │ ├── new_seq_par_par.ll │ └── stdout │ ├── new_ten2.t │ ├── TESTRECIPE │ ├── new_ten2.ll │ └── stdout │ ├── no_dead_lock_new_new.t │ ├── TESTRECIPE │ ├── no_dead_lock_new_new.ll │ └── stdout │ ├── no_dead_lock_new_new_seq.t │ ├── TESTRECIPE │ ├── no_dead_lock_new_new_seq.ll │ └── stdout │ ├── no_dead_lock_new_new_v2.t │ ├── TESTRECIPE │ ├── no_dead_lock_new_new_v2.ll │ └── stdout │ ├── non_dep_fun_dom_args.t │ ├── TESTRECIPE │ ├── non_dep_fun_dom_args.ll │ └── stdout │ ├── non_dep_recv_dom_args.t │ ├── TESTRECIPE │ ├── non_dep_recv_dom_args.ll │ └── stdout │ ├── non_dependent_function_type.t │ ├── TESTRECIPE │ ├── non_dependent_function_type.ll │ └── stdout │ ├── non_layout_decs.t │ ├── TESTRECIPE │ ├── non_layout_decs.ll │ └── stdout │ ├── not_comm_repl_plus.t │ ├── TESTRECIPE │ ├── not_comm_repl_plus.ll │ └── stderr │ ├── oplus.t │ ├── TESTRECIPE │ ├── oplus.ll │ └── stdout │ ├── order.t │ ├── TESTRECIPE │ ├── order.ll │ └── stdout │ ├── par0.t │ ├── TESTRECIPE │ ├── par0.ll │ └── stdout │ ├── par1.t │ ├── TESTRECIPE │ ├── par1.ll │ └── stdout │ ├── par2.t │ ├── TESTRECIPE │ ├── par2.ll │ └── stdout │ ├── par2mix.t │ ├── TESTRECIPE │ ├── par2mix.ll │ └── stdout │ ├── par4_seq_send3.t │ ├── TESTRECIPE │ ├── par4_seq_send3.ll │ └── stdout │ ├── par_comm.t │ ├── TESTRECIPE │ ├── par_comm.ll │ └── stdout │ ├── par_loli_ten_send.t │ ├── TESTRECIPE │ ├── par_loli_ten_send.ll │ └── stdout │ ├── par_loli_ten_send_v2.t │ ├── TESTRECIPE │ ├── par_loli_ten_send_v2.ll │ └── stdout │ ├── par_pat.t │ ├── TESTRECIPE │ ├── par_pat.ll │ └── stdout │ ├── par_seq_back.t │ ├── TESTRECIPE │ ├── par_seq_back.ll │ └── stdout │ ├── par_seq_front.t │ ├── TESTRECIPE │ ├── par_seq_front.ll │ └── stdout │ ├── par_seq_middle.t │ ├── TESTRECIPE │ ├── par_seq_middle.ll │ └── stdout │ ├── par_seq_send3.t │ ├── TESTRECIPE │ ├── par_seq_send3.ll │ └── stdout │ ├── par_seqi_ten_send.t │ ├── TESTRECIPE │ ├── par_seqi_ten_send.ll │ └── stdout │ ├── par_ten1_ten1.t │ ├── TESTRECIPE │ ├── par_ten1_ten1.ll │ └── stdout │ ├── par_ten_ten_v0.t │ ├── TESTRECIPE │ ├── par_ten_ten_v0.ll │ └── stdout │ ├── par_ten_ten_v1.t │ ├── TESTRECIPE │ ├── par_ten_ten_v1.ll │ └── stdout │ ├── par_ten_ten_v2.t │ ├── TESTRECIPE │ ├── par_ten_ten_v2.ll │ └── stdout │ ├── parallel_assoc_2tensor2_left.t │ ├── TESTRECIPE │ ├── parallel_assoc_2tensor2_left.ll │ └── stdout │ ├── parallel_assoc_2tensor2_right.t │ ├── TESTRECIPE │ ├── parallel_assoc_2tensor2_right.ll │ └── stdout │ ├── parallel_assoc_flat.t │ ├── TESTRECIPE │ ├── parallel_assoc_flat.ll │ └── stdout │ ├── parallel_assoc_left.t │ ├── TESTRECIPE │ ├── parallel_assoc_left.ll │ └── stdout │ ├── parallel_assoc_right.t │ ├── TESTRECIPE │ ├── parallel_assoc_right.ll │ └── stdout │ ├── parallel_assoc_tensor3_flat.t │ ├── TESTRECIPE │ ├── parallel_assoc_tensor3_flat.ll │ └── stdout │ ├── parallel_assoc_tensor3_left.t │ ├── TESTRECIPE │ ├── parallel_assoc_tensor3_left.ll │ └── stdout │ ├── parallel_assoc_tensor3_right.t │ ├── TESTRECIPE │ ├── parallel_assoc_tensor3_right.ll │ └── stdout │ ├── parallel_tensor4_flat.t │ ├── TESTRECIPE │ ├── parallel_tensor4_flat.ll │ └── stdout │ ├── parallel_tensor4_v0.t │ ├── TESTRECIPE │ ├── parallel_tensor4_v0.ll │ └── stdout │ ├── pattern_example_expanded.t │ ├── TESTRECIPE │ ├── pattern_example_expanded.ll │ └── stdout │ ├── plug_compose.t │ ├── TESTRECIPE │ ├── plug_compose.ll │ └── stdout │ ├── plug_compose_par_par.t │ ├── TESTRECIPE │ ├── plug_compose_par_par.ll │ └── stdout │ ├── plug_send_recv.t │ ├── TESTRECIPE │ ├── plug_send_recv.ll │ └── stdout │ ├── rebound_anon.t │ ├── TESTRECIPE │ ├── rebound_anon.ll │ └── stdout │ ├── receiver.t │ ├── TESTRECIPE │ ├── receiver.ll │ └── stdout │ ├── recv_proc.t │ ├── TESTRECIPE │ ├── recv_proc.ll │ └── stdout │ ├── reduce_primops.t │ ├── TESTRECIPE │ ├── reduce_primops.ll │ └── stdout │ ├── replicate.t │ ├── TESTRECIPE │ ├── replicate.ll │ └── stdout │ ├── replicate_par.t │ ├── TESTRECIPE │ ├── replicate_par.ll │ └── stdout │ ├── replicate_proc.t │ ├── TESTRECIPE │ ├── replicate_proc.ll │ └── stdout │ ├── replicate_ten.t │ ├── TESTRECIPE │ ├── replicate_ten.ll │ └── stdout │ ├── rotate_seq.t │ ├── TESTRECIPE │ ├── rotate_seq.ll │ └── stdout │ ├── saxpy.t │ ├── TESTRECIPE │ ├── saxpy.ll │ └── stdout │ ├── sender.t │ ├── TESTRECIPE │ ├── sender.ll │ └── stdout │ ├── seq0.t │ ├── TESTRECIPE │ ├── seq0.ll │ └── stdout │ ├── seq0_explicit.t │ ├── TESTRECIPE │ ├── seq0_explicit.ll │ └── stdout │ ├── seq3.t │ ├── TESTRECIPE │ ├── seq3.ll │ └── stdout │ ├── seq3_seq2.t │ ├── TESTRECIPE │ ├── seq3_seq2.ll │ └── stdout │ ├── seq_array_cnt_new.t │ ├── TESTRECIPE │ ├── seq_array_cnt_new.ll │ └── stdout │ ├── seq_assoc_core.t │ ├── TESTRECIPE │ ├── seq_assoc_core.ll │ └── stdout │ ├── seq_par_back.t │ ├── TESTRECIPE │ ├── seq_par_back.ll │ └── stdout │ ├── seq_par_back_v2.t │ ├── TESTRECIPE │ ├── seq_par_back_v2.ll │ └── stdout │ ├── seq_pat.t │ ├── TESTRECIPE │ ├── seq_pat.ll │ └── stdout │ ├── seq_seq.t │ ├── TESTRECIPE │ ├── seq_seq.ll │ └── stdout │ ├── seq_seq_send2.t │ ├── TESTRECIPE │ ├── seq_seq_send2.ll │ └── stdout │ ├── seq_ten.t │ ├── TESTRECIPE │ ├── seq_ten.ll │ └── stdout │ ├── singleRecv.t │ ├── TESTRECIPE │ ├── singleRecv.ll │ └── stdout │ ├── singleSend.t │ ├── TESTRECIPE │ ├── singleSend.ll │ └── stdout │ ├── sorter.t │ ├── TESTRECIPE │ ├── sorter.ll │ └── stdout │ ├── split_fwd1_rcv.t │ ├── TESTRECIPE │ ├── split_fwd1_rcv.ll │ └── stdout │ ├── split_nested_seq.t │ ├── TESTRECIPE │ ├── split_nested_seq.ll │ └── stdout │ ├── sqr_dbl.t │ ├── TESTRECIPE │ ├── sqr_dbl.ll │ └── stdout │ ├── sqrs.t │ ├── TESTRECIPE │ ├── sqrs.ll │ └── stdout │ ├── sqrs_abs.t │ ├── TESTRECIPE │ ├── sqrs_abs.ll │ └── stdout │ ├── strict-par.t │ ├── TESTRECIPE │ ├── stdin │ └── stdout │ ├── sum_int.t │ ├── TESTRECIPE │ ├── stdout │ └── sum_int.ll │ ├── switch.t │ ├── TESTRECIPE │ ├── stdout │ └── switch.ll │ ├── tabulate_seq.t │ ├── TESTRECIPE │ ├── stdout │ └── tabulate_seq.ll │ ├── ten_loli_par.t │ ├── TESTRECIPE │ ├── stdout │ └── ten_loli_par.ll │ ├── ten_loli_par_sequential.t │ ├── TESTRECIPE │ ├── stdout │ └── ten_loli_par_sequential.ll │ ├── ten_par_par_seq.t │ ├── TESTRECIPE │ ├── stdout │ └── ten_par_par_seq.ll │ ├── ten_par_par_split.t │ ├── TESTRECIPE │ ├── stdout │ └── ten_par_par_split.ll │ ├── tensor0.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor0.ll │ ├── tensor1.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor1.ll │ ├── tensor2.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor2.ll │ ├── tensor2_tensor0_tensor0_parallel.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor2_tensor0_tensor0_parallel.ll │ ├── tensor2_tensor0_tensor0_sequence.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor2_tensor0_tensor0_sequence.ll │ ├── tensor2_using_dual.t │ ├── TESTRECIPE │ ├── stdout │ └── tensor2_using_dual.ll │ ├── test2.t │ ├── TESTRECIPE │ ├── stdout │ └── test2.ll │ ├── test3.t │ ├── TESTRECIPE │ ├── stdout │ └── test3.ll │ ├── test4.t │ ├── TESTRECIPE │ ├── stdout │ └── test4.ll │ ├── test4_inferred.t │ ├── TESTRECIPE │ ├── stdout │ └── test4_inferred.ll │ ├── test_pat.t │ ├── TESTRECIPE │ ├── stdout │ └── test_pat.ll │ ├── type_ann_reduce.t │ ├── TESTRECIPE │ ├── stdout │ └── type_ann_reduce.ll │ ├── type_annotation.t │ ├── TESTRECIPE │ ├── stdout │ └── type_annotation.ll │ ├── type_defs.t │ ├── TESTRECIPE │ ├── stdout │ └── type_defs.ll │ ├── type_id.t │ ├── TESTRECIPE │ ├── stdout │ └── type_id.ll │ ├── uncurry.t │ ├── TESTRECIPE │ ├── stdout │ └── uncurry.ll │ ├── with.t │ ├── TESTRECIPE │ ├── stdout │ └── with.ll │ ├── zap.t │ ├── TESTRECIPE │ ├── stdout │ └── zap.ll │ ├── zap_ten_fwd.t │ ├── TESTRECIPE │ ├── stdout │ └── zap_ten_fwd.ll │ ├── zap_ten_par.t │ ├── TESTRECIPE │ ├── stdout │ └── zap_ten_par.ll │ ├── zap_ten_seq.t │ ├── TESTRECIPE │ ├── stdout │ └── zap_ten_seq.ll │ └── zip_add.t │ ├── TESTRECIPE │ ├── stdout │ └── zip_add.ll └── tools ├── cmdaccept ├── cmdcheck └── cmdrecord /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /fixtures/all/a_char.ll: -------------------------------------------------------------------------------- 1 | assert 'a' = 'a' : Char 2 | -------------------------------------------------------------------------------- /fixtures/all/at_end.ll: -------------------------------------------------------------------------------- 1 | at_end = proc() @(proc () ())() 2 | -------------------------------------------------------------------------------- /fixtures/all/bad_Log_1.ll: -------------------------------------------------------------------------------- 1 | bad_Log_1 = Log 1 2 | -------------------------------------------------------------------------------- /fixtures/all/bad_Log_SInt_2.ll: -------------------------------------------------------------------------------- 1 | bad_Log_SInt_2 = Log (!Int) 2 2 | -------------------------------------------------------------------------------- /fixtures/all/bad_assert.ll: -------------------------------------------------------------------------------- 1 | assert `false = `true : Bool 2 | -------------------------------------------------------------------------------- /fixtures/all/bad_factor.ll: -------------------------------------------------------------------------------- 1 | bad_factor = proc(c ^ 0.0 : !Int) c <- 42 2 | -------------------------------------------------------------------------------- /fixtures/all/case_non_data.ll: -------------------------------------------------------------------------------- 1 | bad : Int = case 42 of { } 2 | -------------------------------------------------------------------------------- /fixtures/all/con_dup.ll: -------------------------------------------------------------------------------- 1 | data T = `c | `d | `c 2 | -------------------------------------------------------------------------------- /fixtures/all/data_dup.ll: -------------------------------------------------------------------------------- 1 | data Bad = `foo | `bar | `foo 2 | -------------------------------------------------------------------------------- /fixtures/all/equiv_plus.ll: -------------------------------------------------------------------------------- 1 | assert 1 + 3 = 2 + 2 : Int 2 | -------------------------------------------------------------------------------- /fixtures/all/infer_assert.ll: -------------------------------------------------------------------------------- 1 | assert 42 = let x = 42 in x 2 | -------------------------------------------------------------------------------- /fixtures/all/infer_plus.ll: -------------------------------------------------------------------------------- 1 | infer_plus = \ x y -> x + y 2 | -------------------------------------------------------------------------------- /fixtures/all/let42.ll: -------------------------------------------------------------------------------- 1 | let42 = let x = 42 in x + x 2 | -------------------------------------------------------------------------------- /fixtures/all/over_application.ll: -------------------------------------------------------------------------------- 1 | over_application : Int = _+_ 1 2 3 2 | -------------------------------------------------------------------------------- /fixtures/all/par0.ll: -------------------------------------------------------------------------------- 1 | par0 = proc(c : {}) c{} 2 | -------------------------------------------------------------------------------- /fixtures/all/par1.ll: -------------------------------------------------------------------------------- 1 | par1 = proc(c : {!Int}) c{d} send d 42 2 | -------------------------------------------------------------------------------- /fixtures/all/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | _ = 1 2 | _ = 2 3 | _ = "Hello!" 4 | -------------------------------------------------------------------------------- /fixtures/all/redef.ll: -------------------------------------------------------------------------------- 1 | Int : Type 2 | -------------------------------------------------------------------------------- /fixtures/all/redef_con.ll: -------------------------------------------------------------------------------- 1 | data T1 = `c1 | `c2 2 | data T2 = `c3 | `c1 3 | -------------------------------------------------------------------------------- /fixtures/all/redef_data.ll: -------------------------------------------------------------------------------- 1 | data T1 = `c1 2 | data T1 = `c2 3 | -------------------------------------------------------------------------------- /fixtures/all/seq0.ll: -------------------------------------------------------------------------------- 1 | seq0 = 2 | proc(c : [: :]) 3 | () 4 | -------------------------------------------------------------------------------- /fixtures/all/singleSend.ll: -------------------------------------------------------------------------------- 1 | singleSend = proc(c : !Int) send c 42 2 | -------------------------------------------------------------------------------- /fixtures/all/tensor0.ll: -------------------------------------------------------------------------------- 1 | tensor0 = proc(c : []) c[] 2 | -------------------------------------------------------------------------------- /fixtures/all/tensor1.ll: -------------------------------------------------------------------------------- 1 | tensor1 = proc(c : [!Int]) c[d] send d 42 2 | -------------------------------------------------------------------------------- /fixtures/all/type_ann_reduce.ll: -------------------------------------------------------------------------------- 1 | assert (`true : Bool) = `true : Bool 2 | -------------------------------------------------------------------------------- /fixtures/all/unbound_anon.ll: -------------------------------------------------------------------------------- 1 | _ : Int = 42 2 | 3 | bla = _ 4 | -------------------------------------------------------------------------------- /fixtures/all/undef_con.ll: -------------------------------------------------------------------------------- 1 | bad : Type = `bad 2 | -------------------------------------------------------------------------------- /fixtures/all/unused_chan.ll: -------------------------------------------------------------------------------- 1 | unused_chan = proc(c) c{i : !Int} 2 | -------------------------------------------------------------------------------- /fixtures/all/wrong_char_literal.ll: -------------------------------------------------------------------------------- 1 | wrong_char_literal : Double = '\n' 2 | -------------------------------------------------------------------------------- /fixtures/all/wrong_reduce_double.ll: -------------------------------------------------------------------------------- 1 | assert 3.03 +D 0.11 = 3.14 2 | -------------------------------------------------------------------------------- /fixtures/all/wrong_telescope.ll: -------------------------------------------------------------------------------- 1 | wrong_telescope = (42 : Int)-> Int 2 | -------------------------------------------------------------------------------- /fixtures/all/wrong_type_def.ll: -------------------------------------------------------------------------------- 1 | wrong : Int = Type 2 | -------------------------------------------------------------------------------- /fixtures/compile/a_char.ll: -------------------------------------------------------------------------------- 1 | ../all/a_char.ll -------------------------------------------------------------------------------- /fixtures/compile/ap.ll: -------------------------------------------------------------------------------- 1 | ../all/ap.ll -------------------------------------------------------------------------------- /fixtures/compile/assert.ll: -------------------------------------------------------------------------------- 1 | ../all/assert.ll -------------------------------------------------------------------------------- /fixtures/compile/bool.ll: -------------------------------------------------------------------------------- 1 | ../all/bool.ll -------------------------------------------------------------------------------- /fixtures/compile/case_con.ll: -------------------------------------------------------------------------------- 1 | ../all/case_con.ll -------------------------------------------------------------------------------- /fixtures/compile/case_proto.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto.ll -------------------------------------------------------------------------------- /fixtures/compile/case_proto2.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto2.ll -------------------------------------------------------------------------------- /fixtures/compile/com_new.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new.ll -------------------------------------------------------------------------------- /fixtures/compile/com_new_mk_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new_mk_ten2.ll -------------------------------------------------------------------------------- /fixtures/compile/com_with_log.ll: -------------------------------------------------------------------------------- 1 | ../all/com_with_log.ll -------------------------------------------------------------------------------- /fixtures/compile/conv_fun.ll: -------------------------------------------------------------------------------- 1 | ../all/conv_fun.ll -------------------------------------------------------------------------------- /fixtures/compile/curry.ll: -------------------------------------------------------------------------------- 1 | ../all/curry.ll -------------------------------------------------------------------------------- /fixtures/compile/cutEmptyParTensor.ll: -------------------------------------------------------------------------------- 1 | ../all/cutEmptyParTensor.ll -------------------------------------------------------------------------------- /fixtures/compile/cutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/cutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/compile/cut_par_cut.ll: -------------------------------------------------------------------------------- 1 | ../all/cut_par_cut.ll -------------------------------------------------------------------------------- /fixtures/compile/dep_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/dep_fun_server.ll -------------------------------------------------------------------------------- /fixtures/compile/div_mod_server_cont.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_cont.ll -------------------------------------------------------------------------------- /fixtures/compile/div_mod_server_par4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_par4.ll -------------------------------------------------------------------------------- /fixtures/compile/div_mod_server_seq4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_seq4.ll -------------------------------------------------------------------------------- /fixtures/compile/double.ll: -------------------------------------------------------------------------------- 1 | ../all/double.ll -------------------------------------------------------------------------------- /fixtures/compile/dual_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/dual_dual.ll -------------------------------------------------------------------------------- /fixtures/compile/embed_send_42.ll: -------------------------------------------------------------------------------- 1 | ../all/embed_send_42.ll -------------------------------------------------------------------------------- /fixtures/compile/equiv_repl_const.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_const.ll -------------------------------------------------------------------------------- /fixtures/compile/equiv_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/compile/feed_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/feed_send.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send.ll -------------------------------------------------------------------------------- /fixtures/compile/feed_send_par_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_par_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/feed_send_ten_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_ten_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/feed_send_then_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_then_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/flexible_telescope.ll: -------------------------------------------------------------------------------- 1 | ../all/flexible_telescope.ll -------------------------------------------------------------------------------- /fixtures/compile/fun1_to_proc_ord.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_ord.ll -------------------------------------------------------------------------------- /fixtures/compile/fun1_to_proc_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_par2.ll -------------------------------------------------------------------------------- /fixtures/compile/fun1_to_proc_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd0_snd0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd0_snd0.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd1_par2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_par2_rcv.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd1_seq2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_seq2_rcv.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd1_ten2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_ten2_rcv.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd2_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd2_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd3_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd3_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_par0_ten0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par0_ten0.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_parN_tenN.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_parN_tenN.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_send_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/compile/fwd_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/compile/group_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/group_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/id.ll: -------------------------------------------------------------------------------- 1 | ../all/id.ll -------------------------------------------------------------------------------- /fixtures/compile/infer_assert.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_assert.ll -------------------------------------------------------------------------------- /fixtures/compile/int_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/int_defs.ll -------------------------------------------------------------------------------- /fixtures/compile/layout_case.ll: -------------------------------------------------------------------------------- 1 | ../all/layout_case.ll -------------------------------------------------------------------------------- /fixtures/compile/let42.ll: -------------------------------------------------------------------------------- 1 | ../all/let42.ll -------------------------------------------------------------------------------- /fixtures/compile/let42ann.ll: -------------------------------------------------------------------------------- 1 | ../all/let42ann.ll -------------------------------------------------------------------------------- /fixtures/compile/let_example.ll: -------------------------------------------------------------------------------- 1 | ../all/let_example.ll -------------------------------------------------------------------------------- /fixtures/compile/let_let.ll: -------------------------------------------------------------------------------- 1 | ../all/let_let.ll -------------------------------------------------------------------------------- /fixtures/compile/let_order.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order.ll -------------------------------------------------------------------------------- /fixtures/compile/let_order_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order_proc.ll -------------------------------------------------------------------------------- /fixtures/compile/let_used_twice.ll: -------------------------------------------------------------------------------- 1 | ../all/let_used_twice.ll -------------------------------------------------------------------------------- /fixtures/compile/letnewchan.ll: -------------------------------------------------------------------------------- 1 | ../all/letnewchan.ll -------------------------------------------------------------------------------- /fixtures/compile/letrecv.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv.ll -------------------------------------------------------------------------------- /fixtures/compile/letrecv_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv_ann.ll -------------------------------------------------------------------------------- /fixtures/compile/lettype.ll: -------------------------------------------------------------------------------- 1 | ../all/lettype.ll -------------------------------------------------------------------------------- /fixtures/compile/literals.ll: -------------------------------------------------------------------------------- 1 | ../all/literals.ll -------------------------------------------------------------------------------- /fixtures/compile/loli_id.ll: -------------------------------------------------------------------------------- 1 | ../all/loli_id.ll -------------------------------------------------------------------------------- /fixtures/compile/matmul_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/matmul_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/merger.ll: -------------------------------------------------------------------------------- 1 | ../all/merger.ll -------------------------------------------------------------------------------- /fixtures/compile/merger_loli_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_loli_Sort.ll -------------------------------------------------------------------------------- /fixtures/compile/merger_nstSort_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_nstSort_prll.ll -------------------------------------------------------------------------------- /fixtures/compile/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/merger_seq_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_Sort.ll -------------------------------------------------------------------------------- /fixtures/compile/merger_seq_inferred.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_inferred.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_new_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_ann.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_new_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_par2_LR.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_LR.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_par2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_RL.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_par2_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_prll.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_seq2.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_ten2_2new_2fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_ten2_2new_2fwd.ll -------------------------------------------------------------------------------- /fixtures/compile/mk_tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_tensor2.ll -------------------------------------------------------------------------------- /fixtures/compile/multi_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/multi_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/my_dual.ll -------------------------------------------------------------------------------- /fixtures/compile/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../all/my_loli.ll -------------------------------------------------------------------------------- /fixtures/compile/new_alloc.ll: -------------------------------------------------------------------------------- 1 | ../all/new_alloc.ll -------------------------------------------------------------------------------- /fixtures/compile/new_seq_par_par.ll: -------------------------------------------------------------------------------- 1 | ../all/new_seq_par_par.ll -------------------------------------------------------------------------------- /fixtures/compile/non_layout_decs.ll: -------------------------------------------------------------------------------- 1 | ../all/non_layout_decs.ll -------------------------------------------------------------------------------- /fixtures/compile/not_comm_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/not_comm_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/compile/oplus.ll: -------------------------------------------------------------------------------- 1 | ../all/oplus.ll -------------------------------------------------------------------------------- /fixtures/compile/par0.ll: -------------------------------------------------------------------------------- 1 | ../all/par0.ll -------------------------------------------------------------------------------- /fixtures/compile/par1.ll: -------------------------------------------------------------------------------- 1 | ../all/par1.ll -------------------------------------------------------------------------------- /fixtures/compile/par2.ll: -------------------------------------------------------------------------------- 1 | ../all/par2.ll -------------------------------------------------------------------------------- /fixtures/compile/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../all/par2mix.ll -------------------------------------------------------------------------------- /fixtures/compile/par4_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par4_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/compile/par_comm.ll: -------------------------------------------------------------------------------- 1 | ../all/par_comm.ll -------------------------------------------------------------------------------- /fixtures/compile/par_loli_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_loli_ten_send.ll -------------------------------------------------------------------------------- /fixtures/compile/par_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/par_pat.ll -------------------------------------------------------------------------------- /fixtures/compile/par_seq_back.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_back.ll -------------------------------------------------------------------------------- /fixtures/compile/par_seq_front.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_front.ll -------------------------------------------------------------------------------- /fixtures/compile/par_seq_middle.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_middle.ll -------------------------------------------------------------------------------- /fixtures/compile/par_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/compile/par_seqi_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seqi_ten_send.ll -------------------------------------------------------------------------------- /fixtures/compile/par_ten1_ten1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten1_ten1.ll -------------------------------------------------------------------------------- /fixtures/compile/par_ten_ten_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v0.ll -------------------------------------------------------------------------------- /fixtures/compile/par_ten_ten_v1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v1.ll -------------------------------------------------------------------------------- /fixtures/compile/par_ten_ten_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v2.ll -------------------------------------------------------------------------------- /fixtures/compile/parallel_assoc_flat.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_flat.ll -------------------------------------------------------------------------------- /fixtures/compile/parallel_assoc_left.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_left.ll -------------------------------------------------------------------------------- /fixtures/compile/parallel_tensor4_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_tensor4_v0.ll -------------------------------------------------------------------------------- /fixtures/compile/plug_compose.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_compose.ll -------------------------------------------------------------------------------- /fixtures/compile/plug_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_send_recv.ll -------------------------------------------------------------------------------- /fixtures/compile/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/rebound_anon.ll -------------------------------------------------------------------------------- /fixtures/compile/receiver.ll: -------------------------------------------------------------------------------- 1 | ../all/receiver.ll -------------------------------------------------------------------------------- /fixtures/compile/reduce_primops.ll: -------------------------------------------------------------------------------- 1 | ../all/reduce_primops.ll -------------------------------------------------------------------------------- /fixtures/compile/replicate.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate.ll -------------------------------------------------------------------------------- /fixtures/compile/replicate_par.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_par.ll -------------------------------------------------------------------------------- /fixtures/compile/replicate_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_proc.ll -------------------------------------------------------------------------------- /fixtures/compile/replicate_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_ten.ll -------------------------------------------------------------------------------- /fixtures/compile/rotate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/rotate_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/send_1.ll: -------------------------------------------------------------------------------- 1 | ../all/send_1.ll -------------------------------------------------------------------------------- /fixtures/compile/sender.ll: -------------------------------------------------------------------------------- 1 | ../all/sender.ll -------------------------------------------------------------------------------- /fixtures/compile/seq0.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0.ll -------------------------------------------------------------------------------- /fixtures/compile/seq0_explicit.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0_explicit.ll -------------------------------------------------------------------------------- /fixtures/compile/seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3.ll -------------------------------------------------------------------------------- /fixtures/compile/seq3_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3_seq2.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_array_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_array_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_assoc_core.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_assoc_core.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_par_back.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_par_back_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back_v2.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_pat.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_seq_send2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq_send2.ll -------------------------------------------------------------------------------- /fixtures/compile/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_ten.ll -------------------------------------------------------------------------------- /fixtures/compile/singleRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/singleRecv.ll -------------------------------------------------------------------------------- /fixtures/compile/singleSend.ll: -------------------------------------------------------------------------------- 1 | ../all/singleSend.ll -------------------------------------------------------------------------------- /fixtures/compile/sorter.ll: -------------------------------------------------------------------------------- 1 | ../all/sorter.ll -------------------------------------------------------------------------------- /fixtures/compile/split_fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/split_fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/compile/split_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/split_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/sqr_dbl.ll: -------------------------------------------------------------------------------- 1 | ../all/sqr_dbl.ll -------------------------------------------------------------------------------- /fixtures/compile/sqrs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs.ll -------------------------------------------------------------------------------- /fixtures/compile/sqrs_abs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs_abs.ll -------------------------------------------------------------------------------- /fixtures/compile/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../all/sum_int.ll -------------------------------------------------------------------------------- /fixtures/compile/switch.ll: -------------------------------------------------------------------------------- 1 | ../all/switch.ll -------------------------------------------------------------------------------- /fixtures/compile/tabulate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/tabulate_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/ten_loli_par.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_loli_par.ll -------------------------------------------------------------------------------- /fixtures/compile/ten_par_par_split.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_par_par_split.ll -------------------------------------------------------------------------------- /fixtures/compile/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor0.ll -------------------------------------------------------------------------------- /fixtures/compile/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor1.ll -------------------------------------------------------------------------------- /fixtures/compile/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2.ll -------------------------------------------------------------------------------- /fixtures/compile/tensor2_using_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2_using_dual.ll -------------------------------------------------------------------------------- /fixtures/compile/test2.ll: -------------------------------------------------------------------------------- 1 | ../all/test2.ll -------------------------------------------------------------------------------- /fixtures/compile/test3.ll: -------------------------------------------------------------------------------- 1 | ../all/test3.ll -------------------------------------------------------------------------------- /fixtures/compile/test4.ll: -------------------------------------------------------------------------------- 1 | ../all/test4.ll -------------------------------------------------------------------------------- /fixtures/compile/type_ann_reduce.ll: -------------------------------------------------------------------------------- 1 | ../all/type_ann_reduce.ll -------------------------------------------------------------------------------- /fixtures/compile/type_annotation.ll: -------------------------------------------------------------------------------- 1 | ../all/type_annotation.ll -------------------------------------------------------------------------------- /fixtures/compile/type_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/type_defs.ll -------------------------------------------------------------------------------- /fixtures/compile/type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/type_id.ll -------------------------------------------------------------------------------- /fixtures/compile/uncurry.ll: -------------------------------------------------------------------------------- 1 | ../all/uncurry.ll -------------------------------------------------------------------------------- /fixtures/compile/with.ll: -------------------------------------------------------------------------------- 1 | ../all/with.ll -------------------------------------------------------------------------------- /fixtures/compile/zap.ll: -------------------------------------------------------------------------------- 1 | ../all/zap.ll -------------------------------------------------------------------------------- /fixtures/compile/zap_ten_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_fwd.ll -------------------------------------------------------------------------------- /fixtures/compile/zap_ten_par.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_par.ll -------------------------------------------------------------------------------- /fixtures/compile/zap_ten_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_seq.ll -------------------------------------------------------------------------------- /fixtures/compile/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../all/zip_add.ll -------------------------------------------------------------------------------- /fixtures/failure/badCutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/badCutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/failure/badTensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/badTensor2.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_Log_1.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_Log_1.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_Log_SInt_2.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_Log_SInt_2.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_assert.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_assert.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_cast.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_cast.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_codomain.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_codomain.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_factor.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_factor.ll -------------------------------------------------------------------------------- /fixtures/failure/bad_sym_def.ll: -------------------------------------------------------------------------------- 1 | ../all/bad_sym_def.ll -------------------------------------------------------------------------------- /fixtures/failure/case_bad_data.ll: -------------------------------------------------------------------------------- 1 | ../all/case_bad_data.ll -------------------------------------------------------------------------------- /fixtures/failure/case_non_data.ll: -------------------------------------------------------------------------------- 1 | ../all/case_non_data.ll -------------------------------------------------------------------------------- /fixtures/failure/case_non_data2.ll: -------------------------------------------------------------------------------- 1 | ../all/case_non_data2.ll -------------------------------------------------------------------------------- /fixtures/failure/chan_escape.ll: -------------------------------------------------------------------------------- 1 | ../all/chan_escape.ll -------------------------------------------------------------------------------- /fixtures/failure/con_dup.ll: -------------------------------------------------------------------------------- 1 | ../all/con_dup.ll -------------------------------------------------------------------------------- /fixtures/failure/confuseSendRecv2.ll: -------------------------------------------------------------------------------- 1 | ../all/confuseSendRecv2.ll -------------------------------------------------------------------------------- /fixtures/failure/data_dup.ll: -------------------------------------------------------------------------------- 1 | ../all/data_dup.ll -------------------------------------------------------------------------------- /fixtures/failure/dead_lock_new_new.ll: -------------------------------------------------------------------------------- 1 | ../all/dead_lock_new_new.ll -------------------------------------------------------------------------------- /fixtures/failure/dup_send.ll: -------------------------------------------------------------------------------- 1 | ../all/dup_send.ll -------------------------------------------------------------------------------- /fixtures/failure/infer_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_plus.ll -------------------------------------------------------------------------------- /fixtures/failure/infer_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_recv.ll -------------------------------------------------------------------------------- /fixtures/failure/local_redef_type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/local_redef_type_id.ll -------------------------------------------------------------------------------- /fixtures/failure/merger_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_v2.ll -------------------------------------------------------------------------------- /fixtures/failure/missingSend.ll: -------------------------------------------------------------------------------- 1 | ../all/missingSend.ll -------------------------------------------------------------------------------- /fixtures/failure/missing_one_seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/missing_one_seq3.ll -------------------------------------------------------------------------------- /fixtures/failure/not_comm_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/not_comm_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/failure/not_sink_fwd1_snd.ll: -------------------------------------------------------------------------------- 1 | ../all/not_sink_fwd1_snd.ll -------------------------------------------------------------------------------- /fixtures/failure/over_application.ll: -------------------------------------------------------------------------------- 1 | ../all/over_application.ll -------------------------------------------------------------------------------- /fixtures/failure/par_loli_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/par_loli_ten.ll -------------------------------------------------------------------------------- /fixtures/failure/redef.ll: -------------------------------------------------------------------------------- 1 | ../all/redef.ll -------------------------------------------------------------------------------- /fixtures/failure/redef_con.ll: -------------------------------------------------------------------------------- 1 | ../all/redef_con.ll -------------------------------------------------------------------------------- /fixtures/failure/redef_data.ll: -------------------------------------------------------------------------------- 1 | ../all/redef_data.ll -------------------------------------------------------------------------------- /fixtures/failure/redef_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/redef_proc.ll -------------------------------------------------------------------------------- /fixtures/failure/reusedParChannel.ll: -------------------------------------------------------------------------------- 1 | ../all/reusedParChannel.ll -------------------------------------------------------------------------------- /fixtures/failure/reusedTensorChannel.ll: -------------------------------------------------------------------------------- 1 | ../all/reusedTensorChannel.ll -------------------------------------------------------------------------------- /fixtures/failure/ten_par_par_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_par_par_seq.ll -------------------------------------------------------------------------------- /fixtures/failure/unboundChannel.ll: -------------------------------------------------------------------------------- 1 | ../all/unboundChannel.ll -------------------------------------------------------------------------------- /fixtures/failure/unbound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/unbound_anon.ll -------------------------------------------------------------------------------- /fixtures/failure/undef_con.ll: -------------------------------------------------------------------------------- 1 | ../all/undef_con.ll -------------------------------------------------------------------------------- /fixtures/failure/unscoped_recv_at.ll: -------------------------------------------------------------------------------- 1 | ../all/unscoped_recv_at.ll -------------------------------------------------------------------------------- /fixtures/failure/unscoped_recv_slice.ll: -------------------------------------------------------------------------------- 1 | ../all/unscoped_recv_slice.ll -------------------------------------------------------------------------------- /fixtures/failure/unused_chan.ll: -------------------------------------------------------------------------------- 1 | ../all/unused_chan.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_abs_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_abs_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_case_con.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_case_con.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_char_literal.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_char_literal.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_let42.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_let42.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_let42ann.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_let42ann.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_mk_new_seq_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_mk_new_seq_RL.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_mk_seq2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_mk_seq2_RL.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_mk_seq2_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_mk_seq2_prll.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_mk_ten2_LR.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_mk_ten2_LR.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_mk_tensor2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_mk_tensor2_RL.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_new_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_new_ann.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_new_seq_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_new_seq_dual.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_new_seq_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_new_seq_fwd.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_order_seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_order_seq3.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_order_seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_order_seq_seq.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_order_seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_order_seq_ten.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_par_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_par_pat.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_par_pat_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_par_pat_v2.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_par_seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_par_seq3.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_read_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_read_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_reduce_concat.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_reduce_concat.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_reduce_double.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_reduce_double.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_repeat_par.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_repeat_par.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_replication.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_replication.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_seq_pat.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_seq_pat_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_seq_pat_v2.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_telescope.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_telescope.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_ten_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_ten_pat.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_test_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_test_pat.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_type_def.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_type_def.ll -------------------------------------------------------------------------------- /fixtures/failure/wrong_write_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/wrong_write_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/fusion/a_char.ll: -------------------------------------------------------------------------------- 1 | ../all/a_char.ll -------------------------------------------------------------------------------- /fixtures/fusion/ap.ll: -------------------------------------------------------------------------------- 1 | ../all/ap.ll -------------------------------------------------------------------------------- /fixtures/fusion/assert.ll: -------------------------------------------------------------------------------- 1 | ../all/assert.ll -------------------------------------------------------------------------------- /fixtures/fusion/bool.ll: -------------------------------------------------------------------------------- 1 | ../all/bool.ll -------------------------------------------------------------------------------- /fixtures/fusion/case_con.ll: -------------------------------------------------------------------------------- 1 | ../all/case_con.ll -------------------------------------------------------------------------------- /fixtures/fusion/com_new.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new.ll -------------------------------------------------------------------------------- /fixtures/fusion/com_new_mk_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new_mk_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/conv_fun.ll: -------------------------------------------------------------------------------- 1 | ../all/conv_fun.ll -------------------------------------------------------------------------------- /fixtures/fusion/curry.ll: -------------------------------------------------------------------------------- 1 | ../all/curry.ll -------------------------------------------------------------------------------- /fixtures/fusion/cutEmptyParTensor.ll: -------------------------------------------------------------------------------- 1 | ../all/cutEmptyParTensor.ll -------------------------------------------------------------------------------- /fixtures/fusion/cutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/cutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/fusion/cut_par_cut.ll: -------------------------------------------------------------------------------- 1 | ../all/cut_par_cut.ll -------------------------------------------------------------------------------- /fixtures/fusion/dep_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/dep_fun_server.ll -------------------------------------------------------------------------------- /fixtures/fusion/div_mod_server_cont.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_cont.ll -------------------------------------------------------------------------------- /fixtures/fusion/div_mod_server_par4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_par4.ll -------------------------------------------------------------------------------- /fixtures/fusion/div_mod_server_seq4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_seq4.ll -------------------------------------------------------------------------------- /fixtures/fusion/double.ll: -------------------------------------------------------------------------------- 1 | ../all/double.ll -------------------------------------------------------------------------------- /fixtures/fusion/dual_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/dual_dual.ll -------------------------------------------------------------------------------- /fixtures/fusion/embed_send_42.ll: -------------------------------------------------------------------------------- 1 | ../all/embed_send_42.ll -------------------------------------------------------------------------------- /fixtures/fusion/equiv_repl_const.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_const.ll -------------------------------------------------------------------------------- /fixtures/fusion/equiv_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/fusion/feed_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/feed_send.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send.ll -------------------------------------------------------------------------------- /fixtures/fusion/feed_send_par_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_par_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/feed_send_ten_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_ten_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/feed_send_then_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_then_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/flexible_telescope.ll: -------------------------------------------------------------------------------- 1 | ../all/flexible_telescope.ll -------------------------------------------------------------------------------- /fixtures/fusion/fun1_to_proc_ord.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_ord.ll -------------------------------------------------------------------------------- /fixtures/fusion/fun1_to_proc_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_par2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fun1_to_proc_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd0_snd0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd0_snd0.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd2_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd2_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd3_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd3_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_par0_ten0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par0_ten0.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_send_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/fusion/fwd_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/fusion/group_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/group_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/id.ll: -------------------------------------------------------------------------------- 1 | ../all/id.ll -------------------------------------------------------------------------------- /fixtures/fusion/infer_assert.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_assert.ll -------------------------------------------------------------------------------- /fixtures/fusion/int_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/int_defs.ll -------------------------------------------------------------------------------- /fixtures/fusion/layout_case.ll: -------------------------------------------------------------------------------- 1 | ../all/layout_case.ll -------------------------------------------------------------------------------- /fixtures/fusion/let42.ll: -------------------------------------------------------------------------------- 1 | ../all/let42.ll -------------------------------------------------------------------------------- /fixtures/fusion/let42ann.ll: -------------------------------------------------------------------------------- 1 | ../all/let42ann.ll -------------------------------------------------------------------------------- /fixtures/fusion/let_example.ll: -------------------------------------------------------------------------------- 1 | ../all/let_example.ll -------------------------------------------------------------------------------- /fixtures/fusion/let_order.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order.ll -------------------------------------------------------------------------------- /fixtures/fusion/let_order_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order_proc.ll -------------------------------------------------------------------------------- /fixtures/fusion/let_used_twice.ll: -------------------------------------------------------------------------------- 1 | ../all/let_used_twice.ll -------------------------------------------------------------------------------- /fixtures/fusion/letnewchan.ll: -------------------------------------------------------------------------------- 1 | ../all/letnewchan.ll -------------------------------------------------------------------------------- /fixtures/fusion/letrecv.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv.ll -------------------------------------------------------------------------------- /fixtures/fusion/letrecv_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv_ann.ll -------------------------------------------------------------------------------- /fixtures/fusion/letsession.ll: -------------------------------------------------------------------------------- 1 | ../all/letsession.ll -------------------------------------------------------------------------------- /fixtures/fusion/lettype.ll: -------------------------------------------------------------------------------- 1 | ../all/lettype.ll -------------------------------------------------------------------------------- /fixtures/fusion/literals.ll: -------------------------------------------------------------------------------- 1 | ../all/literals.ll -------------------------------------------------------------------------------- /fixtures/fusion/loli_id.ll: -------------------------------------------------------------------------------- 1 | ../all/loli_id.ll -------------------------------------------------------------------------------- /fixtures/fusion/matmul_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/matmul_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger.ll: -------------------------------------------------------------------------------- 1 | ../all/merger.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger_loli_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_loli_Sort.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger_nstSort_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_nstSort_prll.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger_seq_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_Sort.ll -------------------------------------------------------------------------------- /fixtures/fusion/merger_seq_inferred.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_inferred.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_new_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_ann.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_par2_LR.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_LR.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_par2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_RL.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_par2_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_prll.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_seq2.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_ten2_2new_2fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_ten2_2new_2fwd.ll -------------------------------------------------------------------------------- /fixtures/fusion/mk_tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_tensor2.ll -------------------------------------------------------------------------------- /fixtures/fusion/multi_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/multi_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/my_dual.ll -------------------------------------------------------------------------------- /fixtures/fusion/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../all/my_loli.ll -------------------------------------------------------------------------------- /fixtures/fusion/new_alloc.ll: -------------------------------------------------------------------------------- 1 | ../all/new_alloc.ll -------------------------------------------------------------------------------- /fixtures/fusion/new_ann_let_fuse0.ll: -------------------------------------------------------------------------------- 1 | ../all/new_ann_let_fuse0.ll -------------------------------------------------------------------------------- /fixtures/fusion/new_ann_let_fuse1.ll: -------------------------------------------------------------------------------- 1 | ../all/new_ann_let_fuse1.ll -------------------------------------------------------------------------------- /fixtures/fusion/new_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/new_ten2.ll -------------------------------------------------------------------------------- /fixtures/fusion/non_layout_decs.ll: -------------------------------------------------------------------------------- 1 | ../all/non_layout_decs.ll -------------------------------------------------------------------------------- /fixtures/fusion/not_comm_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/not_comm_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/fusion/order.ll: -------------------------------------------------------------------------------- 1 | ../all/order.ll -------------------------------------------------------------------------------- /fixtures/fusion/par0.ll: -------------------------------------------------------------------------------- 1 | ../all/par0.ll -------------------------------------------------------------------------------- /fixtures/fusion/par1.ll: -------------------------------------------------------------------------------- 1 | ../all/par1.ll -------------------------------------------------------------------------------- /fixtures/fusion/par2.ll: -------------------------------------------------------------------------------- 1 | ../all/par2.ll -------------------------------------------------------------------------------- /fixtures/fusion/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../all/par2mix.ll -------------------------------------------------------------------------------- /fixtures/fusion/par4_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par4_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_comm.ll: -------------------------------------------------------------------------------- 1 | ../all/par_comm.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_loli_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_loli_ten_send.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_seq_back.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_back.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_seq_front.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_front.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_seq_middle.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_middle.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_ten1_ten1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten1_ten1.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_ten_ten_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v0.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_ten_ten_v1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v1.ll -------------------------------------------------------------------------------- /fixtures/fusion/par_ten_ten_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v2.ll -------------------------------------------------------------------------------- /fixtures/fusion/parallel_assoc_flat.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_flat.ll -------------------------------------------------------------------------------- /fixtures/fusion/parallel_assoc_left.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_left.ll -------------------------------------------------------------------------------- /fixtures/fusion/parallel_tensor4_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_tensor4_v0.ll -------------------------------------------------------------------------------- /fixtures/fusion/plug_compose.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_compose.ll -------------------------------------------------------------------------------- /fixtures/fusion/plug_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_send_recv.ll -------------------------------------------------------------------------------- /fixtures/fusion/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/rebound_anon.ll -------------------------------------------------------------------------------- /fixtures/fusion/reduce_primops.ll: -------------------------------------------------------------------------------- 1 | ../all/reduce_primops.ll -------------------------------------------------------------------------------- /fixtures/fusion/replicate.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate.ll -------------------------------------------------------------------------------- /fixtures/fusion/replicate_par.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_par.ll -------------------------------------------------------------------------------- /fixtures/fusion/replicate_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_proc.ll -------------------------------------------------------------------------------- /fixtures/fusion/replicate_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_ten.ll -------------------------------------------------------------------------------- /fixtures/fusion/send_1.ll: -------------------------------------------------------------------------------- 1 | ../all/send_1.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq0.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq0_explicit.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0_explicit.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq3_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3_seq2.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_assoc_core.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_assoc_core.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_par_back.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_par_back_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back_v2.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_seq_send2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq_send2.ll -------------------------------------------------------------------------------- /fixtures/fusion/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_ten.ll -------------------------------------------------------------------------------- /fixtures/fusion/singleRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/singleRecv.ll -------------------------------------------------------------------------------- /fixtures/fusion/singleSend.ll: -------------------------------------------------------------------------------- 1 | ../all/singleSend.ll -------------------------------------------------------------------------------- /fixtures/fusion/sorter.ll: -------------------------------------------------------------------------------- 1 | ../all/sorter.ll -------------------------------------------------------------------------------- /fixtures/fusion/split_fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/split_fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/fusion/split_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/split_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../all/sum_int.ll -------------------------------------------------------------------------------- /fixtures/fusion/switch.ll: -------------------------------------------------------------------------------- 1 | ../all/switch.ll -------------------------------------------------------------------------------- /fixtures/fusion/ten_loli_par.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_loli_par.ll -------------------------------------------------------------------------------- /fixtures/fusion/ten_par_par_split.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_par_par_split.ll -------------------------------------------------------------------------------- /fixtures/fusion/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor0.ll -------------------------------------------------------------------------------- /fixtures/fusion/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor1.ll -------------------------------------------------------------------------------- /fixtures/fusion/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2.ll -------------------------------------------------------------------------------- /fixtures/fusion/tensor2_using_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2_using_dual.ll -------------------------------------------------------------------------------- /fixtures/fusion/test2.ll: -------------------------------------------------------------------------------- 1 | ../all/test2.ll -------------------------------------------------------------------------------- /fixtures/fusion/test3.ll: -------------------------------------------------------------------------------- 1 | ../all/test3.ll -------------------------------------------------------------------------------- /fixtures/fusion/type_annotation.ll: -------------------------------------------------------------------------------- 1 | ../all/type_annotation.ll -------------------------------------------------------------------------------- /fixtures/fusion/type_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/type_defs.ll -------------------------------------------------------------------------------- /fixtures/fusion/type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/type_id.ll -------------------------------------------------------------------------------- /fixtures/fusion/uncurry.ll: -------------------------------------------------------------------------------- 1 | ../all/uncurry.ll -------------------------------------------------------------------------------- /fixtures/fusion/zap.ll: -------------------------------------------------------------------------------- 1 | ../all/zap.ll -------------------------------------------------------------------------------- /fixtures/fusion/zap_ten_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_fwd.ll -------------------------------------------------------------------------------- /fixtures/fusion/zap_ten_par.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_par.ll -------------------------------------------------------------------------------- /fixtures/fusion/zap_ten_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_seq.ll -------------------------------------------------------------------------------- /fixtures/fusion/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../all/zip_add.ll -------------------------------------------------------------------------------- /fixtures/sequence/a_char.ll: -------------------------------------------------------------------------------- 1 | ../all/a_char.ll -------------------------------------------------------------------------------- /fixtures/sequence/ap.ll: -------------------------------------------------------------------------------- 1 | ../all/ap.ll -------------------------------------------------------------------------------- /fixtures/sequence/assert.ll: -------------------------------------------------------------------------------- 1 | ../all/assert.ll -------------------------------------------------------------------------------- /fixtures/sequence/bool.ll: -------------------------------------------------------------------------------- 1 | ../all/bool.ll -------------------------------------------------------------------------------- /fixtures/sequence/case_con.ll: -------------------------------------------------------------------------------- 1 | ../all/case_con.ll -------------------------------------------------------------------------------- /fixtures/sequence/case_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/case_fun_server.ll -------------------------------------------------------------------------------- /fixtures/sequence/case_proto.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto.ll -------------------------------------------------------------------------------- /fixtures/sequence/case_proto2.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto2.ll -------------------------------------------------------------------------------- /fixtures/sequence/com_new.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new.ll -------------------------------------------------------------------------------- /fixtures/sequence/com_new_mk_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new_mk_ten2.ll -------------------------------------------------------------------------------- /fixtures/sequence/com_with_log.ll: -------------------------------------------------------------------------------- 1 | ../all/com_with_log.ll -------------------------------------------------------------------------------- /fixtures/sequence/conv_fun.ll: -------------------------------------------------------------------------------- 1 | ../all/conv_fun.ll -------------------------------------------------------------------------------- /fixtures/sequence/curry.ll: -------------------------------------------------------------------------------- 1 | ../all/curry.ll -------------------------------------------------------------------------------- /fixtures/sequence/cutEmptyParTensor.ll: -------------------------------------------------------------------------------- 1 | ../all/cutEmptyParTensor.ll -------------------------------------------------------------------------------- /fixtures/sequence/cutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/cutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/sequence/cut_par_cut.ll: -------------------------------------------------------------------------------- 1 | ../all/cut_par_cut.ll -------------------------------------------------------------------------------- /fixtures/sequence/dep_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/dep_fun_server.ll -------------------------------------------------------------------------------- /fixtures/sequence/double.ll: -------------------------------------------------------------------------------- 1 | ../all/double.ll -------------------------------------------------------------------------------- /fixtures/sequence/dual_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/dual_dual.ll -------------------------------------------------------------------------------- /fixtures/sequence/embed_send_42.ll: -------------------------------------------------------------------------------- 1 | ../all/embed_send_42.ll -------------------------------------------------------------------------------- /fixtures/sequence/equiv_repl_const.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_const.ll -------------------------------------------------------------------------------- /fixtures/sequence/equiv_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/sequence/feed_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/feed_send.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send.ll -------------------------------------------------------------------------------- /fixtures/sequence/feed_send_par_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_par_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/feed_send_ten_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_ten_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/flexible_telescope.ll: -------------------------------------------------------------------------------- 1 | ../all/flexible_telescope.ll -------------------------------------------------------------------------------- /fixtures/sequence/fun1_to_proc_ord.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_ord.ll -------------------------------------------------------------------------------- /fixtures/sequence/fun1_to_proc_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_par2.ll -------------------------------------------------------------------------------- /fixtures/sequence/fun1_to_proc_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd0_snd0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd0_snd0.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd1_par2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_par2_rcv.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd1_seq2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_seq2_rcv.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd1_ten2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_ten2_rcv.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd2_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd2_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_par0_ten0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par0_ten0.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_parN_tenN.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_parN_tenN.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_send_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/sequence/fwd_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/sequence/group_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/group_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/id.ll: -------------------------------------------------------------------------------- 1 | ../all/id.ll -------------------------------------------------------------------------------- /fixtures/sequence/infer_assert.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_assert.ll -------------------------------------------------------------------------------- /fixtures/sequence/int_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/int_defs.ll -------------------------------------------------------------------------------- /fixtures/sequence/layout_case.ll: -------------------------------------------------------------------------------- 1 | ../all/layout_case.ll -------------------------------------------------------------------------------- /fixtures/sequence/let42.ll: -------------------------------------------------------------------------------- 1 | ../all/let42.ll -------------------------------------------------------------------------------- /fixtures/sequence/let42ann.ll: -------------------------------------------------------------------------------- 1 | ../all/let42ann.ll -------------------------------------------------------------------------------- /fixtures/sequence/let_example.ll: -------------------------------------------------------------------------------- 1 | ../all/let_example.ll -------------------------------------------------------------------------------- /fixtures/sequence/let_let.ll: -------------------------------------------------------------------------------- 1 | ../all/let_let.ll -------------------------------------------------------------------------------- /fixtures/sequence/let_order.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order.ll -------------------------------------------------------------------------------- /fixtures/sequence/let_order_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order_proc.ll -------------------------------------------------------------------------------- /fixtures/sequence/let_used_twice.ll: -------------------------------------------------------------------------------- 1 | ../all/let_used_twice.ll -------------------------------------------------------------------------------- /fixtures/sequence/letnewchan.ll: -------------------------------------------------------------------------------- 1 | ../all/letnewchan.ll -------------------------------------------------------------------------------- /fixtures/sequence/letrecv.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv.ll -------------------------------------------------------------------------------- /fixtures/sequence/letrecv_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv_ann.ll -------------------------------------------------------------------------------- /fixtures/sequence/letsession.ll: -------------------------------------------------------------------------------- 1 | ../all/letsession.ll -------------------------------------------------------------------------------- /fixtures/sequence/lettype.ll: -------------------------------------------------------------------------------- 1 | ../all/lettype.ll -------------------------------------------------------------------------------- /fixtures/sequence/literals.ll: -------------------------------------------------------------------------------- 1 | ../all/literals.ll -------------------------------------------------------------------------------- /fixtures/sequence/loli_id.ll: -------------------------------------------------------------------------------- 1 | ../all/loli_id.ll -------------------------------------------------------------------------------- /fixtures/sequence/matmul_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/matmul_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/merger.ll: -------------------------------------------------------------------------------- 1 | ../all/merger.ll -------------------------------------------------------------------------------- /fixtures/sequence/merger_loli_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_loli_Sort.ll -------------------------------------------------------------------------------- /fixtures/sequence/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/merger_seq_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_Sort.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_new_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_ann.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_new_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_par2_LR.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_LR.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_par2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_RL.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_par2_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_prll.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_seq2.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_ten2_2new_2fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_ten2_2new_2fwd.ll -------------------------------------------------------------------------------- /fixtures/sequence/mk_tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_tensor2.ll -------------------------------------------------------------------------------- /fixtures/sequence/multi_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/multi_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/my_dual.ll -------------------------------------------------------------------------------- /fixtures/sequence/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../all/my_loli.ll -------------------------------------------------------------------------------- /fixtures/sequence/new_alloc.ll: -------------------------------------------------------------------------------- 1 | ../all/new_alloc.ll -------------------------------------------------------------------------------- /fixtures/sequence/new_seq_par_par.ll: -------------------------------------------------------------------------------- 1 | ../all/new_seq_par_par.ll -------------------------------------------------------------------------------- /fixtures/sequence/new_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/new_ten2.ll -------------------------------------------------------------------------------- /fixtures/sequence/non_layout_decs.ll: -------------------------------------------------------------------------------- 1 | ../all/non_layout_decs.ll -------------------------------------------------------------------------------- /fixtures/sequence/not_comm_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/not_comm_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/sequence/oplus.ll: -------------------------------------------------------------------------------- 1 | ../all/oplus.ll -------------------------------------------------------------------------------- /fixtures/sequence/order.ll: -------------------------------------------------------------------------------- 1 | ../all/order.ll -------------------------------------------------------------------------------- /fixtures/sequence/par0.ll: -------------------------------------------------------------------------------- 1 | ../all/par0.ll -------------------------------------------------------------------------------- /fixtures/sequence/par1.ll: -------------------------------------------------------------------------------- 1 | ../all/par1.ll -------------------------------------------------------------------------------- /fixtures/sequence/par2.ll: -------------------------------------------------------------------------------- 1 | ../all/par2.ll -------------------------------------------------------------------------------- /fixtures/sequence/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../all/par2mix.ll -------------------------------------------------------------------------------- /fixtures/sequence/par4_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par4_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_comm.ll: -------------------------------------------------------------------------------- 1 | ../all/par_comm.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_loli_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_loli_ten_send.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/par_pat.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_seq_back.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_back.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_seq_front.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_front.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_seq_middle.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_middle.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_seqi_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seqi_ten_send.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_ten1_ten1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten1_ten1.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_ten_ten_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v0.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_ten_ten_v1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v1.ll -------------------------------------------------------------------------------- /fixtures/sequence/par_ten_ten_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v2.ll -------------------------------------------------------------------------------- /fixtures/sequence/plug_compose.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_compose.ll -------------------------------------------------------------------------------- /fixtures/sequence/plug_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_send_recv.ll -------------------------------------------------------------------------------- /fixtures/sequence/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/rebound_anon.ll -------------------------------------------------------------------------------- /fixtures/sequence/receiver.ll: -------------------------------------------------------------------------------- 1 | ../all/receiver.ll -------------------------------------------------------------------------------- /fixtures/sequence/reduce_primops.ll: -------------------------------------------------------------------------------- 1 | ../all/reduce_primops.ll -------------------------------------------------------------------------------- /fixtures/sequence/replicate.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate.ll -------------------------------------------------------------------------------- /fixtures/sequence/replicate_par.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_par.ll -------------------------------------------------------------------------------- /fixtures/sequence/replicate_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_proc.ll -------------------------------------------------------------------------------- /fixtures/sequence/replicate_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_ten.ll -------------------------------------------------------------------------------- /fixtures/sequence/rotate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/rotate_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/send_1.ll: -------------------------------------------------------------------------------- 1 | ../all/send_1.ll -------------------------------------------------------------------------------- /fixtures/sequence/sender.ll: -------------------------------------------------------------------------------- 1 | ../all/sender.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq0.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq0_explicit.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0_explicit.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq3_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3_seq2.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_array_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_array_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_assoc_core.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_assoc_core.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_par_back.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_par_back_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back_v2.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_pat.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_seq_send2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq_send2.ll -------------------------------------------------------------------------------- /fixtures/sequence/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_ten.ll -------------------------------------------------------------------------------- /fixtures/sequence/singleRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/singleRecv.ll -------------------------------------------------------------------------------- /fixtures/sequence/singleSend.ll: -------------------------------------------------------------------------------- 1 | ../all/singleSend.ll -------------------------------------------------------------------------------- /fixtures/sequence/sorter.ll: -------------------------------------------------------------------------------- 1 | ../all/sorter.ll -------------------------------------------------------------------------------- /fixtures/sequence/split_fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/split_fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/sequence/split_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/split_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/sqr_dbl.ll: -------------------------------------------------------------------------------- 1 | ../all/sqr_dbl.ll -------------------------------------------------------------------------------- /fixtures/sequence/sqrs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs.ll -------------------------------------------------------------------------------- /fixtures/sequence/sqrs_abs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs_abs.ll -------------------------------------------------------------------------------- /fixtures/sequence/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../all/sum_int.ll -------------------------------------------------------------------------------- /fixtures/sequence/switch.ll: -------------------------------------------------------------------------------- 1 | ../all/switch.ll -------------------------------------------------------------------------------- /fixtures/sequence/tabulate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/tabulate_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/ten_loli_par.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_loli_par.ll -------------------------------------------------------------------------------- /fixtures/sequence/ten_par_par_split.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_par_par_split.ll -------------------------------------------------------------------------------- /fixtures/sequence/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor0.ll -------------------------------------------------------------------------------- /fixtures/sequence/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor1.ll -------------------------------------------------------------------------------- /fixtures/sequence/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2.ll -------------------------------------------------------------------------------- /fixtures/sequence/tensor2_using_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2_using_dual.ll -------------------------------------------------------------------------------- /fixtures/sequence/test2.ll: -------------------------------------------------------------------------------- 1 | ../all/test2.ll -------------------------------------------------------------------------------- /fixtures/sequence/test3.ll: -------------------------------------------------------------------------------- 1 | ../all/test3.ll -------------------------------------------------------------------------------- /fixtures/sequence/test4.ll: -------------------------------------------------------------------------------- 1 | ../all/test4.ll -------------------------------------------------------------------------------- /fixtures/sequence/type_ann_reduce.ll: -------------------------------------------------------------------------------- 1 | ../all/type_ann_reduce.ll -------------------------------------------------------------------------------- /fixtures/sequence/type_annotation.ll: -------------------------------------------------------------------------------- 1 | ../all/type_annotation.ll -------------------------------------------------------------------------------- /fixtures/sequence/type_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/type_defs.ll -------------------------------------------------------------------------------- /fixtures/sequence/type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/type_id.ll -------------------------------------------------------------------------------- /fixtures/sequence/uncurry.ll: -------------------------------------------------------------------------------- 1 | ../all/uncurry.ll -------------------------------------------------------------------------------- /fixtures/sequence/with.ll: -------------------------------------------------------------------------------- 1 | ../all/with.ll -------------------------------------------------------------------------------- /fixtures/sequence/zap.ll: -------------------------------------------------------------------------------- 1 | ../all/zap.ll -------------------------------------------------------------------------------- /fixtures/sequence/zap_ten_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_fwd.ll -------------------------------------------------------------------------------- /fixtures/sequence/zap_ten_par.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_par.ll -------------------------------------------------------------------------------- /fixtures/sequence/zap_ten_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_seq.ll -------------------------------------------------------------------------------- /fixtures/sequence/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../all/zip_add.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/fwd_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/fwd_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../all/par2mix.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/par_comm.ll: -------------------------------------------------------------------------------- 1 | ../all/par_comm.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/switch.ll: -------------------------------------------------------------------------------- 1 | ../all/switch.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/ten_loli_par.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_loli_par.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/test3.ll: -------------------------------------------------------------------------------- 1 | ../all/test3.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/test_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/test_pat.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/zap_ten_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_fwd.ll -------------------------------------------------------------------------------- /fixtures/strict-par-failure/zap_ten_par.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_par.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/assert.ll: -------------------------------------------------------------------------------- 1 | ../all/assert.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/bool.ll: -------------------------------------------------------------------------------- 1 | ../all/bool.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/cutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/cutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/cut_par_cut.ll: -------------------------------------------------------------------------------- 1 | ../all/cut_par_cut.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/double.ll: -------------------------------------------------------------------------------- 1 | ../all/double.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/dual_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/dual_dual.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/feed_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_recv.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/feed_send.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/fwd0_snd0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd0_snd0.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/fwd_par0_ten0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par0_ten0.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/fwd_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_send_recv.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/id.ll: -------------------------------------------------------------------------------- 1 | ../all/id.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/int_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/int_defs.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/layout_case.ll: -------------------------------------------------------------------------------- 1 | ../all/layout_case.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/letnewchan.ll: -------------------------------------------------------------------------------- 1 | ../all/letnewchan.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/literals.ll: -------------------------------------------------------------------------------- 1 | ../all/literals.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/merger.ll: -------------------------------------------------------------------------------- 1 | ../all/merger.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/my_dual.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../all/my_loli.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/order.ll: -------------------------------------------------------------------------------- 1 | ../all/order.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par0.ll: -------------------------------------------------------------------------------- 1 | ../all/par0.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par1.ll: -------------------------------------------------------------------------------- 1 | ../all/par1.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par2.ll: -------------------------------------------------------------------------------- 1 | ../all/par2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/par_pat.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par_seq_back.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_back.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par_seq_front.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_front.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/par_ten1_ten1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten1_ten1.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/plug_compose.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_compose.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/rebound_anon.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/recv_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/recv_proc.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/replicate_par.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_par.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/replicate_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_ten.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq0.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq0_explicit.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0_explicit.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq3_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3_seq2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq_par_back.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_pat.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq_seq_send2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq_send2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_ten.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/singleRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/singleRecv.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/singleSend.ll: -------------------------------------------------------------------------------- 1 | ../all/singleSend.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/sorter.ll: -------------------------------------------------------------------------------- 1 | ../all/sorter.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../all/sum_int.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor0.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor1.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/test2.ll: -------------------------------------------------------------------------------- 1 | ../all/test2.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/test4.ll: -------------------------------------------------------------------------------- 1 | ../all/test4.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/type_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/type_defs.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/type_id.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/zap_ten_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_seq.ll -------------------------------------------------------------------------------- /fixtures/strict-par-success/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../all/zip_add.ll -------------------------------------------------------------------------------- /fixtures/success/a_char.ll: -------------------------------------------------------------------------------- 1 | ../all/a_char.ll -------------------------------------------------------------------------------- /fixtures/success/anon_arg.ll: -------------------------------------------------------------------------------- 1 | ../all/anon_arg.ll -------------------------------------------------------------------------------- /fixtures/success/ap.ll: -------------------------------------------------------------------------------- 1 | ../all/ap.ll -------------------------------------------------------------------------------- /fixtures/success/app_lambda.ll: -------------------------------------------------------------------------------- 1 | ../all/app_lambda.ll -------------------------------------------------------------------------------- /fixtures/success/assert.ll: -------------------------------------------------------------------------------- 1 | ../all/assert.ll -------------------------------------------------------------------------------- /fixtures/success/at_end.ll: -------------------------------------------------------------------------------- 1 | ../all/at_end.ll -------------------------------------------------------------------------------- /fixtures/success/bool.ll: -------------------------------------------------------------------------------- 1 | ../all/bool.ll -------------------------------------------------------------------------------- /fixtures/success/case_con.ll: -------------------------------------------------------------------------------- 1 | ../all/case_con.ll -------------------------------------------------------------------------------- /fixtures/success/case_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/case_fun_server.ll -------------------------------------------------------------------------------- /fixtures/success/case_proto.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto.ll -------------------------------------------------------------------------------- /fixtures/success/case_proto2.ll: -------------------------------------------------------------------------------- 1 | ../all/case_proto2.ll -------------------------------------------------------------------------------- /fixtures/success/com_new.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new.ll -------------------------------------------------------------------------------- /fixtures/success/com_new_mk_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/com_new_mk_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/com_with_log.ll: -------------------------------------------------------------------------------- 1 | ../all/com_with_log.ll -------------------------------------------------------------------------------- /fixtures/success/compose_ops.ll: -------------------------------------------------------------------------------- 1 | ../all/compose_ops.ll -------------------------------------------------------------------------------- /fixtures/success/conv_fun.ll: -------------------------------------------------------------------------------- 1 | ../all/conv_fun.ll -------------------------------------------------------------------------------- /fixtures/success/curry.ll: -------------------------------------------------------------------------------- 1 | ../all/curry.ll -------------------------------------------------------------------------------- /fixtures/success/cutEmptyParTensor.ll: -------------------------------------------------------------------------------- 1 | ../all/cutEmptyParTensor.ll -------------------------------------------------------------------------------- /fixtures/success/cutSendRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/cutSendRecv.ll -------------------------------------------------------------------------------- /fixtures/success/cut_par_cut.ll: -------------------------------------------------------------------------------- 1 | ../all/cut_par_cut.ll -------------------------------------------------------------------------------- /fixtures/success/dep_fun_server.ll: -------------------------------------------------------------------------------- 1 | ../all/dep_fun_server.ll -------------------------------------------------------------------------------- /fixtures/success/div_mod_server_cont.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_cont.ll -------------------------------------------------------------------------------- /fixtures/success/div_mod_server_par4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_par4.ll -------------------------------------------------------------------------------- /fixtures/success/div_mod_server_seq4.ll: -------------------------------------------------------------------------------- 1 | ../all/div_mod_server_seq4.ll -------------------------------------------------------------------------------- /fixtures/success/double.ll: -------------------------------------------------------------------------------- 1 | ../all/double.ll -------------------------------------------------------------------------------- /fixtures/success/dual_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/dual_dual.ll -------------------------------------------------------------------------------- /fixtures/success/equiv_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_plus.ll -------------------------------------------------------------------------------- /fixtures/success/equiv_repl_const.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_const.ll -------------------------------------------------------------------------------- /fixtures/success/equiv_repl_plus.ll: -------------------------------------------------------------------------------- 1 | ../all/equiv_repl_plus.ll -------------------------------------------------------------------------------- /fixtures/success/feed_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_recv.ll -------------------------------------------------------------------------------- /fixtures/success/feed_send.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send.ll -------------------------------------------------------------------------------- /fixtures/success/feed_send_par_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_par_recv.ll -------------------------------------------------------------------------------- /fixtures/success/feed_send_ten_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_ten_recv.ll -------------------------------------------------------------------------------- /fixtures/success/feed_send_then_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/feed_send_then_recv.ll -------------------------------------------------------------------------------- /fixtures/success/flexible_telescope.ll: -------------------------------------------------------------------------------- 1 | ../all/flexible_telescope.ll -------------------------------------------------------------------------------- /fixtures/success/forward_difference.ll: -------------------------------------------------------------------------------- 1 | ../all/forward_difference.ll -------------------------------------------------------------------------------- /fixtures/success/fun1_to_proc_ord.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_ord.ll -------------------------------------------------------------------------------- /fixtures/success/fun1_to_proc_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_par2.ll -------------------------------------------------------------------------------- /fixtures/success/fun1_to_proc_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/fun1_to_proc_seq.ll -------------------------------------------------------------------------------- /fixtures/success/fwd0_snd0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd0_snd0.ll -------------------------------------------------------------------------------- /fixtures/success/fwd1_par2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_par2_rcv.ll -------------------------------------------------------------------------------- /fixtures/success/fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/success/fwd1_seq2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_seq2_rcv.ll -------------------------------------------------------------------------------- /fixtures/success/fwd1_ten2_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd1_ten2_rcv.ll -------------------------------------------------------------------------------- /fixtures/success/fwd2_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd2_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd3_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd3_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd3_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_par0_ten0.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par0_ten0.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_par2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_par2_ten2_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_par2_ten2_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_parN_tenN.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_parN_tenN.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_send_recv.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_seq2_seq2_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_seq2_seq2_seq2.ll -------------------------------------------------------------------------------- /fixtures/success/fwd_ten2_par2.ll: -------------------------------------------------------------------------------- 1 | ../all/fwd_ten2_par2.ll -------------------------------------------------------------------------------- /fixtures/success/group_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/group_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/success/id.ll: -------------------------------------------------------------------------------- 1 | ../all/id.ll -------------------------------------------------------------------------------- /fixtures/success/idType.ll: -------------------------------------------------------------------------------- 1 | ../all/idType.ll -------------------------------------------------------------------------------- /fixtures/success/infer_assert.ll: -------------------------------------------------------------------------------- 1 | ../all/infer_assert.ll -------------------------------------------------------------------------------- /fixtures/success/int_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/int_defs.ll -------------------------------------------------------------------------------- /fixtures/success/layout_case.ll: -------------------------------------------------------------------------------- 1 | ../all/layout_case.ll -------------------------------------------------------------------------------- /fixtures/success/let42.ll: -------------------------------------------------------------------------------- 1 | ../all/let42.ll -------------------------------------------------------------------------------- /fixtures/success/let42ann.ll: -------------------------------------------------------------------------------- 1 | ../all/let42ann.ll -------------------------------------------------------------------------------- /fixtures/success/let_example.ll: -------------------------------------------------------------------------------- 1 | ../all/let_example.ll -------------------------------------------------------------------------------- /fixtures/success/let_let.ll: -------------------------------------------------------------------------------- 1 | ../all/let_let.ll -------------------------------------------------------------------------------- /fixtures/success/let_order.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order.ll -------------------------------------------------------------------------------- /fixtures/success/let_order_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/let_order_proc.ll -------------------------------------------------------------------------------- /fixtures/success/let_used_twice.ll: -------------------------------------------------------------------------------- 1 | ../all/let_used_twice.ll -------------------------------------------------------------------------------- /fixtures/success/letnewchan.ll: -------------------------------------------------------------------------------- 1 | ../all/letnewchan.ll -------------------------------------------------------------------------------- /fixtures/success/letrecv.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv.ll -------------------------------------------------------------------------------- /fixtures/success/letrecv_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/letrecv_ann.ll -------------------------------------------------------------------------------- /fixtures/success/letsession.ll: -------------------------------------------------------------------------------- 1 | ../all/letsession.ll -------------------------------------------------------------------------------- /fixtures/success/lettype.ll: -------------------------------------------------------------------------------- 1 | ../all/lettype.ll -------------------------------------------------------------------------------- /fixtures/success/literals.ll: -------------------------------------------------------------------------------- 1 | ../all/literals.ll -------------------------------------------------------------------------------- /fixtures/success/loli_id.ll: -------------------------------------------------------------------------------- 1 | ../all/loli_id.ll -------------------------------------------------------------------------------- /fixtures/success/matmul_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/matmul_seq.ll -------------------------------------------------------------------------------- /fixtures/success/merger.ll: -------------------------------------------------------------------------------- 1 | ../all/merger.ll -------------------------------------------------------------------------------- /fixtures/success/merger_loli_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_loli_Sort.ll -------------------------------------------------------------------------------- /fixtures/success/merger_nstSort_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_nstSort_prll.ll -------------------------------------------------------------------------------- /fixtures/success/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq.ll -------------------------------------------------------------------------------- /fixtures/success/merger_seq_Sort.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_Sort.ll -------------------------------------------------------------------------------- /fixtures/success/merger_seq_inferred.ll: -------------------------------------------------------------------------------- 1 | ../all/merger_seq_inferred.ll -------------------------------------------------------------------------------- /fixtures/success/mk_new_ann.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_ann.ll -------------------------------------------------------------------------------- /fixtures/success/mk_new_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_new_seq.ll -------------------------------------------------------------------------------- /fixtures/success/mk_par2_LR.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_LR.ll -------------------------------------------------------------------------------- /fixtures/success/mk_par2_RL.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_RL.ll -------------------------------------------------------------------------------- /fixtures/success/mk_par2_prll.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_par2_prll.ll -------------------------------------------------------------------------------- /fixtures/success/mk_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_seq2.ll -------------------------------------------------------------------------------- /fixtures/success/mk_ten2_2new_2fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_ten2_2new_2fwd.ll -------------------------------------------------------------------------------- /fixtures/success/mk_tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/mk_tensor2.ll -------------------------------------------------------------------------------- /fixtures/success/mkrecv.ll: -------------------------------------------------------------------------------- 1 | ../all/mkrecv.ll -------------------------------------------------------------------------------- /fixtures/success/mksend.ll: -------------------------------------------------------------------------------- 1 | ../all/mksend.ll -------------------------------------------------------------------------------- /fixtures/success/multi_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/multi_recv.ll -------------------------------------------------------------------------------- /fixtures/success/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/my_dual.ll -------------------------------------------------------------------------------- /fixtures/success/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../all/my_loli.ll -------------------------------------------------------------------------------- /fixtures/success/new_alloc.ll: -------------------------------------------------------------------------------- 1 | ../all/new_alloc.ll -------------------------------------------------------------------------------- /fixtures/success/new_seq_par_par.ll: -------------------------------------------------------------------------------- 1 | ../all/new_seq_par_par.ll -------------------------------------------------------------------------------- /fixtures/success/new_ten2.ll: -------------------------------------------------------------------------------- 1 | ../all/new_ten2.ll -------------------------------------------------------------------------------- /fixtures/success/non_layout_decs.ll: -------------------------------------------------------------------------------- 1 | ../all/non_layout_decs.ll -------------------------------------------------------------------------------- /fixtures/success/oplus.ll: -------------------------------------------------------------------------------- 1 | ../all/oplus.ll -------------------------------------------------------------------------------- /fixtures/success/order.ll: -------------------------------------------------------------------------------- 1 | ../all/order.ll -------------------------------------------------------------------------------- /fixtures/success/par0.ll: -------------------------------------------------------------------------------- 1 | ../all/par0.ll -------------------------------------------------------------------------------- /fixtures/success/par1.ll: -------------------------------------------------------------------------------- 1 | ../all/par1.ll -------------------------------------------------------------------------------- /fixtures/success/par2.ll: -------------------------------------------------------------------------------- 1 | ../all/par2.ll -------------------------------------------------------------------------------- /fixtures/success/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../all/par2mix.ll -------------------------------------------------------------------------------- /fixtures/success/par4_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par4_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/success/par_comm.ll: -------------------------------------------------------------------------------- 1 | ../all/par_comm.ll -------------------------------------------------------------------------------- /fixtures/success/par_loli_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_loli_ten_send.ll -------------------------------------------------------------------------------- /fixtures/success/par_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/par_pat.ll -------------------------------------------------------------------------------- /fixtures/success/par_seq_back.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_back.ll -------------------------------------------------------------------------------- /fixtures/success/par_seq_front.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_front.ll -------------------------------------------------------------------------------- /fixtures/success/par_seq_middle.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_middle.ll -------------------------------------------------------------------------------- /fixtures/success/par_seq_send3.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seq_send3.ll -------------------------------------------------------------------------------- /fixtures/success/par_seqi_ten_send.ll: -------------------------------------------------------------------------------- 1 | ../all/par_seqi_ten_send.ll -------------------------------------------------------------------------------- /fixtures/success/par_ten1_ten1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten1_ten1.ll -------------------------------------------------------------------------------- /fixtures/success/par_ten_ten_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v0.ll -------------------------------------------------------------------------------- /fixtures/success/par_ten_ten_v1.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v1.ll -------------------------------------------------------------------------------- /fixtures/success/par_ten_ten_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/par_ten_ten_v2.ll -------------------------------------------------------------------------------- /fixtures/success/parallel_assoc_flat.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_flat.ll -------------------------------------------------------------------------------- /fixtures/success/parallel_assoc_left.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_assoc_left.ll -------------------------------------------------------------------------------- /fixtures/success/parallel_tensor4_v0.ll: -------------------------------------------------------------------------------- 1 | ../all/parallel_tensor4_v0.ll -------------------------------------------------------------------------------- /fixtures/success/plug_compose.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_compose.ll -------------------------------------------------------------------------------- /fixtures/success/plug_send_recv.ll: -------------------------------------------------------------------------------- 1 | ../all/plug_send_recv.ll -------------------------------------------------------------------------------- /fixtures/success/rebound_anon.ll: -------------------------------------------------------------------------------- 1 | ../all/rebound_anon.ll -------------------------------------------------------------------------------- /fixtures/success/receiver.ll: -------------------------------------------------------------------------------- 1 | ../all/receiver.ll -------------------------------------------------------------------------------- /fixtures/success/recv_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/recv_proc.ll -------------------------------------------------------------------------------- /fixtures/success/reduce_primops.ll: -------------------------------------------------------------------------------- 1 | ../all/reduce_primops.ll -------------------------------------------------------------------------------- /fixtures/success/replicate.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate.ll -------------------------------------------------------------------------------- /fixtures/success/replicate_par.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_par.ll -------------------------------------------------------------------------------- /fixtures/success/replicate_proc.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_proc.ll -------------------------------------------------------------------------------- /fixtures/success/replicate_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/replicate_ten.ll -------------------------------------------------------------------------------- /fixtures/success/rotate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/rotate_seq.ll -------------------------------------------------------------------------------- /fixtures/success/saxpy.ll: -------------------------------------------------------------------------------- 1 | ../all/saxpy.ll -------------------------------------------------------------------------------- /fixtures/success/sender.ll: -------------------------------------------------------------------------------- 1 | ../all/sender.ll -------------------------------------------------------------------------------- /fixtures/success/seq0.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0.ll -------------------------------------------------------------------------------- /fixtures/success/seq0_explicit.ll: -------------------------------------------------------------------------------- 1 | ../all/seq0_explicit.ll -------------------------------------------------------------------------------- /fixtures/success/seq3.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3.ll -------------------------------------------------------------------------------- /fixtures/success/seq3_seq2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq3_seq2.ll -------------------------------------------------------------------------------- /fixtures/success/seq_array_cnt_new.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_array_cnt_new.ll -------------------------------------------------------------------------------- /fixtures/success/seq_assoc_core.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_assoc_core.ll -------------------------------------------------------------------------------- /fixtures/success/seq_par_back.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back.ll -------------------------------------------------------------------------------- /fixtures/success/seq_par_back_v2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_par_back_v2.ll -------------------------------------------------------------------------------- /fixtures/success/seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_pat.ll -------------------------------------------------------------------------------- /fixtures/success/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq.ll -------------------------------------------------------------------------------- /fixtures/success/seq_seq_send2.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_seq_send2.ll -------------------------------------------------------------------------------- /fixtures/success/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../all/seq_ten.ll -------------------------------------------------------------------------------- /fixtures/success/singleRecv.ll: -------------------------------------------------------------------------------- 1 | ../all/singleRecv.ll -------------------------------------------------------------------------------- /fixtures/success/singleSend.ll: -------------------------------------------------------------------------------- 1 | ../all/singleSend.ll -------------------------------------------------------------------------------- /fixtures/success/sorter.ll: -------------------------------------------------------------------------------- 1 | ../all/sorter.ll -------------------------------------------------------------------------------- /fixtures/success/split_fwd1_rcv.ll: -------------------------------------------------------------------------------- 1 | ../all/split_fwd1_rcv.ll -------------------------------------------------------------------------------- /fixtures/success/split_nested_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/split_nested_seq.ll -------------------------------------------------------------------------------- /fixtures/success/sqr_dbl.ll: -------------------------------------------------------------------------------- 1 | ../all/sqr_dbl.ll -------------------------------------------------------------------------------- /fixtures/success/sqrs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs.ll -------------------------------------------------------------------------------- /fixtures/success/sqrs_abs.ll: -------------------------------------------------------------------------------- 1 | ../all/sqrs_abs.ll -------------------------------------------------------------------------------- /fixtures/success/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../all/sum_int.ll -------------------------------------------------------------------------------- /fixtures/success/switch.ll: -------------------------------------------------------------------------------- 1 | ../all/switch.ll -------------------------------------------------------------------------------- /fixtures/success/tabulate_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/tabulate_seq.ll -------------------------------------------------------------------------------- /fixtures/success/ten_loli_par.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_loli_par.ll -------------------------------------------------------------------------------- /fixtures/success/ten_par_par_split.ll: -------------------------------------------------------------------------------- 1 | ../all/ten_par_par_split.ll -------------------------------------------------------------------------------- /fixtures/success/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor0.ll -------------------------------------------------------------------------------- /fixtures/success/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor1.ll -------------------------------------------------------------------------------- /fixtures/success/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2.ll -------------------------------------------------------------------------------- /fixtures/success/tensor2_using_dual.ll: -------------------------------------------------------------------------------- 1 | ../all/tensor2_using_dual.ll -------------------------------------------------------------------------------- /fixtures/success/test2.ll: -------------------------------------------------------------------------------- 1 | ../all/test2.ll -------------------------------------------------------------------------------- /fixtures/success/test3.ll: -------------------------------------------------------------------------------- 1 | ../all/test3.ll -------------------------------------------------------------------------------- /fixtures/success/test4.ll: -------------------------------------------------------------------------------- 1 | ../all/test4.ll -------------------------------------------------------------------------------- /fixtures/success/test4_inferred.ll: -------------------------------------------------------------------------------- 1 | ../all/test4_inferred.ll -------------------------------------------------------------------------------- /fixtures/success/test_pat.ll: -------------------------------------------------------------------------------- 1 | ../all/test_pat.ll -------------------------------------------------------------------------------- /fixtures/success/type_ann_reduce.ll: -------------------------------------------------------------------------------- 1 | ../all/type_ann_reduce.ll -------------------------------------------------------------------------------- /fixtures/success/type_annotation.ll: -------------------------------------------------------------------------------- 1 | ../all/type_annotation.ll -------------------------------------------------------------------------------- /fixtures/success/type_defs.ll: -------------------------------------------------------------------------------- 1 | ../all/type_defs.ll -------------------------------------------------------------------------------- /fixtures/success/type_id.ll: -------------------------------------------------------------------------------- 1 | ../all/type_id.ll -------------------------------------------------------------------------------- /fixtures/success/uncurry.ll: -------------------------------------------------------------------------------- 1 | ../all/uncurry.ll -------------------------------------------------------------------------------- /fixtures/success/with.ll: -------------------------------------------------------------------------------- 1 | ../all/with.ll -------------------------------------------------------------------------------- /fixtures/success/zap.ll: -------------------------------------------------------------------------------- 1 | ../all/zap.ll -------------------------------------------------------------------------------- /fixtures/success/zap_ten_fwd.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_fwd.ll -------------------------------------------------------------------------------- /fixtures/success/zap_ten_par.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_par.ll -------------------------------------------------------------------------------- /fixtures/success/zap_ten_seq.ll: -------------------------------------------------------------------------------- 1 | ../all/zap_ten_seq.ll -------------------------------------------------------------------------------- /fixtures/success/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../all/zip_add.ll -------------------------------------------------------------------------------- /issues/check/10-title: -------------------------------------------------------------------------------- 1 | ISSUES CHECK 2 | -------------------------------------------------------------------------------- /issues/check/keep.t: -------------------------------------------------------------------------------- 1 | ../keep.t -------------------------------------------------------------------------------- /issues/compile/13-title: -------------------------------------------------------------------------------- 1 | ISSUES COMPILATION 2 | -------------------------------------------------------------------------------- /issues/compile/keep.t: -------------------------------------------------------------------------------- 1 | ../keep.t -------------------------------------------------------------------------------- /issues/compile/letsession.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/letsession.ll -------------------------------------------------------------------------------- /issues/compile/recv_proc.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/recv_proc.ll -------------------------------------------------------------------------------- /issues/compile/test4_inferred.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/test4_inferred.ll -------------------------------------------------------------------------------- /issues/compile/test_pat.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/test_pat.ll -------------------------------------------------------------------------------- /issues/compile/union/test3.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/test3.ll -------------------------------------------------------------------------------- /issues/compile/vec/merger.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/merger.ll -------------------------------------------------------------------------------- /issues/compile/vec/merger_seq.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/merger_seq.ll -------------------------------------------------------------------------------- /issues/compile/vec/sorter.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sorter.ll -------------------------------------------------------------------------------- /issues/fusion/12-title: -------------------------------------------------------------------------------- 1 | ISSUES FUSION 2 | -------------------------------------------------------------------------------- /issues/fusion/keep.t: -------------------------------------------------------------------------------- 1 | ../keep.t -------------------------------------------------------------------------------- /issues/fusion/test4.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/test4.ll -------------------------------------------------------------------------------- /issues/sequence/11-title: -------------------------------------------------------------------------------- 1 | ISSUES SEQUENCE 2 | -------------------------------------------------------------------------------- /issues/sequence/keep.t: -------------------------------------------------------------------------------- 1 | ../keep.t -------------------------------------------------------------------------------- /issues/sequence/merger.t/merger.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/merger.ll -------------------------------------------------------------------------------- /issues/sequence/recv_proc.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/recv_proc.ll -------------------------------------------------------------------------------- /issues/sequence/test_pat.ll: -------------------------------------------------------------------------------- 1 | ../../fixtures/all/test_pat.ll -------------------------------------------------------------------------------- /tests/compile/04-title: -------------------------------------------------------------------------------- 1 | EXPECTED COMPILATION 2 | -------------------------------------------------------------------------------- /tests/compile/send_1.t/send_1.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/send_1.ll -------------------------------------------------------------------------------- /tests/expand/11-title: -------------------------------------------------------------------------------- 1 | EXPECTED EXPAND 2 | -------------------------------------------------------------------------------- /tests/expand/all.t/stdin: -------------------------------------------------------------------------------- 1 | ../../../fixtures/success.ll -------------------------------------------------------------------------------- /tests/failure/00-title: -------------------------------------------------------------------------------- 1 | EXPECTED FAILURES 2 | -------------------------------------------------------------------------------- /tests/failure/con_dup.t/con_dup.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/con_dup.ll -------------------------------------------------------------------------------- /tests/failure/redef.t/redef.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/redef.ll -------------------------------------------------------------------------------- /tests/failure/redef.t/stderr: -------------------------------------------------------------------------------- 1 | Already defined name: 2 | Int 3 | 4 | -------------------------------------------------------------------------------- /tests/fmt/07-title: -------------------------------------------------------------------------------- 1 | EXPECTED FMT 2 | -------------------------------------------------------------------------------- /tests/fmt/all.t/stdin: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all.ll -------------------------------------------------------------------------------- /tests/fusion/03-title: -------------------------------------------------------------------------------- 1 | EXPECTED FUSION 2 | -------------------------------------------------------------------------------- /tests/fusion/new_ten2.t/new_ten2.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/new_ten2.ll -------------------------------------------------------------------------------- /tests/norm/05-title: -------------------------------------------------------------------------------- 1 | EXPECTED NORMALIZED 2 | -------------------------------------------------------------------------------- /tests/norm/all.t/stdin: -------------------------------------------------------------------------------- 1 | ../../../fixtures/success.ll -------------------------------------------------------------------------------- /tests/pretty/06-title: -------------------------------------------------------------------------------- 1 | EXPECTED PRETTY-PRINTER 2 | -------------------------------------------------------------------------------- /tests/pretty/all.t/stdin: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all.ll -------------------------------------------------------------------------------- /tests/reduce/12-title: -------------------------------------------------------------------------------- 1 | EXPECTED REDUCE 2 | -------------------------------------------------------------------------------- /tests/reduce/all.t/stdin: -------------------------------------------------------------------------------- 1 | ../../../fixtures/success.ll -------------------------------------------------------------------------------- /tests/sequence/02-title: -------------------------------------------------------------------------------- 1 | EXPECTED SEQUENCE 2 | -------------------------------------------------------------------------------- /tests/strict-par-failure/08-title: -------------------------------------------------------------------------------- 1 | EXPECTED STRICT-PAR FAILURES 2 | -------------------------------------------------------------------------------- /tests/success/01-title: -------------------------------------------------------------------------------- 1 | EXPECTED SUCCESSES 2 | -------------------------------------------------------------------------------- /tests/success/a_char.t/a_char.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/a_char.ll -------------------------------------------------------------------------------- /tests/success/a_char.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/anon_arg.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/ap.t/ap.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/ap.ll -------------------------------------------------------------------------------- /tests/success/ap.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/app_lambda.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/assert.t/assert.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/assert.ll -------------------------------------------------------------------------------- /tests/success/assert.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/at_end.t/at_end.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/at_end.ll -------------------------------------------------------------------------------- /tests/success/at_end.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/bool.t/bool.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/bool.ll -------------------------------------------------------------------------------- /tests/success/bool.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/case_con.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/case_fun_server.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/case_proto.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/case_proto2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/com_new.t/com_new.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/com_new.ll -------------------------------------------------------------------------------- /tests/success/com_new.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/com_new_mk_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/com_with_log.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/compose_ops.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/conv_fun.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/curry.t/curry.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/curry.ll -------------------------------------------------------------------------------- /tests/success/curry.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/cutEmptyParTensor.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/cutSendRecv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/cut_par_cut.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/dep_fun_server.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/div_mod_server_cont.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/div_mod_server_par4.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/div_mod_server_seq4.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/double.t/double.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/double.ll -------------------------------------------------------------------------------- /tests/success/double.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/dual_dual.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/equiv_plus.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/equiv_repl_const.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/equiv_repl_plus.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/feed_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/feed_send.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/feed_send_par_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/feed_send_ten_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/feed_send_then_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/flexible_telescope.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/forward_difference.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fun1_to_proc_ord.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fun1_to_proc_par2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fun1_to_proc_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd0_snd0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd1_par2_rcv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd1_rcv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd1_seq2_rcv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd1_ten2_rcv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd2_par2_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd3_par2_ten2_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd3_seq2_seq2_seq2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_par0_ten0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_par2_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_par2_ten2_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_parN_tenN.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_send_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_seq2_seq2_seq2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/fwd_ten2_par2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/group_nested_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/id.t/id.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/id.ll -------------------------------------------------------------------------------- /tests/success/id.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/idType.t/idType.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/idType.ll -------------------------------------------------------------------------------- /tests/success/idType.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/infer_assert.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/int_defs.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/layout_case.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let42.t/let42.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/let42.ll -------------------------------------------------------------------------------- /tests/success/let42.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let42ann.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let_example.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let_let.t/let_let.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/let_let.ll -------------------------------------------------------------------------------- /tests/success/let_let.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let_order.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let_order_proc.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/let_used_twice.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/letnewchan.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/letrecv.t/letrecv.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/letrecv.ll -------------------------------------------------------------------------------- /tests/success/letrecv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/letrecv_ann.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/letsession.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/lettype.t/lettype.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/lettype.ll -------------------------------------------------------------------------------- /tests/success/lettype.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/literals.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/loli_id.t/loli_id.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/loli_id.ll -------------------------------------------------------------------------------- /tests/success/loli_id.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/matmul_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger.t/merger.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/merger.ll -------------------------------------------------------------------------------- /tests/success/merger.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger_loli_Sort.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger_nstSort_prll.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger_seq_Sort.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/merger_seq_inferred.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_new_ann.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_new_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_par2_LR.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_par2_RL.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_par2_prll.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_seq2.t/mk_seq2.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/mk_seq2.ll -------------------------------------------------------------------------------- /tests/success/mk_seq2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_ten2_2new_2fwd.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mk_tensor2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mkrecv.t/mkrecv.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/mkrecv.ll -------------------------------------------------------------------------------- /tests/success/mkrecv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/mksend.t/mksend.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/mksend.ll -------------------------------------------------------------------------------- /tests/success/mksend.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/multi_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/my_dual.t/my_dual.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/my_dual.ll -------------------------------------------------------------------------------- /tests/success/my_dual.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/my_loli.t/my_loli.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/my_loli.ll -------------------------------------------------------------------------------- /tests/success/my_loli.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/new_alloc.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/new_seq_par_par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/new_ten2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/no_dead_lock_new_new.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/non_dep_fun_dom_args.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/non_layout_decs.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/oplus.t/oplus.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/oplus.ll -------------------------------------------------------------------------------- /tests/success/oplus.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/order.t/order.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/order.ll -------------------------------------------------------------------------------- /tests/success/order.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par0.t/par0.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/par0.ll -------------------------------------------------------------------------------- /tests/success/par0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par1.t/par1.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/par1.ll -------------------------------------------------------------------------------- /tests/success/par1.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par2.t/par2.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/par2.ll -------------------------------------------------------------------------------- /tests/success/par2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par2mix.t/par2mix.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/par2mix.ll -------------------------------------------------------------------------------- /tests/success/par2mix.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par4_seq_send3.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_comm.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_loli_ten_send.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_loli_ten_send_v2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_pat.t/par_pat.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/par_pat.ll -------------------------------------------------------------------------------- /tests/success/par_pat.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_seq_back.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_seq_front.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_seq_middle.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_seq_send3.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_seqi_ten_send.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_ten1_ten1.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_ten_ten_v0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_ten_ten_v1.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/par_ten_ten_v2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/parallel_assoc_flat.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/parallel_assoc_left.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/parallel_assoc_right.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/parallel_tensor4_v0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/plug_compose.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/plug_compose_par_par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/plug_send_recv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/rebound_anon.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/receiver.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/recv_proc.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/reduce_primops.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/replicate.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/replicate_par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/replicate_proc.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/replicate_ten.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/rotate_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/saxpy.t/saxpy.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/saxpy.ll -------------------------------------------------------------------------------- /tests/success/saxpy.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sender.t/sender.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sender.ll -------------------------------------------------------------------------------- /tests/success/sender.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq0.t/seq0.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/seq0.ll -------------------------------------------------------------------------------- /tests/success/seq0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq0_explicit.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq3.t/seq3.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/seq3.ll -------------------------------------------------------------------------------- /tests/success/seq3.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq3_seq2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_array_cnt_new.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_assoc_core.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_par_back.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_par_back_v2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_pat.t/seq_pat.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/seq_pat.ll -------------------------------------------------------------------------------- /tests/success/seq_pat.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_seq.t/seq_seq.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/seq_seq.ll -------------------------------------------------------------------------------- /tests/success/seq_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_seq_send2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/seq_ten.t/seq_ten.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/seq_ten.ll -------------------------------------------------------------------------------- /tests/success/seq_ten.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/singleRecv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/singleSend.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sorter.t/sorter.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sorter.ll -------------------------------------------------------------------------------- /tests/success/sorter.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/split_fwd1_rcv.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/split_nested_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sqr_dbl.t/sqr_dbl.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sqr_dbl.ll -------------------------------------------------------------------------------- /tests/success/sqr_dbl.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sqrs.t/sqrs.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sqrs.ll -------------------------------------------------------------------------------- /tests/success/sqrs.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sqrs_abs.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/strict-par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sum_int.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/sum_int.t/sum_int.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/sum_int.ll -------------------------------------------------------------------------------- /tests/success/switch.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/switch.t/switch.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/switch.ll -------------------------------------------------------------------------------- /tests/success/tabulate_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/ten_loli_par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/ten_par_par_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/ten_par_par_split.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/tensor0.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/tensor0.t/tensor0.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/tensor0.ll -------------------------------------------------------------------------------- /tests/success/tensor1.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/tensor1.t/tensor1.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/tensor1.ll -------------------------------------------------------------------------------- /tests/success/tensor2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/tensor2.t/tensor2.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/tensor2.ll -------------------------------------------------------------------------------- /tests/success/tensor2_using_dual.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/test2.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/test2.t/test2.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/test2.ll -------------------------------------------------------------------------------- /tests/success/test3.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/test3.t/test3.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/test3.ll -------------------------------------------------------------------------------- /tests/success/test4.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/test4.t/test4.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/test4.ll -------------------------------------------------------------------------------- /tests/success/test4_inferred.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/test_pat.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/type_ann_reduce.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/type_annotation.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/type_defs.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/type_id.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/type_id.t/type_id.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/type_id.ll -------------------------------------------------------------------------------- /tests/success/uncurry.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/uncurry.t/uncurry.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/uncurry.ll -------------------------------------------------------------------------------- /tests/success/with.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/with.t/with.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/with.ll -------------------------------------------------------------------------------- /tests/success/zap.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/zap.t/zap.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/zap.ll -------------------------------------------------------------------------------- /tests/success/zap_ten_fwd.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/zap_ten_par.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/zap_ten_seq.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/zip_add.t/stdout: -------------------------------------------------------------------------------- 1 | Checking successful! 2 | -------------------------------------------------------------------------------- /tests/success/zip_add.t/zip_add.ll: -------------------------------------------------------------------------------- 1 | ../../../fixtures/all/zip_add.ll --------------------------------------------------------------------------------