.. |
cli__compile_all.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
cli__compile_inline.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__compile_no_opts.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__compile_pre_reduce.bend.snap
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
cli__compile_strict_loop.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
cli__compile_wrong_opt.bend.snap
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
cli__custom_hvm_bin.bend.snap
|
Rename hvm bin option to hvm-bin, add env var with same name
|
2024-06-03 17:26:39 +02:00 |
cli__debug_list_map.bend.snap
|
Changed run as an alias to run-c
|
2024-07-12 15:54:02 -05:00 |
cli__debug_u60_to_nat.bend.snap
|
Changed run as an alias to run-c
|
2024-07-12 15:54:02 -05:00 |
cli__desugar_bool_scott.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
cli__desugar_float_combinators.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
cli__desugar_linearize_matches_alt.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__desugar_linearize_matches.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__desugar_merge.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
cli__desugar_pretty.bend.snap
|
Display lambda bind patterns as lets
|
2024-06-06 11:35:47 -03:00 |
cli__desugar_prune.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__input_file_not_found.bend.snap
|
Add cli test for input file not found
|
2024-07-10 22:07:19 -03:00 |
cli__net_size_too_large.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
cli__no_check_net_size.bend.snap
|
Call desugar_use before linearize matches
|
2024-06-17 11:40:55 -03:00 |
cli__run_add.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
cli__run_pretty.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
cli__tuple_readback.bend.snap
|
[sc-692] Add simple readback of tuples
|
2024-05-17 02:12:50 +02:00 |
cli__warn_and_err.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_entrypoint__foo.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__360_no_scope.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
compile_file__add_args.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file__addition_const.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__addition.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__ask_outside_do.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__church_one.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file__church_zero.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__complicated_dup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__crlf.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__cyclic_global_lam.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__def_pat_unscoped.bend.snap
|
Add test with unscoped pattern on definition rule
|
2024-06-25 18:10:26 -03:00 |
compile_file__dup_apply.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__dup_global_lam.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__elif_fun.bend.snap
|
Add elif chain to functional syntax
|
2024-06-20 16:12:49 -03:00 |
compile_file__elif_no_else.bend.snap
|
Implement elif
|
2024-05-27 08:15:36 -03:00 |
compile_file__elif.bend.snap
|
Add elif chain to functional syntax
|
2024-06-20 16:12:49 -03:00 |
compile_file__erased_dup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__error_data_def_name.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__error_messages.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__f24_oper.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__fst_snd.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file__global_lam.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__i24_oper.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__id.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__infer_dup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__inlining.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__just_a_name.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__just_data.bend.snap
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
compile_file__just_paren.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__just_rule_paren.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__let_substitution.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__let_tup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__lets.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file__long_name.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__match.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__missing_adt_eq.bend.snap
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
compile_file__missing_ctrs.bend.snap
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
compile_file__missing_pat.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__names_starting_with_keywords.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__nested_ctr_wrong_arity.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__nested_let.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__number_too_large.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__nums.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__op2.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__redex_order_recursive.bend.snap
|
Call desugar_use before linearize matches
|
2024-06-17 11:40:55 -03:00 |
compile_file__redex_order.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__ref_to_main.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__ref_to_ref.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file__repeated_bind_rule.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__simple_tup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__switch_all_patterns.bend.snap
|
Fix parsing of empty switch
|
2024-05-16 13:47:28 +02:00 |
compile_file__switch_in_switch_arg.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file__switch_incomplete.bend.snap
|
Fix parsing of empty switch
|
2024-05-16 13:47:28 +02:00 |
compile_file__switch_unscoped_lambda.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__top_level_name_slashslash.bend.snap
|
Dont allow top level names start with '//'
|
2024-05-23 14:43:25 -03:00 |
compile_file__tup_add.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file__tup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unbound_unscoped_var.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unbound_var_scope.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unbound_var.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unbound_with_tup_pattern.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__underscore.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unexpected_top_char.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unscoped_dup_use.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unscoped_supercombinator.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__unused_let.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file__unused_unscoped_bind.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__variable_name_double_underscore.bend.snap
|
Dont allow variable names contain '__'
|
2024-05-24 10:50:04 -03:00 |
compile_file__vicious_circles.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file__warn_and_err.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__with_clause_parse_err.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__wrong_ctr_arity.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__wrong_ctr_var_arity.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file__wrong_nums.bend.snap
|
rerun tests
|
2024-05-24 14:06:02 -04:00 |
compile_file__wrong_unicode_escape.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__addition_var_fst.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file_o_all__addition.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file_o_all__adt_option_and.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__adt_string.bend.snap
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
compile_file_o_all__and.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__bad_parens_making_erased_let.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__bool.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__cyclic_dup.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__double_main.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__eta_chain.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file_o_all__ex0.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__ex2.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file_o_all__example.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__exp.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file_o_all__expr.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__extracted_match_pred.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__fst_fst.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__fst.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__hvm1_main.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__inline_app.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__inlining.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__linearize_match.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file_o_all__list_merge_sort.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file_o_all__list_reverse.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__match_adt_non_exhaustive.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__match_dup_and_reconstruction.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__match_mult_linearization.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
compile_file_o_all__match_num_explicit_bind.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__match_tup.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file_o_all__merge_definitions.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__non_exhaustive_and.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__non_exhaustive_different_types.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__non_exhaustive_pattern.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__non_exhaustive_tree.bend.snap
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
compile_file_o_all__num_pattern_with_var.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
compile_file_o_all__recursive_combinator_inactive.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__repeated_name_trucation.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
compile_file_o_all__scrutinee_reconstruction.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__self_ref.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
compile_file_o_all__snd.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__spacing2.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__spacing.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__str.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_all__sum_predicates.bend.snap
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
compile_file_o_all__tagged_dup.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
compile_file_o_all__tagged_lam.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
compile_file_o_all__tagged_sup.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
compile_file_o_all__unapplied_eta.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__unscoped_eta.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__var_shadows_ref.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_all__weekday.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
compile_file_o_no_all__bitonic_sort.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
compile_file_o_no_all__list_reverse.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
compile_file_o_no_all__redex_order.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
compile_file_o_no_all__sum_tree.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
compile_long__huge_tree.bend.snap
|
Move huge_tree test to compile_long
|
2024-05-28 12:25:39 -03:00 |
compile_long__long_str_file.bend.snap
|
Add compile_long test
|
2024-05-28 12:01:52 -03:00 |
desugar_file__bind_syntax.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
desugar_file__combinators.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
desugar_file__deref_loop.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
desugar_file__dup_linearization.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
desugar_file__local_def_shadow.bend.snap
|
Implement 'def' term
|
2024-07-01 18:21:49 -03:00 |
desugar_file__main_aux.bend.snap
|
Implement 'def' term
|
2024-07-01 18:21:49 -03:00 |
desugar_file__mapper_syntax.bend.snap
|
Call desugar_use before linearize matches
|
2024-06-17 11:40:55 -03:00 |
desugar_file__non_exaustive_limit.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
desugar_file__switch_with_use.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
desugar_file__tree_syntax.bend.snap
|
Add basic import support
|
2024-07-05 10:22:45 -03:00 |
desugar_file__use_id.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
desugar_file__use_shadow.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
desugar_file__used_once_names.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
encode_pattern_match__adt_tup_era.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__and3.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__bool_tup.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__bool.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
encode_pattern_match__box.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__common.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__concat_def.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
encode_pattern_match__concat.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__def_tups.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__definition_merge.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
encode_pattern_match__expr.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__flatten_era_pat.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
encode_pattern_match__full_map.bend.snap
|
Add full_map test
|
2024-06-17 12:29:51 -03:00 |
encode_pattern_match__is_some_some.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__list_merge_sort.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
encode_pattern_match__list_str_encoding_undeclared_fn.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__list_str_encoding_undeclared_map.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__match_adt_unscoped_in_arm.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__match_adt_unscoped_lambda.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__match_adt_unscoped_var.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__match_auto_linearization.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__match_bind.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__match_num_adt_tup_parser.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__match_num_pred.bend.snap
|
Implement fast pred access function
|
2024-06-24 12:45:15 -03:00 |
encode_pattern_match__match_syntax.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__merge_recursive.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__no_patterns.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__non_matching_fst_arg.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__ntup_sum.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__pattern_match_encoding.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__switch_in_switch_arg.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
encode_pattern_match__var_only.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
encode_pattern_match__weekday.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
examples__bitonic_sort.bend.snap
|
Update test snapshot
|
2024-05-20 09:17:22 -03:00 |
examples__bubble_sort.bend.snap
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
examples__callcc.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
examples__example_fun.bend.snap
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
examples__fib.bend.snap
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
examples__fusing_add.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
examples__fusing_not.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
examples__gen_tree.bend.snap
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
examples__insertion_sort.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
examples__list.bend.snap
|
insta test/review completed
|
2024-05-31 09:09:01 -05:00 |
examples__parallel_and.bend.snap
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
examples__parallel_hello_world.bend.snap
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
examples__queue.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
examples__quick_sort.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
examples__radix_sort.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
import_system__import_main2.bend.snap
|
Fix entry point reimports to give an error
|
2024-07-05 10:23:52 -03:00 |
import_system__import_main3.bend.snap
|
Fix entry point reimports to give an error
|
2024-07-05 10:23:52 -03:00 |
import_system__import_main.bend.snap
|
Fix entry point reimports to give an error
|
2024-07-05 10:23:52 -03:00 |
import_system__import_types.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports_alias_shadow.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports_alias.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports_conflict.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports_file_and_dir_conflict.bend.snap
|
Improve imports when a path is both a file and a directory
|
2024-07-05 10:23:34 -03:00 |
import_system__imports_file_and_dir.bend.snap
|
Improve imports when a path is both a file and a directory
|
2024-07-05 10:23:34 -03:00 |
import_system__imports_shadow2.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports_shadow.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
import_system__imports.bend.snap
|
Add some imports tests
|
2024-07-05 10:22:45 -03:00 |
linear_readback__church_mul.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
mutual_recursion__a_b_c.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
mutual_recursion__len.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
mutual_recursion__merged.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
mutual_recursion__multiple.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
mutual_recursion__odd_even.bend.snap
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
parse_file__fun_def_name.bend.snap
|
Add missing error message
|
2024-07-02 09:14:02 -03:00 |
parse_file__fun_def.bend.snap
|
#623 Desugar local defs properly
|
2024-07-08 17:26:34 -03:00 |
parse_file__imp_map.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
parse_file__imp_program.bend.snap
|
Change 'do' keyword to 'with'
|
2024-05-28 16:49:00 -03:00 |
parse_file__multi_line_comment.bend.snap
|
Add multi line comment syntax
|
2024-07-08 13:30:02 -03:00 |
parse_file__redefinition_builtin.bend.snap
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
parse_file__redefinition_ctr_with_fun.bend.snap
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
parse_file__redefinition_fun_imp.bend.snap
|
Make rules necessarily be in a single block
|
2024-05-21 09:39:43 +02:00 |
parse_file__redefinition_imp_fun.bend.snap
|
Improve function redefinition error message
|
2024-06-07 17:25:23 -03:00 |
parse_file__redefinition_type_with_object.bend.snap
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
parse_file__redefinition_with_def_between.bend.snap
|
Improve function redefinition error message
|
2024-06-07 17:25:23 -03:00 |
parse_file__redefinition_with_object_between.bend.snap
|
Improve function redefinition error message
|
2024-06-07 17:25:23 -03:00 |
parse_file__redefinition_with_type_between.bend.snap
|
Improve function redefinition error message
|
2024-06-07 17:25:23 -03:00 |
parse_file__repeated_adt_name.bend.snap
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
parse_file__repeated_datatype_name.bend.snap
|
Don't allow repeated field names
|
2024-07-03 11:45:55 -03:00 |
parse_file__scape_chars.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
parse_file__tab.bend.snap
|
Don't allow tabs
|
2024-06-10 10:04:09 -03:00 |
readback_hvm__addition.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
readback_hvm__bad_net1.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__bad_net3.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__bad_net.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__complicated_dup.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__fst_snd.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__id.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__invalid_op2_op2.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
readback_hvm__match.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__nested_let.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__nested_tup.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__number.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__simple_tup.bend.snap
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
readback_hvm__tup_add.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__360_no_scope.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__addition.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__adt_match_wrong_tag.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__adt_match.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__adt_option_and.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__adt_wrong_tag.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__and.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__basic_num_ops.bend.snap
|
Update num ops test
|
2024-06-13 10:39:07 -03:00 |
run_file__bend_fold.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__bitonic_sort_lam.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__bitonic_sort.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__box.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__branch_statements_assignment.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__callcc.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__chars_forall.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__chars_lambda.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__chars.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__comprehension.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__def_bool_num.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__def_num_bool.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__def_tups.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__do_block_mixed.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__dup_global_lam.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__empty.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__encode_decode_utf8.bend.snap
|
Add utf8 and ascii encoding functions
|
2024-06-18 18:41:33 -03:00 |
run_file__erased_side_effect.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__escape_sequences.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__eta.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__example.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__exp.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__extracted_match_pred.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__fold_with_state.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__guide_bend_7tree.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__guide_bend_sequential.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_bend_sum_tree.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_bitonic_sort.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_circle_area.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_distance_4args.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_distance_obj.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_distance_tup.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_enumerate.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__guide_if_age.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__guide_is_even_num.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_is_even_str.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__guide_list_ctrs.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__guide_list_match.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_list_sugar.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__guide_mul2_inline.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_mul2_rec.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_shader_dummy.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__guide_sum.bend.snap
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
run_file__hvm_def_cast.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
run_file__hvm_def_two_defs.bend.snap
|
Fix parsing of hvm defs
|
2024-06-15 18:57:36 +02:00 |
run_file__id_underscore.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__imp_empty_literals.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__imp_use_statement.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__kind_compiled_tree_sum.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__lam_op2_nested.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__lam_op2.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__let_tup_readback.bend.snap
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
run_file__linearize_match.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__list_resugar.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__list_reverse_imp.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
run_file__list_reverse.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__list_take.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__list_to_tree.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__mapper_syntax.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__match_builtins.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__match_mult_linearization.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__match_num_adt_tup_parser.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__match_num_explicit_bind.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__match_num_num_to_char.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__match_num_succ_complex.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__match_str.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__match_sup.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__match_vars.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__match.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__math.bend.snap
|
Add asin, acos, atan and round functions
|
2024-07-04 16:03:48 -03:00 |
run_file__merge_sort.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__mixed_syntax.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__names_hyphen_toplevel.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__names_hyphen.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__nat_add_num.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__nat_add.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__nested_list_and_string.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__nested_map_get.bend.snap
|
Fix variable generation for nested map gets
|
2024-05-24 08:35:44 -03:00 |
run_file__nested_map_set.bend.snap
|
Implement getter generation for map setter keys
|
2024-05-24 12:22:42 -03:00 |
run_file__nested_str.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__num_cast.bend.snap
|
Add native number cast operations
|
2024-06-17 15:45:37 +02:00 |
run_file__num_match_missing_var.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__num_pred.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__open_object.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__open_too_many_ctrs.bend.snap
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
run_file__open_undefined_type.bend.snap
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
run_file__open.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__ops.bend.snap
|
Implement le and ge operators
|
2024-06-05 17:44:05 -03:00 |
run_file__override_list_ctr.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
run_file__override_str_ctr.bend.snap
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
run_file__pred.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__queue.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__radix_sort_ctr.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__readback_hvm1_main.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__readback_list_other_ctr.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__readback_num_ops.bend.snap
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
run_file__recursive_bind.bend.snap
|
Make monadic blocks lazy by defering execution of continuations with free vars
|
2024-05-30 23:30:44 +02:00 |
run_file__recursive_combinator_nested.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__recursive_combinator.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__recursive_match_native.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__ref_resolution.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__repeated_name_truncation.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__scopeless_discard.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__str_concat.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__str_inc_eta.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__str_inc.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__str_len.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__strict_monad_fn.bend.snap
|
Make monadic blocks lazy by defering execution of continuations with free vars
|
2024-05-30 23:30:44 +02:00 |
run_file__sum_tree.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__sup_app.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__sup_reconstruction.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__superposed_is_even.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__tagged_lam.bend.snap
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
run_file__tup_list_strings.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__tup_reconstruction.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__tuple_eta.bend.snap
|
Add tuple eta test
|
2024-05-22 16:21:05 -03:00 |
run_file__tuple_rots.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__unaplied_str.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
run_file__unbound_wrap.bend.snap
|
Add unbound refs check
|
2024-05-31 18:52:22 +02:00 |
run_file__unscoped_never_used.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
run_file__unused_dup_var.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
run_file__unused_main_var.bend.snap
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
run_file__world.bend.snap
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
run_file__wrong_string.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
scott_triggers_unused__test.bend.snap
|
Limit adt tag defs be generated or builtin
|
2024-07-05 10:22:45 -03:00 |
simplify_matches__adt_tup_era.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
simplify_matches__already_flat.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__bits_dec.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
simplify_matches__complex_with_case.bend.snap
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
simplify_matches__double_unwrap_box.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__double_unwrap_maybe.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__flatten_with_terminal.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__irrefutable_case.bend.snap
|
Fix bugs with the irrefutable case optimization
|
2024-07-04 16:22:34 -03:00 |
simplify_matches__linearize_match_all.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__match_str.bend.snap
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
simplify_matches__nested2.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
simplify_matches__nested_0ary.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
simplify_matches__nested.bend.snap
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
simplify_matches__redundant_with_era.bend.snap
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
simplify_matches__wrong_fn_arity.bend.snap
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |