| .. |
|
ability_checked_specialization_with_annotation_only.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_checked_specialization_with_typed_body.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_constrained_in_non_member_check.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_constrained_in_non_member_infer.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_constrained_in_non_member_infer_usage.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_constrained_in_non_member_multiple_specializations.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
ability_specialization_called.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
alias_ability_member.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
alias_in_opaque.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
alias_propagates_able_var.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
check_phantom_type.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
constrain_dbg_flex_var.txt
|
Get tests passing
|
2023-11-29 21:05:49 -08:00 |
|
copy_vars_referencing_copied_vars.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
exposed_ability_name.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
function_alias_in_signature.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
generalize_and_specialize_recursion_var.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
generalized_accessor_function_applied.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
infer_concrete_type_with_inference_var.txt
|
Move uitests
|
2023-04-20 16:18:23 -05:00 |
|
infer_contextual_crash.txt
|
Correctly introduce new openness variables at the union rank
|
2023-05-01 13:14:58 -05:00 |
|
infer_phantom_type_flow.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
infer_unbound_phantom_type_star.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
infer_variables_in_destructure_def_signature.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
infer_variables_in_value_def_signature.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
issue_2458.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
issue_2458_swapped_order.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
issue_2583_specialize_errors_behind_unified_branches.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
lambda_set_within_alias_is_quantified.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
lots_of_type_variables.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
multiple_abilities_multiple_members_specializations.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
mutual_recursion_with_inference_var.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
nested_open_tag_union.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_and_alias_unify.txt
|
Add Task as a built-in module/type
|
2024-06-25 00:03:56 -07:00 |
|
opaque_unwrap_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_from_multiple_branches_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_from_multiple_branches_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_specialized_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_unwrap_polymorphic_specialized_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_function.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_function_with_inferred_arg.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_polymorphic_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_polymorphic_from_multiple_branches_check.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_polymorphic_from_multiple_branches_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
opaque_wrap_polymorphic_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
record_extension_variable_is_alias.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
rosetree_with_result_is_legal_recursive_type.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
self_recursion_with_inference_var.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
single_ability_multiple_members_specializations.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
single_ability_single_member_specializations.txt
|
| -> where
|
2023-06-05 20:19:00 -04:00 |
|
stdlib_encode_something.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
tag_extension_variable_is_alias.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
tag_inclusion_behind_opaque.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
tag_inclusion_behind_opaque_infer.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
tag_inclusion_behind_opaque_infer_single_ctor.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
task_wildcard_wildcard.txt
|
basic-cli 0.15, test fixes
|
2024-08-28 18:39:15 +02:00 |
|
to_float.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
to_int.txt
|
More progress
|
2025-01-05 05:16:47 -08:00 |
|
tuple_annotation.txt
|
Add test for tuple annotations
|
2023-05-26 12:14:41 -05:00 |
|
when_branch_and_body_flipflop.txt
|
Migrate even more tests
|
2023-04-20 16:18:23 -05:00 |
|
wrap_recursive_opaque_negative_position.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
|
wrap_recursive_opaque_positive_position.txt
|
Migrate more tests
|
2023-04-20 16:18:23 -05:00 |
