├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.yml │ ├── config.yml │ └── feature_request.md └── workflows │ └── checks.yml ├── .gitignore ├── .rustfmt.toml ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── FAQ.md ├── FEATURES.md ├── GUIDE.md ├── LICENSE-APACHE ├── README.md ├── cspell.json ├── docs ├── builtins.md ├── cli-arguments.md ├── compilation-and-readback.md ├── compiler-options.md ├── defining-data-types.md ├── dups-and-sups.md ├── ffi.md ├── imports.md ├── lazy-definitions.md ├── native-numbers.md ├── pattern-matching.md ├── syntax.md ├── type-checking.md ├── using-scopeless-lambdas.md └── writing-fusing-functions.md ├── examples ├── bitonic_sort.bend ├── bubble_sort.bend ├── callcc.bend ├── example_fun.bend ├── fib.bend ├── fusing_add.bend ├── fusing_not.bend ├── gen_tree.bend ├── hello_world.bend ├── insertion_sort.bend ├── list.bend ├── parallel_and.bend ├── parallel_sum.bend ├── queue.bend ├── quick_sort.bend └── radix_sort.bend ├── justfile ├── src ├── diagnostics.rs ├── fun │ ├── builtins.bend │ ├── builtins.rs │ ├── check │ │ ├── check_untyped.rs │ │ ├── mod.rs │ │ ├── set_entrypoint.rs │ │ ├── shared_names.rs │ │ ├── type_check.rs │ │ ├── unbound_refs.rs │ │ └── unbound_vars.rs │ ├── display.rs │ ├── load_book.rs │ ├── mod.rs │ ├── net_to_term.rs │ ├── parser.rs │ ├── term_to_net.rs │ └── transform │ │ ├── apply_args.rs │ │ ├── definition_merge.rs │ │ ├── definition_pruning.rs │ │ ├── desugar_bend.rs │ │ ├── desugar_fold.rs │ │ ├── desugar_match_defs.rs │ │ ├── desugar_open.rs │ │ ├── desugar_use.rs │ │ ├── desugar_with_blocks.rs │ │ ├── encode_adts.rs │ │ ├── encode_match_terms.rs │ │ ├── expand_generated.rs │ │ ├── expand_main.rs │ │ ├── fix_match_defs.rs │ │ ├── fix_match_terms.rs │ │ ├── float_combinators.rs │ │ ├── lift_local_defs.rs │ │ ├── linearize_matches.rs │ │ ├── linearize_vars.rs │ │ ├── mod.rs │ │ ├── resolve_refs.rs │ │ ├── resolve_type_ctrs.rs │ │ ├── resugar_list.rs │ │ ├── resugar_string.rs │ │ └── unique_names.rs ├── hvm │ ├── add_recursive_priority.rs │ ├── check_net_size.rs │ ├── eta_reduce.rs │ ├── inline.rs │ ├── mod.rs │ ├── mutual_recursion.message │ ├── mutual_recursion.rs │ └── prune.rs ├── imp │ ├── gen_map_get.rs │ ├── mod.rs │ ├── order_kwargs.rs │ ├── parser.rs │ └── to_fun.rs ├── imports │ ├── book.rs │ ├── loader.rs │ ├── mod.rs │ └── packages.rs ├── lib.rs ├── main.rs ├── net │ ├── hvm_to_net.rs │ └── mod.rs └── utils.rs └── tests ├── golden_tests.rs ├── golden_tests ├── check_file │ ├── fail_type_bad_rec_fn_adt.bend │ ├── non_exaustive_limit.bend │ └── type_err_match_arm.bend ├── cli │ ├── compile_all.args │ ├── compile_all.bend │ ├── compile_inline.args │ ├── compile_inline.bend │ ├── compile_no_opts.args │ ├── compile_no_opts.bend │ ├── compile_pre_reduce.args │ ├── compile_pre_reduce.bend │ ├── compile_strict_loop.args │ ├── compile_strict_loop.bend │ ├── compile_wrong_opt.args │ ├── compile_wrong_opt.bend │ ├── custom_hvm_bin.args │ ├── custom_hvm_bin.bend │ ├── debug_list_map.args │ ├── debug_list_map.bend │ ├── debug_u60_to_nat.args │ ├── debug_u60_to_nat.bend │ ├── desugar_bool_scott.args │ ├── desugar_bool_scott.bend │ ├── desugar_float_combinators.args │ ├── desugar_float_combinators.bend │ ├── desugar_linearize_matches.args │ ├── desugar_linearize_matches.bend │ ├── desugar_linearize_matches_alt.args │ ├── desugar_linearize_matches_alt.bend │ ├── desugar_merge.args │ ├── desugar_merge.bend │ ├── desugar_pretty.args │ ├── desugar_pretty.bend │ ├── desugar_prune.args │ ├── desugar_prune.bend │ ├── gen_hvm_no_eta_by_default.args │ ├── gen_hvm_no_eta_by_default.bend │ ├── input_file_not_found.args │ ├── input_file_not_found.bend │ ├── net_size_too_large.args │ ├── net_size_too_large.bend │ ├── no_check_net_size.args │ ├── no_check_net_size.bend │ ├── run_add.args │ ├── run_add.bend │ ├── run_pretty.args │ ├── run_pretty.bend │ ├── tuple_readback.args │ ├── tuple_readback.bend │ ├── warn_and_err.args │ └── warn_and_err.bend ├── compile_entrypoint │ └── foo.bend ├── compile_file │ ├── 360_no_scope.bend │ ├── add_args.bend │ ├── addition.bend │ ├── addition_const.bend │ ├── ask_outside_do.bend │ ├── church_one.bend │ ├── church_zero.bend │ ├── complicated_dup.bend │ ├── crlf.bend │ ├── cyclic_global_lam.bend │ ├── def_pat_unscoped.bend │ ├── dup_apply.bend │ ├── dup_global_lam.bend │ ├── elif.bend │ ├── elif_fun.bend │ ├── elif_no_else.bend │ ├── erased_dup.bend │ ├── error_data_def_name.bend │ ├── error_messages.bend │ ├── f24_oper.bend │ ├── fst_snd.bend │ ├── global_lam.bend │ ├── i24_oper.bend │ ├── id.bend │ ├── infer_dup.bend │ ├── inlining.bend │ ├── just_a_name.bend │ ├── just_data.bend │ ├── just_paren.bend │ ├── just_rule_paren.bend │ ├── let_substitution.bend │ ├── let_tup.bend │ ├── lets.bend │ ├── long_name.bend │ ├── match.bend │ ├── mismatched_ask_statements.bend │ ├── missing_adt_eq.bend │ ├── missing_ctrs.bend │ ├── missing_pat.bend │ ├── names_starting_with_keywords.bend │ ├── nested_ctr_wrong_arity.bend │ ├── nested_let.bend │ ├── number_too_large.bend │ ├── nums.bend │ ├── op2.bend │ ├── redex_order.bend │ ├── redex_order_recursive.bend │ ├── ref_to_main.bend │ ├── ref_to_ref.bend │ ├── repeated_bind_rule.bend │ ├── simple_tup.bend │ ├── switch_all_patterns.bend │ ├── switch_in_switch_arg.bend │ ├── switch_incomplete.bend │ ├── switch_unscoped_lambda.bend │ ├── top_level_name_slashslash.bend │ ├── tup.bend │ ├── tup_add.bend │ ├── unbound_unscoped_var.bend │ ├── unbound_var.bend │ ├── unbound_var_scope.bend │ ├── unbound_with_tup_pattern.bend │ ├── underscore.bend │ ├── unexpected_top_char.bend │ ├── unscoped_dup_use.bend │ ├── unscoped_supercombinator.bend │ ├── unused_let.bend │ ├── unused_unscoped_bind.bend │ ├── variable_name_double_underscore.bend │ ├── vicious_circles.bend │ ├── warn_and_err.bend │ ├── with_clause_parse_err.bend │ ├── wrong_ctr_arity.bend │ ├── wrong_ctr_var_arity.bend │ ├── wrong_nums.bend │ └── wrong_unicode_escape.bend ├── compile_file_o_all │ ├── addition.bend │ ├── addition_var_fst.bend │ ├── adt_option_and.bend │ ├── adt_string.bend │ ├── and.bend │ ├── bad_parens_making_erased_let.bend │ ├── bool.bend │ ├── cyclic_dup.bend │ ├── double_main.bend │ ├── eta_chain.bend │ ├── ex0.bend │ ├── ex2.bend │ ├── example.bend │ ├── exp.bend │ ├── expr.bend │ ├── extracted_match_pred.bend │ ├── fst.bend │ ├── fst_fst.bend │ ├── hvm1_main.bend │ ├── inline_app.bend │ ├── inlining.bend │ ├── linearize_match.bend │ ├── list_merge_sort.bend │ ├── list_reverse.bend │ ├── match_adt_non_exhaustive.bend │ ├── match_dup_and_reconstruction.bend │ ├── match_mult_linearization.bend │ ├── match_num_explicit_bind.bend │ ├── match_tup.bend │ ├── merge_definitions.bend │ ├── non_exhaustive_and.bend │ ├── non_exhaustive_different_types.bend │ ├── non_exhaustive_pattern.bend │ ├── non_exhaustive_tree.bend │ ├── num_pattern_with_var.bend │ ├── recursive_combinator_inactive.bend │ ├── repeated_name_trucation.bend │ ├── scrutinee_reconstruction.bend │ ├── self_ref.bend │ ├── snd.bend │ ├── spacing.bend │ ├── spacing2.bend │ ├── str.bend │ ├── sum_predicates.bend │ ├── tagged_dup.bend │ ├── tagged_lam.bend │ ├── tagged_sup.bend │ ├── unapplied_eta.bend │ ├── unscoped_eta.bend │ ├── var_shadows_ref.bend │ └── weekday.bend ├── compile_file_o_no_all │ ├── bitonic_sort.bend │ ├── list_reverse.bend │ ├── redex_order.bend │ └── sum_tree.bend ├── compile_long │ ├── huge_tree.bend │ └── long_str_file.bend ├── desugar_file │ ├── ask_branch.bend │ ├── bind_syntax.bend │ ├── combinators.bend │ ├── deref_loop.bend │ ├── dup_linearization.bend │ ├── local_def_shadow.bend │ ├── main_aux.bend │ ├── mapper_syntax.bend │ ├── switch_with_use.bend │ ├── tree_syntax.bend │ ├── use_id.bend │ ├── use_shadow.bend │ └── used_once_names.bend ├── encode_pattern_match │ ├── adt_tup_era.bend │ ├── and3.bend │ ├── bool.bend │ ├── bool_tup.bend │ ├── box.bend │ ├── common.bend │ ├── concat.bend │ ├── concat_def.bend │ ├── def_tups.bend │ ├── definition_merge.bend │ ├── expr.bend │ ├── flatten_era_pat.bend │ ├── full_map.bend │ ├── is_some_some.bend │ ├── list_merge_sort.bend │ ├── list_str_encoding_undeclared_fn.bend │ ├── list_str_encoding_undeclared_map.bend │ ├── match_adt_unscoped_in_arm.bend │ ├── match_adt_unscoped_lambda.bend │ ├── match_adt_unscoped_var.bend │ ├── match_auto_linearization.bend │ ├── match_bind.bend │ ├── match_num_adt_tup_parser.bend │ ├── match_num_pred.bend │ ├── match_syntax.bend │ ├── merge_recursive.bend │ ├── no_patterns.bend │ ├── non_matching_fst_arg.bend │ ├── ntup_sum.bend │ ├── pattern_match_encoding.bend │ ├── switch_in_switch_arg.bend │ ├── var_only.bend │ └── weekday.bend ├── hangs │ ├── bad_dup_interaction.bend │ └── recursive_with_unscoped.bend ├── import_system │ ├── import_ctr_syntax.bend │ ├── import_main.bend │ ├── import_main2.bend │ ├── import_main3.bend │ ├── import_type.bend │ ├── import_types.bend │ ├── imports.bend │ ├── imports_alias.bend │ ├── imports_alias_shadow.bend │ ├── imports_conflict.bend │ ├── imports_file_and_dir.bend │ ├── imports_file_and_dir_conflict.bend │ ├── imports_shadow.bend │ ├── imports_shadow2.bend │ └── lib │ │ ├── MyOption.bend │ │ ├── a.bend │ │ ├── a │ │ └── b.bend │ │ ├── bool_xor.bend │ │ ├── ctr_type.bend │ │ ├── defs.bend │ │ ├── file_and_dir.bend │ │ ├── file_and_dir │ │ ├── w.bend │ │ └── y.bend │ │ ├── folder │ │ ├── import_entry3.bend │ │ └── myFun.bend │ │ ├── import_entry.bend │ │ ├── import_entry2.bend │ │ ├── myFun.bend │ │ ├── nums.bend │ │ └── types.bend ├── io │ ├── eof.txt │ ├── load.bend │ ├── load.txt │ ├── load_fail.bend │ ├── read_line_eof.bend │ ├── store.bend │ ├── store.txt │ ├── store_fail.bend │ └── utf8.bend ├── linear_readback │ └── church_mul.bend ├── mutual_recursion │ ├── a_b_c.bend │ ├── len.bend │ ├── merged.bend │ ├── multiple.bend │ └── odd_even.bend ├── parse_file │ ├── bad_floating.bend │ ├── bend_missing_else.bend │ ├── era.bend │ ├── fold_missing_case.bend │ ├── fun_def.bend │ ├── fun_def_name.bend │ ├── if_missing_else.bend │ ├── imp_map.bend │ ├── imp_program.bend │ ├── match_missing_case.bend │ ├── multi_line_comment.bend │ ├── redefinition_builtin.bend │ ├── redefinition_ctr_with_fun.bend │ ├── redefinition_fun_imp.bend │ ├── redefinition_imp_fun.bend │ ├── redefinition_type_with_object.bend │ ├── redefinition_with_def_between.bend │ ├── redefinition_with_object_between.bend │ ├── redefinition_with_type_between.bend │ ├── repeated_adt_name.bend │ ├── repeated_datatype_name.bend │ ├── scape_chars.bend │ ├── strange_pattern.bend │ ├── tab.bend │ ├── tup_with_signed.bend │ ├── tuple_assign.bend │ ├── tuple_commas.bend │ └── tuple_need_parens.bend ├── prelude │ ├── applies_function_to_map.bend │ ├── get_values_from_map.bend │ ├── lists_to_map.bend │ ├── map_checked_test.bend │ ├── map_contains_test.bend │ └── set_node_when_empty.bend ├── readback_hvm │ ├── addition.bend │ ├── bad_net.bend │ ├── bad_net1.bend │ ├── bad_net3.bend │ ├── complicated_dup.bend │ ├── fst_snd.bend │ ├── id.bend │ ├── invalid_op2_op2.bend │ ├── match.bend │ ├── nested_let.bend │ ├── nested_tup.bend │ ├── number.bend │ ├── simple_tup.bend │ └── tup_add.bend ├── run_entrypoint │ └── foo.bend ├── run_file │ ├── 360_no_scope.bend │ ├── addition.bend │ ├── adt_match.bend │ ├── adt_match_wrong_tag.bend │ ├── adt_option_and.bend │ ├── adt_wrong_tag.bend │ ├── and.bend │ ├── basic_num_ops.bend │ ├── bend_fold.bend │ ├── bitonic_sort.bend │ ├── bitonic_sort_lam.bend │ ├── box.bend │ ├── branch_statements_assignment.bend │ ├── callcc.bend │ ├── chars.bend │ ├── chars_forall.bend │ ├── chars_lambda.bend │ ├── checked_scott_encoding.bend │ ├── comprehension.bend │ ├── def_bool_num.bend │ ├── def_num_bool.bend │ ├── def_tups.bend │ ├── do_block_mixed.bend │ ├── dup_global_lam.bend │ ├── empty.bend │ ├── encode_decode_utf8.bend │ ├── erased_side_effect.bend │ ├── escape_sequences.bend │ ├── eta.bend │ ├── example.bend │ ├── exp.bend │ ├── expand_main_combinator.bend │ ├── expand_main_list.bend │ ├── extracted_match_pred.bend │ ├── filter_bool_id.bend │ ├── floating_numbers.bend │ ├── fold_with_state.bend │ ├── guide_bend_7tree.bend │ ├── guide_bend_sequential.bend │ ├── guide_bend_sum_tree.bend │ ├── guide_bitonic_sort.bend │ ├── guide_circle_area.bend │ ├── guide_distance_4args.bend │ ├── guide_distance_obj.bend │ ├── guide_distance_tup.bend │ ├── guide_enumerate.bend │ ├── guide_if_age.bend │ ├── guide_is_even_num.bend │ ├── guide_is_even_str.bend │ ├── guide_list_ctrs.bend │ ├── guide_list_match.bend │ ├── guide_list_sugar.bend │ ├── guide_mul2_inline.bend │ ├── guide_mul2_rec.bend │ ├── guide_shader_dummy.bend │ ├── guide_sum.bend │ ├── hvm_def_cast.bend │ ├── hvm_def_two_defs.bend │ ├── id_underscore.bend │ ├── imp_empty_literals.bend │ ├── imp_use_statement.bend │ ├── kind_compiled_tree_sum.bend │ ├── lam_op2.bend │ ├── lam_op2_nested.bend │ ├── let_tup_readback.bend │ ├── linearize_match.bend │ ├── list_resugar.bend │ ├── list_reverse.bend │ ├── list_reverse_imp.bend │ ├── list_take.bend │ ├── list_to_tree.bend │ ├── mapper_syntax.bend │ ├── match.bend │ ├── match_builtins.bend │ ├── match_mult_linearization.bend │ ├── match_num_adt_tup_parser.bend │ ├── match_num_explicit_bind.bend │ ├── match_num_num_to_char.bend │ ├── match_num_succ_complex.bend │ ├── match_str.bend │ ├── match_sup.bend │ ├── match_vars.bend │ ├── math.bend │ ├── merge_sort.bend │ ├── mixed_syntax.bend │ ├── names_hyphen.bend │ ├── names_hyphen_toplevel.bend │ ├── nat_add.bend │ ├── nat_add_num.bend │ ├── nested_list_and_string.bend │ ├── nested_map_get.bend │ ├── nested_map_set.bend │ ├── nested_str.bend │ ├── num_cast.bend │ ├── num_match_missing_var.bend │ ├── num_pred.bend │ ├── open.bend │ ├── open_object.bend │ ├── open_too_many_ctrs.bend │ ├── open_undefined_type.bend │ ├── ops.bend │ ├── override_list_ctr.bend │ ├── override_str_ctr.bend │ ├── pred.bend │ ├── queue.bend │ ├── radix_sort_ctr.bend │ ├── readback_hvm1_main.bend │ ├── readback_list_other_ctr.bend │ ├── readback_num_ops.bend │ ├── recursive_bind.bend │ ├── recursive_combinator.bend │ ├── recursive_combinator_nested.bend │ ├── recursive_match_native.bend │ ├── ref_resolution.bend │ ├── repeated_name_truncation.bend │ ├── scopeless_discard.bend │ ├── str_concat.bend │ ├── str_inc.bend │ ├── str_inc_eta.bend │ ├── str_len.bend │ ├── strict_monad_fn.bend │ ├── sum_tree.bend │ ├── sup_app.bend │ ├── sup_reconstruction.bend │ ├── superposed_is_even.bend │ ├── tagged_lam.bend │ ├── tree_to_list.bend │ ├── tup_list_strings.bend │ ├── tup_reconstruction.bend │ ├── tuple_eta.bend │ ├── tuple_rots.bend │ ├── unaplied_str.bend │ ├── unbound_wrap.bend │ ├── unscoped_never_used.bend │ ├── unused_dup_var.bend │ ├── unused_main_var.bend │ ├── world.bend │ └── wrong_string.bend ├── run_lazy │ ├── addition.bend │ ├── adt_match.bend │ ├── adt_match_wrong_tag.bend │ ├── adt_option_and.bend │ ├── adt_wrong_tag.bend │ ├── and.bend │ ├── bitonic_sort.bend │ ├── bitonic_sort_lam.bend │ ├── box.bend │ ├── box2.bend │ ├── callcc.bend │ ├── chars.bend │ ├── def_tups.bend │ ├── dup_global_lam.bend │ ├── eta.bend │ ├── example.bend │ ├── exp.bend │ ├── extracted_match_pred.bend │ ├── field_vectorization.bend │ ├── lam_op2.bend │ ├── lam_op2_nested.bend │ ├── let_tup_readback.bend │ ├── linearize_match.bend │ ├── list_resugar.bend │ ├── list_reverse.bend │ ├── list_take.bend │ ├── list_to_tree.bend │ ├── match.bend │ ├── match_builtins.bend │ ├── match_mult_linearization.bend │ ├── match_num_explicit_bind.bend │ ├── merge_sort.bend │ ├── nested_list_and_string.bend │ ├── nested_str.bend │ ├── num_pred.bend │ ├── queue.bend │ ├── radix_sort_ctr.bend │ ├── recursive_match_native.bend │ ├── scopeless_discard.bend │ ├── str_concat.bend │ ├── str_inc.bend │ ├── str_inc_eta.bend │ ├── str_len.bend │ ├── sum_tree.bend │ ├── sup_app.bend │ ├── sup_reconstruction.bend │ ├── superposed_is_even.bend │ ├── tagged_lam.bend │ ├── tup_reconstruction.bend │ ├── tuple_rots.bend │ ├── unaplied_str.bend │ ├── unused_dup_var.bend │ ├── world.bend │ └── wrong_string.bend ├── scott_triggers_unused │ └── test.bend └── simplify_matches │ ├── adt_tup_era.bend │ ├── already_flat.bend │ ├── bits_dec.bend │ ├── complex_with_case.bend │ ├── double_unwrap_box.bend │ ├── double_unwrap_maybe.bend │ ├── flatten_with_terminal.bend │ ├── irrefutable_case.bend │ ├── linearize_match_all.bend │ ├── match_str.bend │ ├── nested.bend │ ├── nested2.bend │ ├── nested_0ary.bend │ ├── redundant_with_era.bend │ └── wrong_fn_arity.bend └── snapshots ├── check_file__fail_type_bad_rec_fn_adt.bend.snap ├── check_file__non_exaustive_limit.bend.snap ├── check_file__type_err_match_arm.bend.snap ├── cli__compile_all.bend.snap ├── cli__compile_inline.bend.snap ├── cli__compile_no_opts.bend.snap ├── cli__compile_pre_reduce.bend.snap ├── cli__compile_strict_loop.bend.snap ├── cli__compile_wrong_opt.bend.snap ├── cli__custom_hvm_bin.bend.snap ├── cli__debug_list_map.bend.snap ├── cli__debug_u60_to_nat.bend.snap ├── cli__desugar_bool_scott.bend.snap ├── cli__desugar_float_combinators.bend.snap ├── cli__desugar_linearize_matches.bend.snap ├── cli__desugar_linearize_matches_alt.bend.snap ├── cli__desugar_merge.bend.snap ├── cli__desugar_pretty.bend.snap ├── cli__desugar_prune.bend.snap ├── cli__gen_hvm_no_eta_by_default.bend.snap ├── cli__input_file_not_found.bend.snap ├── cli__net_size_too_large.bend.snap ├── cli__no_check_net_size.bend.snap ├── cli__run_add.bend.snap ├── cli__run_pretty.bend.snap ├── cli__tuple_readback.bend.snap ├── cli__warn_and_err.bend.snap ├── compile_entrypoint__foo.bend.snap ├── compile_file__360_no_scope.bend.snap ├── compile_file__add_args.bend.snap ├── compile_file__addition.bend.snap ├── compile_file__addition_const.bend.snap ├── compile_file__ask_outside_do.bend.snap ├── compile_file__church_one.bend.snap ├── compile_file__church_zero.bend.snap ├── compile_file__complicated_dup.bend.snap ├── compile_file__crlf.bend.snap ├── compile_file__cyclic_global_lam.bend.snap ├── compile_file__def_pat_unscoped.bend.snap ├── compile_file__dup_apply.bend.snap ├── compile_file__dup_global_lam.bend.snap ├── compile_file__elif.bend.snap ├── compile_file__elif_fun.bend.snap ├── compile_file__elif_no_else.bend.snap ├── compile_file__erased_dup.bend.snap ├── compile_file__error_data_def_name.bend.snap ├── compile_file__error_messages.bend.snap ├── compile_file__f24_oper.bend.snap ├── compile_file__fst_snd.bend.snap ├── compile_file__global_lam.bend.snap ├── compile_file__i24_oper.bend.snap ├── compile_file__id.bend.snap ├── compile_file__infer_dup.bend.snap ├── compile_file__inlining.bend.snap ├── compile_file__just_a_name.bend.snap ├── compile_file__just_data.bend.snap ├── compile_file__just_paren.bend.snap ├── compile_file__just_rule_paren.bend.snap ├── compile_file__let_substitution.bend.snap ├── compile_file__let_tup.bend.snap ├── compile_file__lets.bend.snap ├── compile_file__long_name.bend.snap ├── compile_file__match.bend.snap ├── compile_file__mismatched_ask_statements.bend.snap ├── compile_file__missing_adt_eq.bend.snap ├── compile_file__missing_ctrs.bend.snap ├── compile_file__missing_pat.bend.snap ├── compile_file__names_starting_with_keywords.bend.snap ├── compile_file__nested_ctr_wrong_arity.bend.snap ├── compile_file__nested_let.bend.snap ├── compile_file__number_too_large.bend.snap ├── compile_file__nums.bend.snap ├── compile_file__op2.bend.snap ├── compile_file__redex_order.bend.snap ├── compile_file__redex_order_recursive.bend.snap ├── compile_file__ref_to_main.bend.snap ├── compile_file__ref_to_ref.bend.snap ├── compile_file__repeated_bind_rule.bend.snap ├── compile_file__simple_tup.bend.snap ├── compile_file__switch_all_patterns.bend.snap ├── compile_file__switch_in_switch_arg.bend.snap ├── compile_file__switch_incomplete.bend.snap ├── compile_file__switch_unscoped_lambda.bend.snap ├── compile_file__top_level_name_slashslash.bend.snap ├── compile_file__tup.bend.snap ├── compile_file__tup_add.bend.snap ├── compile_file__unbound_unscoped_var.bend.snap ├── compile_file__unbound_var.bend.snap ├── compile_file__unbound_var_scope.bend.snap ├── compile_file__unbound_with_tup_pattern.bend.snap ├── compile_file__underscore.bend.snap ├── compile_file__unexpected_top_char.bend.snap ├── compile_file__unscoped_dup_use.bend.snap ├── compile_file__unscoped_supercombinator.bend.snap ├── compile_file__unused_let.bend.snap ├── compile_file__unused_unscoped_bind.bend.snap ├── compile_file__variable_name_double_underscore.bend.snap ├── compile_file__vicious_circles.bend.snap ├── compile_file__warn_and_err.bend.snap ├── compile_file__with_clause_parse_err.bend.snap ├── compile_file__wrong_ctr_arity.bend.snap ├── compile_file__wrong_ctr_var_arity.bend.snap ├── compile_file__wrong_nums.bend.snap ├── compile_file__wrong_unicode_escape.bend.snap ├── compile_file_o_all__addition.bend.snap ├── compile_file_o_all__addition_var_fst.bend.snap ├── compile_file_o_all__adt_option_and.bend.snap ├── compile_file_o_all__adt_string.bend.snap ├── compile_file_o_all__and.bend.snap ├── compile_file_o_all__bad_parens_making_erased_let.bend.snap ├── compile_file_o_all__bool.bend.snap ├── compile_file_o_all__cyclic_dup.bend.snap ├── compile_file_o_all__double_main.bend.snap ├── compile_file_o_all__eta_chain.bend.snap ├── compile_file_o_all__ex0.bend.snap ├── compile_file_o_all__ex2.bend.snap ├── compile_file_o_all__example.bend.snap ├── compile_file_o_all__exp.bend.snap ├── compile_file_o_all__expr.bend.snap ├── compile_file_o_all__extracted_match_pred.bend.snap ├── compile_file_o_all__fst.bend.snap ├── compile_file_o_all__fst_fst.bend.snap ├── compile_file_o_all__hvm1_main.bend.snap ├── compile_file_o_all__inline_app.bend.snap ├── compile_file_o_all__inlining.bend.snap ├── compile_file_o_all__linearize_match.bend.snap ├── compile_file_o_all__list_merge_sort.bend.snap ├── compile_file_o_all__list_reverse.bend.snap ├── compile_file_o_all__match_adt_non_exhaustive.bend.snap ├── compile_file_o_all__match_dup_and_reconstruction.bend.snap ├── compile_file_o_all__match_mult_linearization.bend.snap ├── compile_file_o_all__match_num_explicit_bind.bend.snap ├── compile_file_o_all__match_tup.bend.snap ├── compile_file_o_all__merge_definitions.bend.snap ├── compile_file_o_all__non_exhaustive_and.bend.snap ├── compile_file_o_all__non_exhaustive_different_types.bend.snap ├── compile_file_o_all__non_exhaustive_pattern.bend.snap ├── compile_file_o_all__non_exhaustive_tree.bend.snap ├── compile_file_o_all__num_pattern_with_var.bend.snap ├── compile_file_o_all__recursive_combinator_inactive.bend.snap ├── compile_file_o_all__repeated_name_trucation.bend.snap ├── compile_file_o_all__scrutinee_reconstruction.bend.snap ├── compile_file_o_all__self_ref.bend.snap ├── compile_file_o_all__snd.bend.snap ├── compile_file_o_all__spacing.bend.snap ├── compile_file_o_all__spacing2.bend.snap ├── compile_file_o_all__str.bend.snap ├── compile_file_o_all__sum_predicates.bend.snap ├── compile_file_o_all__tagged_dup.bend.snap ├── compile_file_o_all__tagged_lam.bend.snap ├── compile_file_o_all__tagged_sup.bend.snap ├── compile_file_o_all__unapplied_eta.bend.snap ├── compile_file_o_all__unscoped_eta.bend.snap ├── compile_file_o_all__var_shadows_ref.bend.snap ├── compile_file_o_all__weekday.bend.snap ├── compile_file_o_no_all__bitonic_sort.bend.snap ├── compile_file_o_no_all__list_reverse.bend.snap ├── compile_file_o_no_all__redex_order.bend.snap ├── compile_file_o_no_all__sum_tree.bend.snap ├── compile_long__huge_tree.bend.snap ├── compile_long__long_str_file.bend.snap ├── desugar_file__ask_branch.bend.snap ├── desugar_file__bind_syntax.bend.snap ├── desugar_file__combinators.bend.snap ├── desugar_file__deref_loop.bend.snap ├── desugar_file__dup_linearization.bend.snap ├── desugar_file__local_def_shadow.bend.snap ├── desugar_file__main_aux.bend.snap ├── desugar_file__mapper_syntax.bend.snap ├── desugar_file__switch_with_use.bend.snap ├── desugar_file__tree_syntax.bend.snap ├── desugar_file__use_id.bend.snap ├── desugar_file__use_shadow.bend.snap ├── desugar_file__used_once_names.bend.snap ├── encode_pattern_match__adt_tup_era.bend.snap ├── encode_pattern_match__and3.bend.snap ├── encode_pattern_match__bool.bend.snap ├── encode_pattern_match__bool_tup.bend.snap ├── encode_pattern_match__box.bend.snap ├── encode_pattern_match__common.bend.snap ├── encode_pattern_match__concat.bend.snap ├── encode_pattern_match__concat_def.bend.snap ├── encode_pattern_match__def_tups.bend.snap ├── encode_pattern_match__definition_merge.bend.snap ├── encode_pattern_match__expr.bend.snap ├── encode_pattern_match__flatten_era_pat.bend.snap ├── encode_pattern_match__full_map.bend.snap ├── encode_pattern_match__is_some_some.bend.snap ├── encode_pattern_match__list_merge_sort.bend.snap ├── encode_pattern_match__list_str_encoding_undeclared_fn.bend.snap ├── encode_pattern_match__list_str_encoding_undeclared_map.bend.snap ├── encode_pattern_match__match_adt_unscoped_in_arm.bend.snap ├── encode_pattern_match__match_adt_unscoped_lambda.bend.snap ├── encode_pattern_match__match_adt_unscoped_var.bend.snap ├── encode_pattern_match__match_auto_linearization.bend.snap ├── encode_pattern_match__match_bind.bend.snap ├── encode_pattern_match__match_num_adt_tup_parser.bend.snap ├── encode_pattern_match__match_num_pred.bend.snap ├── encode_pattern_match__match_syntax.bend.snap ├── encode_pattern_match__merge_recursive.bend.snap ├── encode_pattern_match__no_patterns.bend.snap ├── encode_pattern_match__non_matching_fst_arg.bend.snap ├── encode_pattern_match__ntup_sum.bend.snap ├── encode_pattern_match__pattern_match_encoding.bend.snap ├── encode_pattern_match__switch_in_switch_arg.bend.snap ├── encode_pattern_match__var_only.bend.snap ├── encode_pattern_match__weekday.bend.snap ├── examples__bitonic_sort.bend.snap ├── examples__bubble_sort.bend.snap ├── examples__callcc.bend.snap ├── examples__example_fun.bend.snap ├── examples__fib.bend.snap ├── examples__fusing_add.bend.snap ├── examples__fusing_not.bend.snap ├── examples__gen_tree.bend.snap ├── examples__hello_world.bend.snap ├── examples__insertion_sort.bend.snap ├── examples__list.bend.snap ├── examples__parallel_and.bend.snap ├── examples__parallel_hello_world.bend.snap ├── examples__parallel_sum.bend.snap ├── examples__queue.bend.snap ├── examples__quick_sort.bend.snap ├── examples__radix_sort.bend.snap ├── import_system__import_ctr_syntax.bend.snap ├── import_system__import_main.bend.snap ├── import_system__import_main2.bend.snap ├── import_system__import_main3.bend.snap ├── import_system__import_type.bend.snap ├── import_system__import_types.bend.snap ├── import_system__imports.bend.snap ├── import_system__imports_alias.bend.snap ├── import_system__imports_alias_shadow.bend.snap ├── import_system__imports_conflict.bend.snap ├── import_system__imports_file_and_dir.bend.snap ├── import_system__imports_file_and_dir_conflict.bend.snap ├── import_system__imports_shadow.bend.snap ├── import_system__imports_shadow2.bend.snap ├── io__load.bend.snap ├── io__load_fail.bend.snap ├── io__read_line_eof.bend.snap ├── io__store.bend.snap ├── io__store_fail.bend.snap ├── io__utf8.bend.snap ├── linear_readback__church_mul.bend.snap ├── mutual_recursion__a_b_c.bend.snap ├── mutual_recursion__len.bend.snap ├── mutual_recursion__merged.bend.snap ├── mutual_recursion__multiple.bend.snap ├── mutual_recursion__odd_even.bend.snap ├── parse_file__bad_floating.bend.snap ├── parse_file__bend_missing_else.bend.snap ├── parse_file__era.bend.snap ├── parse_file__fold_missing_case.bend.snap ├── parse_file__fun_def.bend.snap ├── parse_file__fun_def_name.bend.snap ├── parse_file__if_missing_else.bend.snap ├── parse_file__imp_map.bend.snap ├── parse_file__imp_program.bend.snap ├── parse_file__match_missing_case.bend.snap ├── parse_file__multi_line_comment.bend.snap ├── parse_file__redefinition_builtin.bend.snap ├── parse_file__redefinition_ctr_with_fun.bend.snap ├── parse_file__redefinition_fun_imp.bend.snap ├── parse_file__redefinition_imp_fun.bend.snap ├── parse_file__redefinition_type_with_object.bend.snap ├── parse_file__redefinition_with_def_between.bend.snap ├── parse_file__redefinition_with_object_between.bend.snap ├── parse_file__redefinition_with_type_between.bend.snap ├── parse_file__repeated_adt_name.bend.snap ├── parse_file__repeated_datatype_name.bend.snap ├── parse_file__scape_chars.bend.snap ├── parse_file__strange_pattern.bend.snap ├── parse_file__tab.bend.snap ├── parse_file__tup_with_signed.bend.snap ├── parse_file__tuple_assign.bend.snap ├── parse_file__tuple_commas.bend.snap ├── parse_file__tuple_need_parens.bend.snap ├── prelude__applies_function_to_map.bend.snap ├── prelude__get_values_from_map.bend.snap ├── prelude__lists_to_map.bend.snap ├── prelude__map_checked_test.bend.snap ├── prelude__map_contains_test.bend.snap ├── prelude__set_node_when_empty.bend.snap ├── readback_hvm__addition.bend.snap ├── readback_hvm__bad_net.bend.snap ├── readback_hvm__bad_net1.bend.snap ├── readback_hvm__bad_net3.bend.snap ├── readback_hvm__complicated_dup.bend.snap ├── readback_hvm__fst_snd.bend.snap ├── readback_hvm__id.bend.snap ├── readback_hvm__invalid_op2_op2.bend.snap ├── readback_hvm__match.bend.snap ├── readback_hvm__nested_let.bend.snap ├── readback_hvm__nested_tup.bend.snap ├── readback_hvm__number.bend.snap ├── readback_hvm__simple_tup.bend.snap ├── readback_hvm__tup_add.bend.snap ├── run_file__360_no_scope.bend.snap ├── run_file__addition.bend.snap ├── run_file__adt_match.bend.snap ├── run_file__adt_match_wrong_tag.bend.snap ├── run_file__adt_option_and.bend.snap ├── run_file__adt_wrong_tag.bend.snap ├── run_file__and.bend.snap ├── run_file__basic_num_ops.bend.snap ├── run_file__bend_fold.bend.snap ├── run_file__bitonic_sort.bend.snap ├── run_file__bitonic_sort_lam.bend.snap ├── run_file__box.bend.snap ├── run_file__branch_statements_assignment.bend.snap ├── run_file__callcc.bend.snap ├── run_file__chars.bend.snap ├── run_file__chars_forall.bend.snap ├── run_file__chars_lambda.bend.snap ├── run_file__checked_scott_encoding.bend.snap ├── run_file__comprehension.bend.snap ├── run_file__def_bool_num.bend.snap ├── run_file__def_num_bool.bend.snap ├── run_file__def_tups.bend.snap ├── run_file__do_block_mixed.bend.snap ├── run_file__dup_global_lam.bend.snap ├── run_file__empty.bend.snap ├── run_file__encode_decode_utf8.bend.snap ├── run_file__erased_side_effect.bend.snap ├── run_file__escape_sequences.bend.snap ├── run_file__eta.bend.snap ├── run_file__example.bend.snap ├── run_file__exp.bend.snap ├── run_file__expand_main_combinator.bend.snap ├── run_file__expand_main_list.bend.snap ├── run_file__extracted_match_pred.bend.snap ├── run_file__filter_bool_id.bend.snap ├── run_file__floating_numbers.bend.snap ├── run_file__fold_with_state.bend.snap ├── run_file__guide_bend_7tree.bend.snap ├── run_file__guide_bend_sequential.bend.snap ├── run_file__guide_bend_sum_tree.bend.snap ├── run_file__guide_bitonic_sort.bend.snap ├── run_file__guide_circle_area.bend.snap ├── run_file__guide_distance_4args.bend.snap ├── run_file__guide_distance_obj.bend.snap ├── run_file__guide_distance_tup.bend.snap ├── run_file__guide_enumerate.bend.snap ├── run_file__guide_if_age.bend.snap ├── run_file__guide_is_even_num.bend.snap ├── run_file__guide_is_even_str.bend.snap ├── run_file__guide_list_ctrs.bend.snap ├── run_file__guide_list_match.bend.snap ├── run_file__guide_list_sugar.bend.snap ├── run_file__guide_mul2_inline.bend.snap ├── run_file__guide_mul2_rec.bend.snap ├── run_file__guide_shader_dummy.bend.snap ├── run_file__guide_sum.bend.snap ├── run_file__hvm_def_cast.bend.snap ├── run_file__hvm_def_two_defs.bend.snap ├── run_file__id_underscore.bend.snap ├── run_file__imp_empty_literals.bend.snap ├── run_file__imp_use_statement.bend.snap ├── run_file__kind_compiled_tree_sum.bend.snap ├── run_file__lam_op2.bend.snap ├── run_file__lam_op2_nested.bend.snap ├── run_file__let_tup_readback.bend.snap ├── run_file__linearize_match.bend.snap ├── run_file__list_resugar.bend.snap ├── run_file__list_reverse.bend.snap ├── run_file__list_reverse_imp.bend.snap ├── run_file__list_take.bend.snap ├── run_file__list_to_tree.bend.snap ├── run_file__mapper_syntax.bend.snap ├── run_file__match.bend.snap ├── run_file__match_builtins.bend.snap ├── run_file__match_mult_linearization.bend.snap ├── run_file__match_num_adt_tup_parser.bend.snap ├── run_file__match_num_explicit_bind.bend.snap ├── run_file__match_num_num_to_char.bend.snap ├── run_file__match_num_succ_complex.bend.snap ├── run_file__match_str.bend.snap ├── run_file__match_sup.bend.snap ├── run_file__match_vars.bend.snap ├── run_file__math.bend.snap ├── run_file__merge_sort.bend.snap ├── run_file__mixed_syntax.bend.snap ├── run_file__names_hyphen.bend.snap ├── run_file__names_hyphen_toplevel.bend.snap ├── run_file__nat_add.bend.snap ├── run_file__nat_add_num.bend.snap ├── run_file__nested_list_and_string.bend.snap ├── run_file__nested_map_get.bend.snap ├── run_file__nested_map_set.bend.snap ├── run_file__nested_str.bend.snap ├── run_file__num_cast.bend.snap ├── run_file__num_match_missing_var.bend.snap ├── run_file__num_pred.bend.snap ├── run_file__open.bend.snap ├── run_file__open_object.bend.snap ├── run_file__open_too_many_ctrs.bend.snap ├── run_file__open_undefined_type.bend.snap ├── run_file__ops.bend.snap ├── run_file__override_list_ctr.bend.snap ├── run_file__override_str_ctr.bend.snap ├── run_file__pred.bend.snap ├── run_file__queue.bend.snap ├── run_file__radix_sort_ctr.bend.snap ├── run_file__readback_hvm1_main.bend.snap ├── run_file__readback_list_other_ctr.bend.snap ├── run_file__readback_num_ops.bend.snap ├── run_file__recursive_bind.bend.snap ├── run_file__recursive_combinator.bend.snap ├── run_file__recursive_combinator_nested.bend.snap ├── run_file__recursive_match_native.bend.snap ├── run_file__ref_resolution.bend.snap ├── run_file__repeated_name_truncation.bend.snap ├── run_file__scopeless_discard.bend.snap ├── run_file__str_concat.bend.snap ├── run_file__str_inc.bend.snap ├── run_file__str_inc_eta.bend.snap ├── run_file__str_len.bend.snap ├── run_file__strict_monad_fn.bend.snap ├── run_file__sum_tree.bend.snap ├── run_file__sup_app.bend.snap ├── run_file__sup_reconstruction.bend.snap ├── run_file__superposed_is_even.bend.snap ├── run_file__tagged_lam.bend.snap ├── run_file__tree_to_list.bend.snap ├── run_file__tup_list_strings.bend.snap ├── run_file__tup_reconstruction.bend.snap ├── run_file__tuple_eta.bend.snap ├── run_file__tuple_rots.bend.snap ├── run_file__unaplied_str.bend.snap ├── run_file__unbound_wrap.bend.snap ├── run_file__unscoped_never_used.bend.snap ├── run_file__unused_dup_var.bend.snap ├── run_file__unused_main_var.bend.snap ├── run_file__world.bend.snap ├── run_file__wrong_string.bend.snap ├── scott_triggers_unused__test.bend.snap ├── simplify_matches__adt_tup_era.bend.snap ├── simplify_matches__already_flat.bend.snap ├── simplify_matches__bits_dec.bend.snap ├── simplify_matches__complex_with_case.bend.snap ├── simplify_matches__double_unwrap_box.bend.snap ├── simplify_matches__double_unwrap_maybe.bend.snap ├── simplify_matches__flatten_with_terminal.bend.snap ├── simplify_matches__irrefutable_case.bend.snap ├── simplify_matches__linearize_match_all.bend.snap ├── simplify_matches__match_str.bend.snap ├── simplify_matches__nested.bend.snap ├── simplify_matches__nested2.bend.snap ├── simplify_matches__nested_0ary.bend.snap ├── simplify_matches__redundant_with_era.bend.snap └── simplify_matches__wrong_fn_arity.bend.snap /.github/ISSUE_TEMPLATE/bug_report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/.github/ISSUE_TEMPLATE/bug_report.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/.github/ISSUE_TEMPLATE/config.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/workflows/checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/.github/workflows/checks.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | *.snap.new 3 | .out.hvm 4 | .DS_Store 5 | .vscode -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/.rustfmt.toml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/Cargo.toml -------------------------------------------------------------------------------- /FAQ.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/FAQ.md -------------------------------------------------------------------------------- /FEATURES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/FEATURES.md -------------------------------------------------------------------------------- /GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/GUIDE.md -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/README.md -------------------------------------------------------------------------------- /cspell.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/cspell.json -------------------------------------------------------------------------------- /docs/builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/builtins.md -------------------------------------------------------------------------------- /docs/cli-arguments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/cli-arguments.md -------------------------------------------------------------------------------- /docs/compilation-and-readback.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/compilation-and-readback.md -------------------------------------------------------------------------------- /docs/compiler-options.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/compiler-options.md -------------------------------------------------------------------------------- /docs/defining-data-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/defining-data-types.md -------------------------------------------------------------------------------- /docs/dups-and-sups.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/dups-and-sups.md -------------------------------------------------------------------------------- /docs/ffi.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/ffi.md -------------------------------------------------------------------------------- /docs/imports.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/imports.md -------------------------------------------------------------------------------- /docs/lazy-definitions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/lazy-definitions.md -------------------------------------------------------------------------------- /docs/native-numbers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/native-numbers.md -------------------------------------------------------------------------------- /docs/pattern-matching.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/pattern-matching.md -------------------------------------------------------------------------------- /docs/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/syntax.md -------------------------------------------------------------------------------- /docs/type-checking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/type-checking.md -------------------------------------------------------------------------------- /docs/using-scopeless-lambdas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/using-scopeless-lambdas.md -------------------------------------------------------------------------------- /docs/writing-fusing-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/docs/writing-fusing-functions.md -------------------------------------------------------------------------------- /examples/bitonic_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/bitonic_sort.bend -------------------------------------------------------------------------------- /examples/bubble_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/bubble_sort.bend -------------------------------------------------------------------------------- /examples/callcc.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/callcc.bend -------------------------------------------------------------------------------- /examples/example_fun.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/example_fun.bend -------------------------------------------------------------------------------- /examples/fib.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/fib.bend -------------------------------------------------------------------------------- /examples/fusing_add.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/fusing_add.bend -------------------------------------------------------------------------------- /examples/fusing_not.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/fusing_not.bend -------------------------------------------------------------------------------- /examples/gen_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/gen_tree.bend -------------------------------------------------------------------------------- /examples/hello_world.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/hello_world.bend -------------------------------------------------------------------------------- /examples/insertion_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/insertion_sort.bend -------------------------------------------------------------------------------- /examples/list.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/list.bend -------------------------------------------------------------------------------- /examples/parallel_and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/parallel_and.bend -------------------------------------------------------------------------------- /examples/parallel_sum.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/parallel_sum.bend -------------------------------------------------------------------------------- /examples/queue.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/queue.bend -------------------------------------------------------------------------------- /examples/quick_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/quick_sort.bend -------------------------------------------------------------------------------- /examples/radix_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/examples/radix_sort.bend -------------------------------------------------------------------------------- /justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/justfile -------------------------------------------------------------------------------- /src/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/diagnostics.rs -------------------------------------------------------------------------------- /src/fun/builtins.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/builtins.bend -------------------------------------------------------------------------------- /src/fun/builtins.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/builtins.rs -------------------------------------------------------------------------------- /src/fun/check/check_untyped.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/check_untyped.rs -------------------------------------------------------------------------------- /src/fun/check/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/mod.rs -------------------------------------------------------------------------------- /src/fun/check/set_entrypoint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/set_entrypoint.rs -------------------------------------------------------------------------------- /src/fun/check/shared_names.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/shared_names.rs -------------------------------------------------------------------------------- /src/fun/check/type_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/type_check.rs -------------------------------------------------------------------------------- /src/fun/check/unbound_refs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/unbound_refs.rs -------------------------------------------------------------------------------- /src/fun/check/unbound_vars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/check/unbound_vars.rs -------------------------------------------------------------------------------- /src/fun/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/display.rs -------------------------------------------------------------------------------- /src/fun/load_book.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/load_book.rs -------------------------------------------------------------------------------- /src/fun/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/mod.rs -------------------------------------------------------------------------------- /src/fun/net_to_term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/net_to_term.rs -------------------------------------------------------------------------------- /src/fun/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/parser.rs -------------------------------------------------------------------------------- /src/fun/term_to_net.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/term_to_net.rs -------------------------------------------------------------------------------- /src/fun/transform/apply_args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/apply_args.rs -------------------------------------------------------------------------------- /src/fun/transform/definition_merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/definition_merge.rs -------------------------------------------------------------------------------- /src/fun/transform/definition_pruning.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/definition_pruning.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_bend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_bend.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_fold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_fold.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_match_defs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_match_defs.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_open.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_open.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_use.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_use.rs -------------------------------------------------------------------------------- /src/fun/transform/desugar_with_blocks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/desugar_with_blocks.rs -------------------------------------------------------------------------------- /src/fun/transform/encode_adts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/encode_adts.rs -------------------------------------------------------------------------------- /src/fun/transform/encode_match_terms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/encode_match_terms.rs -------------------------------------------------------------------------------- /src/fun/transform/expand_generated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/expand_generated.rs -------------------------------------------------------------------------------- /src/fun/transform/expand_main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/expand_main.rs -------------------------------------------------------------------------------- /src/fun/transform/fix_match_defs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/fix_match_defs.rs -------------------------------------------------------------------------------- /src/fun/transform/fix_match_terms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/fix_match_terms.rs -------------------------------------------------------------------------------- /src/fun/transform/float_combinators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/float_combinators.rs -------------------------------------------------------------------------------- /src/fun/transform/lift_local_defs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/lift_local_defs.rs -------------------------------------------------------------------------------- /src/fun/transform/linearize_matches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/linearize_matches.rs -------------------------------------------------------------------------------- /src/fun/transform/linearize_vars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/linearize_vars.rs -------------------------------------------------------------------------------- /src/fun/transform/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/mod.rs -------------------------------------------------------------------------------- /src/fun/transform/resolve_refs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/resolve_refs.rs -------------------------------------------------------------------------------- /src/fun/transform/resolve_type_ctrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/resolve_type_ctrs.rs -------------------------------------------------------------------------------- /src/fun/transform/resugar_list.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/resugar_list.rs -------------------------------------------------------------------------------- /src/fun/transform/resugar_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/resugar_string.rs -------------------------------------------------------------------------------- /src/fun/transform/unique_names.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/fun/transform/unique_names.rs -------------------------------------------------------------------------------- /src/hvm/add_recursive_priority.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/add_recursive_priority.rs -------------------------------------------------------------------------------- /src/hvm/check_net_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/check_net_size.rs -------------------------------------------------------------------------------- /src/hvm/eta_reduce.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/eta_reduce.rs -------------------------------------------------------------------------------- /src/hvm/inline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/inline.rs -------------------------------------------------------------------------------- /src/hvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/mod.rs -------------------------------------------------------------------------------- /src/hvm/mutual_recursion.message: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/mutual_recursion.message -------------------------------------------------------------------------------- /src/hvm/mutual_recursion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/mutual_recursion.rs -------------------------------------------------------------------------------- /src/hvm/prune.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/hvm/prune.rs -------------------------------------------------------------------------------- /src/imp/gen_map_get.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imp/gen_map_get.rs -------------------------------------------------------------------------------- /src/imp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imp/mod.rs -------------------------------------------------------------------------------- /src/imp/order_kwargs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imp/order_kwargs.rs -------------------------------------------------------------------------------- /src/imp/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imp/parser.rs -------------------------------------------------------------------------------- /src/imp/to_fun.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imp/to_fun.rs -------------------------------------------------------------------------------- /src/imports/book.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imports/book.rs -------------------------------------------------------------------------------- /src/imports/loader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imports/loader.rs -------------------------------------------------------------------------------- /src/imports/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imports/mod.rs -------------------------------------------------------------------------------- /src/imports/packages.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/imports/packages.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/net/hvm_to_net.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/net/hvm_to_net.rs -------------------------------------------------------------------------------- /src/net/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/net/mod.rs -------------------------------------------------------------------------------- /src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/src/utils.rs -------------------------------------------------------------------------------- /tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests.rs -------------------------------------------------------------------------------- /tests/golden_tests/check_file/non_exaustive_limit.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/check_file/non_exaustive_limit.bend -------------------------------------------------------------------------------- /tests/golden_tests/check_file/type_err_match_arm.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/check_file/type_err_match_arm.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_all.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_all.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_all.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_all.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_inline.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_inline.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_inline.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_inline.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_no_opts.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_no_opts.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_no_opts.bend: -------------------------------------------------------------------------------- 1 | main = * 2 | -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_pre_reduce.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_pre_reduce.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_pre_reduce.bend: -------------------------------------------------------------------------------- 1 | I = (+ 2 3) 2 | 3 | main = * 4 | -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_strict_loop.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_strict_loop.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_strict_loop.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_strict_loop.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_wrong_opt.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/compile_wrong_opt.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/compile_wrong_opt.bend: -------------------------------------------------------------------------------- 1 | main = * 2 | -------------------------------------------------------------------------------- /tests/golden_tests/cli/custom_hvm_bin.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/custom_hvm_bin.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/custom_hvm_bin.bend: -------------------------------------------------------------------------------- 1 | main = @x x -------------------------------------------------------------------------------- /tests/golden_tests/cli/debug_list_map.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/debug_list_map.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/debug_list_map.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/debug_list_map.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/debug_u60_to_nat.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/debug_u60_to_nat.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/debug_u60_to_nat.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/debug_u60_to_nat.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_bool_scott.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_bool_scott.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_bool_scott.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_bool_scott.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_float_combinators.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_float_combinators.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_float_combinators.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_float_combinators.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_linearize_matches.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_linearize_matches.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_linearize_matches.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_linearize_matches.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_merge.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_merge.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_merge.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_merge.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_pretty.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_pretty.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_pretty.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_pretty.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_prune.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/desugar_prune.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/desugar_prune.bend: -------------------------------------------------------------------------------- 1 | id x = x 2 | 3 | main = * 4 | -------------------------------------------------------------------------------- /tests/golden_tests/cli/gen_hvm_no_eta_by_default.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/gen_hvm_no_eta_by_default.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/gen_hvm_no_eta_by_default.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/gen_hvm_no_eta_by_default.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/input_file_not_found.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/input_file_not_found.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/input_file_not_found.bend: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/golden_tests/cli/net_size_too_large.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/net_size_too_large.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/net_size_too_large.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/net_size_too_large.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/no_check_net_size.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/no_check_net_size.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/no_check_net_size.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/no_check_net_size.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/run_add.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/run_add.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/run_add.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/run_add.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/run_pretty.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/run_pretty.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/run_pretty.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/run_pretty.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/tuple_readback.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/tuple_readback.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/tuple_readback.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/tuple_readback.bend -------------------------------------------------------------------------------- /tests/golden_tests/cli/warn_and_err.args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/warn_and_err.args -------------------------------------------------------------------------------- /tests/golden_tests/cli/warn_and_err.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/cli/warn_and_err.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_entrypoint/foo.bend: -------------------------------------------------------------------------------- 1 | bar = λx x 2 | 3 | foo = (bar 2) 4 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/360_no_scope.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/360_no_scope.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/add_args.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/add_args.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/addition.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/addition.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/addition_const.bend: -------------------------------------------------------------------------------- 1 | main = (+ 1 2) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/ask_outside_do.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/ask_outside_do.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/church_one.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/church_one.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/church_zero.bend: -------------------------------------------------------------------------------- 1 | main = λs λz z -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/complicated_dup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/complicated_dup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/crlf.bend: -------------------------------------------------------------------------------- 1 | a = 1 2 | 3 | main = 2 -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/cyclic_global_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/cyclic_global_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/def_pat_unscoped.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/def_pat_unscoped.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/dup_apply.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/dup_apply.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/dup_global_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/dup_global_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/elif.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/elif.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/elif_fun.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/elif_fun.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/elif_no_else.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/elif_no_else.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/erased_dup.bend: -------------------------------------------------------------------------------- 1 | main = λa let {a1 a2} = a; a2 -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/error_messages.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/error_messages.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/f24_oper.bend: -------------------------------------------------------------------------------- 1 | main = (/ (* +124.0928 1.24) (+ 0.0 -235.12235)) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/fst_snd.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/fst_snd.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/global_lam.bend: -------------------------------------------------------------------------------- 1 | main = ((λ$a λa a) $a) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/i24_oper.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/i24_oper.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/id.bend: -------------------------------------------------------------------------------- 1 | main = λa a -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/infer_dup.bend: -------------------------------------------------------------------------------- 1 | main = λa (a a) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/inlining.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/inlining.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/just_a_name.bend: -------------------------------------------------------------------------------- 1 | asdf -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/just_data.bend: -------------------------------------------------------------------------------- 1 | type -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/just_paren.bend: -------------------------------------------------------------------------------- 1 | main = * 2 | ( -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/just_rule_paren.bend: -------------------------------------------------------------------------------- 1 | (rule) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/let_substitution.bend: -------------------------------------------------------------------------------- 1 | main = let x = λa (a a); x -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/let_tup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/let_tup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/lets.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/lets.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/long_name.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/long_name.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/match.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/missing_adt_eq.bend: -------------------------------------------------------------------------------- 1 | type Adt -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/missing_ctrs.bend: -------------------------------------------------------------------------------- 1 | type Adt = -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/missing_pat.bend: -------------------------------------------------------------------------------- 1 | main = @x match x { 2 | : * 3 | } 4 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/nested_let.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/nested_let.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/number_too_large.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/number_too_large.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/nums.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/nums.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/op2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/op2.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/redex_order.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/redex_order.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/ref_to_main.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/ref_to_main.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/ref_to_ref.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/ref_to_ref.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/simple_tup.bend: -------------------------------------------------------------------------------- 1 | main = (0, 42) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/switch_incomplete.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/switch_incomplete.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/tup.bend: -------------------------------------------------------------------------------- 1 | main = let x = ((1, 4), (2, 3)); x -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/tup_add.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/tup_add.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unbound_unscoped_var.bend: -------------------------------------------------------------------------------- 1 | main = @a $a -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unbound_var.bend: -------------------------------------------------------------------------------- 1 | main = a -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unbound_var_scope.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/unbound_var_scope.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unbound_with_tup_pattern.bend: -------------------------------------------------------------------------------- 1 | (Foo (*, *)) = a 2 | 3 | main = * -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/underscore.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/underscore.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unexpected_top_char.bend: -------------------------------------------------------------------------------- 1 | * -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unscoped_dup_use.bend: -------------------------------------------------------------------------------- 1 | main = @$a ($a $a) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unused_let.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/unused_let.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/unused_unscoped_bind.bend: -------------------------------------------------------------------------------- 1 | main = λ$a * -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/variable_name_double_underscore.bend: -------------------------------------------------------------------------------- 1 | def main: 2 | return __this_should_fail__(*) 3 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/vicious_circles.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/vicious_circles.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/warn_and_err.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/warn_and_err.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/wrong_ctr_arity.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file/wrong_ctr_arity.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/wrong_nums.bend: -------------------------------------------------------------------------------- 1 | main = (+ 0b012345 0FA) -------------------------------------------------------------------------------- /tests/golden_tests/compile_file/wrong_unicode_escape.bend: -------------------------------------------------------------------------------- 1 | main = (String.cons '\u{1' "\u2}\u{zxcx}") -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/addition.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/addition.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/addition_var_fst.bend: -------------------------------------------------------------------------------- 1 | main = λx (+ x 1) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/adt_string.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/adt_string.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/and.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/bool.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/bool.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/cyclic_dup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/cyclic_dup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/double_main.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/double_main.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/eta_chain.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/eta_chain.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/ex0.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/ex0.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/ex2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/ex2.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/example.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/example.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/exp.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/exp.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/expr.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/expr.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/fst.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/fst.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/fst_fst.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/fst_fst.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/hvm1_main.bend: -------------------------------------------------------------------------------- 1 | Main = λa a 2 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/inline_app.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/inline_app.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/inlining.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/inlining.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/linearize_match.bend: -------------------------------------------------------------------------------- 1 | main = @a @b switch a { 2 | 0: b; 3 | _: (+ a-1 b); 4 | } 5 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/match_tup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/match_tup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/self_ref.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/self_ref.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/snd.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/snd.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/spacing.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/spacing.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/spacing2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/spacing2.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/str.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/tagged_dup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/tagged_dup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/tagged_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/tagged_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/tagged_sup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/tagged_sup.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/unscoped_eta.bend: -------------------------------------------------------------------------------- 1 | main = @a @$b (a $b) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/var_shadows_ref.bend: -------------------------------------------------------------------------------- 1 | (a) = λx x 2 | (main) = (a (λa a)) 3 | -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_all/weekday.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_all/weekday.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_file_o_no_all/sum_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_file_o_no_all/sum_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_long/huge_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_long/huge_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/compile_long/long_str_file.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/compile_long/long_str_file.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/ask_branch.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/ask_branch.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/bind_syntax.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/bind_syntax.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/combinators.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/combinators.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/deref_loop.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/deref_loop.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/dup_linearization.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/dup_linearization.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/local_def_shadow.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/local_def_shadow.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/main_aux.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/main_aux.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/mapper_syntax.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/mapper_syntax.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/switch_with_use.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/switch_with_use.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/tree_syntax.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/tree_syntax.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/use_id.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/use_id.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/use_shadow.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/use_shadow.bend -------------------------------------------------------------------------------- /tests/golden_tests/desugar_file/used_once_names.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/desugar_file/used_once_names.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/and3.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/and3.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/bool.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/bool.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/bool_tup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/bool_tup.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/box.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/box.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/common.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/common.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/concat.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/concat.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/def_tups.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/def_tups.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/expr.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/expr.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/full_map.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/full_map.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/ntup_sum.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/ntup_sum.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/var_only.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/var_only.bend -------------------------------------------------------------------------------- /tests/golden_tests/encode_pattern_match/weekday.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/encode_pattern_match/weekday.bend -------------------------------------------------------------------------------- /tests/golden_tests/hangs/bad_dup_interaction.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/hangs/bad_dup_interaction.bend -------------------------------------------------------------------------------- /tests/golden_tests/hangs/recursive_with_unscoped.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/hangs/recursive_with_unscoped.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_ctr_syntax.bend: -------------------------------------------------------------------------------- 1 | from lib/ctr_type import Ctr 2 | 3 | main = (Ctr/Foo 2 3) 4 | -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_main.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/import_main.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_main2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/import_main2.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_main3.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/import_main3.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_type.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/import_type.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/import_types.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/import_types.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/imports.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports_alias.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/imports_alias.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports_conflict.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/imports_conflict.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports_file_and_dir_conflict.bend: -------------------------------------------------------------------------------- 1 | from lib/file_and_dir import * 2 | 3 | def main(): 4 | return w 5 | -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports_shadow.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/imports_shadow.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/imports_shadow2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/imports_shadow2.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/MyOption.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/MyOption.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/a.bend: -------------------------------------------------------------------------------- 1 | type b = C -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/a/b.bend: -------------------------------------------------------------------------------- 1 | C = * -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/bool_xor.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/bool_xor.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/ctr_type.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/ctr_type.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/defs.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/defs.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/file_and_dir.bend: -------------------------------------------------------------------------------- 1 | x = 1 2 | 3 | w = 2 -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/file_and_dir/w.bend: -------------------------------------------------------------------------------- 1 | w = 5 2 | -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/file_and_dir/y.bend: -------------------------------------------------------------------------------- 1 | y = 3 2 | 3 | z = 4 -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/folder/myFun.bend: -------------------------------------------------------------------------------- 1 | def myFun(a): 2 | return a -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/import_entry.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/import_entry.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/myFun.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/myFun.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/nums.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/nums.bend -------------------------------------------------------------------------------- /tests/golden_tests/import_system/lib/types.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/import_system/lib/types.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/eof.txt: -------------------------------------------------------------------------------- 1 | text -------------------------------------------------------------------------------- /tests/golden_tests/io/load.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/load.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/load.txt: -------------------------------------------------------------------------------- 1 | Contents 2 | -------------------------------------------------------------------------------- /tests/golden_tests/io/load_fail.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/load_fail.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/read_line_eof.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/read_line_eof.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/store.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/store.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/store.txt: -------------------------------------------------------------------------------- 1 | (Main) = 0 -------------------------------------------------------------------------------- /tests/golden_tests/io/store_fail.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/store_fail.bend -------------------------------------------------------------------------------- /tests/golden_tests/io/utf8.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/io/utf8.bend -------------------------------------------------------------------------------- /tests/golden_tests/linear_readback/church_mul.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/linear_readback/church_mul.bend -------------------------------------------------------------------------------- /tests/golden_tests/mutual_recursion/a_b_c.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/mutual_recursion/a_b_c.bend -------------------------------------------------------------------------------- /tests/golden_tests/mutual_recursion/len.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/mutual_recursion/len.bend -------------------------------------------------------------------------------- /tests/golden_tests/mutual_recursion/merged.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/mutual_recursion/merged.bend -------------------------------------------------------------------------------- /tests/golden_tests/mutual_recursion/multiple.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/mutual_recursion/multiple.bend -------------------------------------------------------------------------------- /tests/golden_tests/mutual_recursion/odd_even.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/mutual_recursion/odd_even.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/bad_floating.bend: -------------------------------------------------------------------------------- 1 | def main: 2 | return 0xA.0xA 3 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/bend_missing_else.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/bend_missing_else.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/era.bend: -------------------------------------------------------------------------------- 1 | (Main) = (*) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/fold_missing_case.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/fold_missing_case.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/fun_def.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/fun_def.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/fun_def_name.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/fun_def_name.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/if_missing_else.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/if_missing_else.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/imp_map.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/imp_map.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/imp_program.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/imp_program.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/match_missing_case.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/match_missing_case.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/multi_line_comment.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/multi_line_comment.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/redefinition_builtin.bend: -------------------------------------------------------------------------------- 1 | def Map/get(m): 2 | return m 3 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/redefinition_ctr_with_fun.bend: -------------------------------------------------------------------------------- 1 | def String/Cons(x): 2 | return x 3 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/redefinition_type_with_object.bend: -------------------------------------------------------------------------------- 1 | object IO { run } 2 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/redefinition_with_object_between.bend: -------------------------------------------------------------------------------- 1 | A = 0 2 | object B 3 | A = 1 -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/repeated_adt_name.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/repeated_adt_name.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/scape_chars.bend: -------------------------------------------------------------------------------- 1 | main = "\\ \n \t \"" 2 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/strange_pattern.bend: -------------------------------------------------------------------------------- 1 | main & = (a b c) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/tab.bend: -------------------------------------------------------------------------------- 1 | def main: 2 | x = 2 3 | return x + 1 4 | -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/tup_with_signed.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/tup_with_signed.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/tuple_assign.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/tuple_assign.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/tuple_commas.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/tuple_commas.bend -------------------------------------------------------------------------------- /tests/golden_tests/parse_file/tuple_need_parens.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/parse_file/tuple_need_parens.bend -------------------------------------------------------------------------------- /tests/golden_tests/prelude/get_values_from_map.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/prelude/get_values_from_map.bend -------------------------------------------------------------------------------- /tests/golden_tests/prelude/lists_to_map.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/prelude/lists_to_map.bend -------------------------------------------------------------------------------- /tests/golden_tests/prelude/map_checked_test.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/prelude/map_checked_test.bend -------------------------------------------------------------------------------- /tests/golden_tests/prelude/map_contains_test.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/prelude/map_contains_test.bend -------------------------------------------------------------------------------- /tests/golden_tests/prelude/set_node_when_empty.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/prelude/set_node_when_empty.bend -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/addition.bend: -------------------------------------------------------------------------------- 1 | a 2 | & [+2] ~ $(1 a) -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/bad_net.bend: -------------------------------------------------------------------------------- 1 | b -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/bad_net1.bend: -------------------------------------------------------------------------------- 1 | (a b) 2 | & {c b} ~ (c a) -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/bad_net3.bend: -------------------------------------------------------------------------------- 1 | ({a b} (b a)) -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/complicated_dup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/readback_hvm/complicated_dup.bend -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/fst_snd.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/readback_hvm/fst_snd.bend -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/id.bend: -------------------------------------------------------------------------------- 1 | (a a) -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/invalid_op2_op2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/readback_hvm/invalid_op2_op2.bend -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/match.bend: -------------------------------------------------------------------------------- 1 | a 2 | & 1 ~ ?(((b b) (c c)) a) -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/nested_let.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/readback_hvm/nested_let.bend -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/nested_tup.bend: -------------------------------------------------------------------------------- 1 | {{1 2} {4 {3 5}}} -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/number.bend: -------------------------------------------------------------------------------- 1 | 10 -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/simple_tup.bend: -------------------------------------------------------------------------------- 1 | {0 42} -------------------------------------------------------------------------------- /tests/golden_tests/readback_hvm/tup_add.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/readback_hvm/tup_add.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_entrypoint/foo.bend: -------------------------------------------------------------------------------- 1 | bar = λx x 2 | 3 | foo = (bar 2) 4 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/360_no_scope.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/360_no_scope.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/addition.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/addition.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/adt_match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/adt_match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/adt_match_wrong_tag.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/adt_match_wrong_tag.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/adt_option_and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/adt_option_and.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/adt_wrong_tag.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/adt_wrong_tag.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/and.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/basic_num_ops.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/basic_num_ops.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/bend_fold.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/bend_fold.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/bitonic_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/bitonic_sort.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/bitonic_sort_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/bitonic_sort_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/box.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/box.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/callcc.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/callcc.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/chars.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/chars.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/chars_forall.bend: -------------------------------------------------------------------------------- 1 | main = '∀' 2 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/chars_lambda.bend: -------------------------------------------------------------------------------- 1 | main = 'λ' 2 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/comprehension.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/comprehension.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/def_bool_num.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/def_bool_num.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/def_num_bool.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/def_num_bool.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/def_tups.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/def_tups.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/do_block_mixed.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/do_block_mixed.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/dup_global_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/dup_global_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/empty.bend: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/encode_decode_utf8.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/encode_decode_utf8.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/erased_side_effect.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/erased_side_effect.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/escape_sequences.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/escape_sequences.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/eta.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/eta.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/example.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/example.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/exp.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/exp.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/expand_main_list.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/expand_main_list.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/extracted_match_pred.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/extracted_match_pred.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/filter_bool_id.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/filter_bool_id.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/floating_numbers.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/floating_numbers.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/fold_with_state.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/fold_with_state.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_bend_7tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_bend_7tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_bend_sequential.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_bend_sequential.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_bend_sum_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_bend_sum_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_bitonic_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_bitonic_sort.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_circle_area.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_circle_area.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_distance_4args.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_distance_4args.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_distance_obj.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_distance_obj.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_distance_tup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_distance_tup.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_enumerate.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_enumerate.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_if_age.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_if_age.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_is_even_num.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_is_even_num.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_is_even_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_is_even_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_list_ctrs.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_list_ctrs.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_list_match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_list_match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_list_sugar.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_list_sugar.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_mul2_inline.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_mul2_inline.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_mul2_rec.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_mul2_rec.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_shader_dummy.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_shader_dummy.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/guide_sum.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/guide_sum.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/hvm_def_cast.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/hvm_def_cast.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/hvm_def_two_defs.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/hvm_def_two_defs.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/id_underscore.bend: -------------------------------------------------------------------------------- 1 | id _ = _ 2 | 3 | main = (id {2, 3}) 4 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/imp_empty_literals.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/imp_empty_literals.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/imp_use_statement.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/imp_use_statement.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/lam_op2.bend: -------------------------------------------------------------------------------- 1 | main = λx (+ x 2) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/lam_op2_nested.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/lam_op2_nested.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/let_tup_readback.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/let_tup_readback.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/linearize_match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/linearize_match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/list_resugar.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/list_resugar.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/list_reverse.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/list_reverse.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/list_reverse_imp.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/list_reverse_imp.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/list_take.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/list_take.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/list_to_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/list_to_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/mapper_syntax.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/mapper_syntax.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match_builtins.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match_builtins.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match_num_num_to_char.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match_num_num_to_char.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match_sup.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match_sup.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/match_vars.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/match_vars.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/math.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/math.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/merge_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/merge_sort.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/mixed_syntax.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/mixed_syntax.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/names_hyphen.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/names_hyphen.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/names_hyphen_toplevel.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/names_hyphen_toplevel.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/nat_add.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/nat_add.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/nat_add_num.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/nat_add_num.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/nested_map_get.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/nested_map_get.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/nested_map_set.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/nested_map_set.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/nested_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/nested_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/num_cast.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/num_cast.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/num_match_missing_var.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/num_match_missing_var.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/num_pred.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/num_pred.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/open.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/open.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/open_object.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/open_object.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/open_too_many_ctrs.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/open_too_many_ctrs.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/open_undefined_type.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/open_undefined_type.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/ops.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/ops.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/override_list_ctr.bend: -------------------------------------------------------------------------------- 1 | List/Nil = * 2 | 3 | main = [λz λk z] 4 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/override_str_ctr.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/override_str_ctr.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/pred.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/pred.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/queue.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/queue.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/radix_sort_ctr.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/radix_sort_ctr.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/readback_hvm1_main.bend: -------------------------------------------------------------------------------- 1 | Main = λa Main 2 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/readback_num_ops.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/readback_num_ops.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/recursive_bind.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/recursive_bind.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/recursive_combinator.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/recursive_combinator.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/ref_resolution.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/ref_resolution.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/scopeless_discard.bend: -------------------------------------------------------------------------------- 1 | main = 2 | let * = λ$x 1 3 | {2, $x} 4 | -------------------------------------------------------------------------------- /tests/golden_tests/run_file/str_concat.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/str_concat.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/str_inc.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/str_inc.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/str_inc_eta.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/str_inc_eta.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/str_len.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/str_len.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/strict_monad_fn.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/strict_monad_fn.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/sum_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/sum_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/sup_app.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/sup_app.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/sup_reconstruction.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/sup_reconstruction.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/superposed_is_even.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/superposed_is_even.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tagged_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tagged_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tree_to_list.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tree_to_list.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tup_list_strings.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tup_list_strings.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tup_reconstruction.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tup_reconstruction.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tuple_eta.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tuple_eta.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/tuple_rots.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/tuple_rots.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/unaplied_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/unaplied_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/unbound_wrap.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/unbound_wrap.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/unscoped_never_used.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/unscoped_never_used.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/unused_dup_var.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/unused_dup_var.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/unused_main_var.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/unused_main_var.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/world.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/world.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_file/wrong_string.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_file/wrong_string.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/addition.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/addition.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/adt_match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/adt_match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/adt_match_wrong_tag.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/adt_match_wrong_tag.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/adt_option_and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/adt_option_and.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/adt_wrong_tag.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/adt_wrong_tag.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/and.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/and.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/bitonic_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/bitonic_sort.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/bitonic_sort_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/bitonic_sort_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/box.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/box.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/box2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/box2.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/callcc.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/callcc.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/chars.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/chars.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/def_tups.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/def_tups.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/dup_global_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/dup_global_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/eta.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/eta.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/example.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/example.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/exp.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/exp.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/extracted_match_pred.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/extracted_match_pred.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/field_vectorization.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/field_vectorization.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/lam_op2.bend: -------------------------------------------------------------------------------- 1 | main = λx (+ x 2) 2 | -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/lam_op2_nested.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/lam_op2_nested.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/let_tup_readback.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/let_tup_readback.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/linearize_match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/linearize_match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/list_resugar.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/list_resugar.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/list_reverse.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/list_reverse.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/list_take.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/list_take.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/list_to_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/list_to_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/match.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/match.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/match_builtins.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/match_builtins.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/merge_sort.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/merge_sort.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/nested_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/nested_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/num_pred.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/num_pred.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/queue.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/queue.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/radix_sort_ctr.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/radix_sort_ctr.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/scopeless_discard.bend: -------------------------------------------------------------------------------- 1 | main = 2 | let * = λ$x 1 3 | (2, $x) 4 | -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/str_concat.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/str_concat.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/str_inc.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/str_inc.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/str_inc_eta.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/str_inc_eta.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/str_len.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/str_len.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/sum_tree.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/sum_tree.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/sup_app.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/sup_app.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/sup_reconstruction.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/sup_reconstruction.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/superposed_is_even.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/superposed_is_even.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/tagged_lam.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/tagged_lam.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/tup_reconstruction.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/tup_reconstruction.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/tuple_rots.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/tuple_rots.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/unaplied_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/unaplied_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/unused_dup_var.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/unused_dup_var.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/world.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/world.bend -------------------------------------------------------------------------------- /tests/golden_tests/run_lazy/wrong_string.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/run_lazy/wrong_string.bend -------------------------------------------------------------------------------- /tests/golden_tests/scott_triggers_unused/test.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/scott_triggers_unused/test.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/adt_tup_era.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/adt_tup_era.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/already_flat.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/already_flat.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/bits_dec.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/bits_dec.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/match_str.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/match_str.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/nested.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/nested.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/nested2.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/nested2.bend -------------------------------------------------------------------------------- /tests/golden_tests/simplify_matches/nested_0ary.bend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/golden_tests/simplify_matches/nested_0ary.bend -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_all.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_all.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_inline.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_inline.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_no_opts.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_no_opts.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_pre_reduce.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_pre_reduce.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_strict_loop.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_strict_loop.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__compile_wrong_opt.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__compile_wrong_opt.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__custom_hvm_bin.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__custom_hvm_bin.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__debug_list_map.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__debug_list_map.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__debug_u60_to_nat.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__debug_u60_to_nat.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__desugar_bool_scott.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__desugar_bool_scott.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__desugar_merge.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__desugar_merge.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__desugar_pretty.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__desugar_pretty.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__desugar_prune.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__desugar_prune.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__input_file_not_found.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__input_file_not_found.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__net_size_too_large.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__net_size_too_large.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__no_check_net_size.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__no_check_net_size.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__run_add.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__run_add.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__run_pretty.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__run_pretty.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__tuple_readback.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__tuple_readback.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/cli__warn_and_err.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/cli__warn_and_err.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_entrypoint__foo.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_entrypoint__foo.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__360_no_scope.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__360_no_scope.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__add_args.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__add_args.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__addition.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__addition.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__addition_const.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__addition_const.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__ask_outside_do.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__ask_outside_do.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__church_one.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__church_one.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__church_zero.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__church_zero.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__crlf.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__crlf.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__dup_apply.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__dup_apply.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__dup_global_lam.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__dup_global_lam.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__elif.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__elif.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__elif_fun.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__elif_fun.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__elif_no_else.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__elif_no_else.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__erased_dup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__erased_dup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__error_messages.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__error_messages.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__f24_oper.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__f24_oper.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__fst_snd.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__fst_snd.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__global_lam.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__global_lam.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__i24_oper.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__i24_oper.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__id.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__id.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__infer_dup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__infer_dup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__inlining.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__inlining.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__just_a_name.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__just_a_name.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__just_data.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__just_data.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__just_paren.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__just_paren.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__let_tup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__let_tup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__lets.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__lets.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__long_name.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__long_name.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__missing_adt_eq.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__missing_adt_eq.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__missing_ctrs.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__missing_ctrs.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__missing_pat.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__missing_pat.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__nested_let.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__nested_let.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__nums.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__nums.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__op2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__op2.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__redex_order.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__redex_order.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__ref_to_main.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__ref_to_main.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__ref_to_ref.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__ref_to_ref.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__simple_tup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__simple_tup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__tup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__tup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__tup_add.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__tup_add.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__unbound_var.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__unbound_var.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__underscore.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__underscore.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__unused_let.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__unused_let.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__warn_and_err.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__warn_and_err.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file__wrong_nums.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file__wrong_nums.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__addition.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__addition.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__and.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__and.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__bool.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__bool.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__ex0.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__ex0.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__ex2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__ex2.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__example.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__example.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__exp.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__exp.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__expr.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__expr.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__fst.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__fst.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__fst_fst.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__fst_fst.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__inlining.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__inlining.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__self_ref.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__self_ref.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__snd.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__snd.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__spacing.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__spacing.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__spacing2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__spacing2.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__str.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__str.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_file_o_all__weekday.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_file_o_all__weekday.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_long__huge_tree.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_long__huge_tree.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/compile_long__long_str_file.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/compile_long__long_str_file.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__ask_branch.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__ask_branch.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__bind_syntax.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__bind_syntax.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__combinators.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__combinators.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__deref_loop.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__deref_loop.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__main_aux.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__main_aux.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__mapper_syntax.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__mapper_syntax.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__tree_syntax.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__tree_syntax.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__use_id.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__use_id.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/desugar_file__use_shadow.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/desugar_file__use_shadow.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__and3.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__and3.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__bool.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__bool.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__box.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__box.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__common.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__common.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__concat.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__concat.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/encode_pattern_match__expr.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/encode_pattern_match__expr.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__bitonic_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__bitonic_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__bubble_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__bubble_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__callcc.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__callcc.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__example_fun.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__example_fun.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__fib.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__fib.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__fusing_add.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__fusing_add.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__fusing_not.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__fusing_not.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__gen_tree.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__gen_tree.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__hello_world.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__hello_world.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__insertion_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__insertion_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__list.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__list.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__parallel_and.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__parallel_and.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__parallel_sum.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__parallel_sum.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__queue.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__queue.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__quick_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__quick_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/examples__radix_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/examples__radix_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__import_main.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__import_main.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__import_main2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__import_main2.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__import_main3.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__import_main3.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__import_type.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__import_type.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__import_types.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__import_types.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__imports.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__imports.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/import_system__imports_alias.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/import_system__imports_alias.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__load.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__load.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__load_fail.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__load_fail.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__read_line_eof.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__read_line_eof.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__store.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__store.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__store_fail.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__store_fail.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/io__utf8.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/io__utf8.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/linear_readback__church_mul.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/linear_readback__church_mul.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/mutual_recursion__a_b_c.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/mutual_recursion__a_b_c.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/mutual_recursion__len.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/mutual_recursion__len.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/mutual_recursion__merged.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/mutual_recursion__merged.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/mutual_recursion__multiple.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/mutual_recursion__multiple.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/mutual_recursion__odd_even.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/mutual_recursion__odd_even.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__bad_floating.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__bad_floating.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__era.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__era.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__fun_def.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__fun_def.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__fun_def_name.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__fun_def_name.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__imp_map.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__imp_map.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__imp_program.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__imp_program.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__scape_chars.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__scape_chars.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__tab.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__tab.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__tuple_assign.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__tuple_assign.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/parse_file__tuple_commas.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/parse_file__tuple_commas.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/prelude__lists_to_map.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/prelude__lists_to_map.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/prelude__map_checked_test.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/prelude__map_checked_test.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/prelude__map_contains_test.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/prelude__map_contains_test.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__addition.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__addition.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__bad_net.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__bad_net.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__bad_net1.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__bad_net1.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__bad_net3.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__bad_net3.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__fst_snd.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__fst_snd.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__id.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__id.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__nested_let.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__nested_let.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__nested_tup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__nested_tup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__number.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__number.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__simple_tup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__simple_tup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/readback_hvm__tup_add.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/readback_hvm__tup_add.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__360_no_scope.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__360_no_scope.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__addition.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__addition.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__adt_match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__adt_match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__adt_option_and.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__adt_option_and.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__adt_wrong_tag.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__adt_wrong_tag.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__and.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__and.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__basic_num_ops.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__basic_num_ops.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__bend_fold.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__bend_fold.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__bitonic_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__bitonic_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__bitonic_sort_lam.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__bitonic_sort_lam.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__box.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__box.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__callcc.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__callcc.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__chars.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__chars.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__chars_forall.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__chars_forall.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__chars_lambda.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__chars_lambda.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__comprehension.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__comprehension.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__def_bool_num.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__def_bool_num.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__def_num_bool.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__def_num_bool.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__def_tups.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__def_tups.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__do_block_mixed.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__do_block_mixed.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__dup_global_lam.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__dup_global_lam.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__empty.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__empty.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__escape_sequences.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__escape_sequences.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__eta.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__eta.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__example.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__example.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__exp.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__exp.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__expand_main_list.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__expand_main_list.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__filter_bool_id.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__filter_bool_id.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__floating_numbers.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__floating_numbers.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__fold_with_state.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__fold_with_state.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_bend_7tree.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_bend_7tree.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_enumerate.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_enumerate.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_if_age.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_if_age.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_list_ctrs.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_list_ctrs.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_list_match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_list_match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_list_sugar.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_list_sugar.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_mul2_rec.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_mul2_rec.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__guide_sum.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__guide_sum.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__hvm_def_cast.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__hvm_def_cast.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__hvm_def_two_defs.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__hvm_def_two_defs.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__id_underscore.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__id_underscore.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__lam_op2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__lam_op2.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__lam_op2_nested.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__lam_op2_nested.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__let_tup_readback.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__let_tup_readback.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__linearize_match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__linearize_match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__list_resugar.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__list_resugar.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__list_reverse.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__list_reverse.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__list_reverse_imp.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__list_reverse_imp.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__list_take.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__list_take.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__list_to_tree.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__list_to_tree.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__mapper_syntax.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__mapper_syntax.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__match.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__match.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__match_builtins.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__match_builtins.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__match_str.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__match_str.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__match_sup.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__match_sup.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__match_vars.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__match_vars.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__math.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__math.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__merge_sort.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__merge_sort.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__mixed_syntax.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__mixed_syntax.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__names_hyphen.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__names_hyphen.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__nat_add.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__nat_add.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__nat_add_num.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__nat_add_num.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__nested_map_get.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__nested_map_get.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__nested_map_set.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__nested_map_set.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__nested_str.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__nested_str.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__num_cast.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__num_cast.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__num_pred.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__num_pred.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__open.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__open.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__open_object.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__open_object.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__ops.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__ops.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__override_str_ctr.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__override_str_ctr.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__pred.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__pred.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__queue.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__queue.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__radix_sort_ctr.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__radix_sort_ctr.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__readback_num_ops.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__readback_num_ops.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__recursive_bind.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__recursive_bind.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__ref_resolution.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__ref_resolution.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__str_concat.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__str_concat.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__str_inc.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__str_inc.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__str_inc_eta.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__str_inc_eta.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__str_len.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__str_len.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__strict_monad_fn.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__strict_monad_fn.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__sum_tree.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__sum_tree.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__sup_app.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__sup_app.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__tagged_lam.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__tagged_lam.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__tree_to_list.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__tree_to_list.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__tup_list_strings.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__tup_list_strings.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__tuple_eta.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__tuple_eta.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__tuple_rots.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__tuple_rots.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__unaplied_str.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__unaplied_str.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__unbound_wrap.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__unbound_wrap.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__unused_dup_var.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__unused_dup_var.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__unused_main_var.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__unused_main_var.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__world.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__world.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/run_file__wrong_string.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/run_file__wrong_string.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/simplify_matches__bits_dec.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/simplify_matches__bits_dec.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/simplify_matches__nested.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/simplify_matches__nested.bend.snap -------------------------------------------------------------------------------- /tests/snapshots/simplify_matches__nested2.bend.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HigherOrderCO/Bend/HEAD/tests/snapshots/simplify_matches__nested2.bend.snap --------------------------------------------------------------------------------