Unify type_check_expr and type_check_expr_in#574

Draft

erszcz wants to merge 29 commits intojosefs:masterfrom

erszcz:unify-type-check-exprs

Commits on Oct 14, 2024

wip: Use subtype . type_check_expr in place of type_check_expr_in
erszcz
committed
Fix test/should_fail/rigid_type_variables_fail.erl
erszcz
committed
Fix test/known_problems/should_pass/binary_exhaustiveness_checking_should_pass.erl
erszcz
committed
Fix test/known_problems/should_fail/binary_comprehension.erl
erszcz
committed
Fix test/should_fail/return_fun_fail.erl
erszcz
committed
Fix test/known_problems/should_pass/fun_subtyping.erl
erszcz
committed
Fix test/known_problems/should_pass/refine_comparison_should_pass.erl
erszcz
committed
Fix test/known_problems/should_pass/refine_bound_var_on_mismatch.erl
erszcz
committed
Fix test/should_fail/rel_op.erl
erszcz
committed
Check 'case' exhaustiveness in do_type_check_expr/2
erszcz
committed
Fix test/known_problems/should_fail/exhaustive_expr.erl
erszcz
committed
fixup! Check 'case' exhaustiveness in do_type_check_expr/2
erszcz
committed
Fix test/known_problems/should_fail/case_pattern_should_fail.erl
erszcz
committed
fixup! wip: Use subtype . type_check_expr in place of type_check_expr_in
erszcz
committed
Fix test/should_fail/arith_op_fail.erl
erszcz
committed
Check clauses against inferred type in do_type_check_expr/2
erszcz
committed
Fix test/should_pass/return_fun.erl
erszcz
committed
fixup! Fix test/known_problems/should_pass/binary_exhaustiveness_checking_should_pass.erl
erszcz
committed
Silence unnecessary Makefile echo output
erszcz
committed
Fix test/should_pass/refine_bound_var_pass.erl
erszcz
committed
Fix test/should_pass/record_refinement.erl
erszcz
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Unify type_check_expr and type_check_expr_in#574

Unify type_check_expr and type_check_expr_in#574
erszcz wants to merge 29 commits intojosefs:masterfrom
erszcz:unify-type-check-exprs

Commits on Oct 14, 2024

wip: Use subtype . type_check_expr in place of type_check_expr_in

Fix test/should_fail/rigid_type_variables_fail.erl

Fix test/known_problems/should_pass/binary_exhaustiveness_checking_should_pass.erl

Fix test/known_problems/should_fail/binary_comprehension.erl

Fix test/should_fail/return_fun_fail.erl

Fix test/known_problems/should_pass/fun_subtyping.erl

Fix test/known_problems/should_pass/refine_comparison_should_pass.erl

Fix test/known_problems/should_pass/refine_bound_var_on_mismatch.erl

Fix test/should_fail/rel_op.erl

Check 'case' exhaustiveness in do_type_check_expr/2

Fix test/known_problems/should_fail/exhaustive_expr.erl

fixup! Check 'case' exhaustiveness in do_type_check_expr/2

Fix test/known_problems/should_fail/case_pattern_should_fail.erl

fixup! wip: Use subtype . type_check_expr in place of type_check_expr_in

Fix test/should_fail/arith_op_fail.erl

Check clauses against inferred type in do_type_check_expr/2

Fix test/should_pass/return_fun.erl

fixup! Fix test/known_problems/should_pass/binary_exhaustiveness_checking_should_pass.erl

Silence unnecessary Makefile echo output

Fix test/should_pass/refine_bound_var_pass.erl

Fix test/should_pass/record_refinement.erl

Commits on Oct 15, 2024

Fix test/should_pass/qlc_test.erl

Fix test/should_pass/operator_subtypes.erl

Fix test/should_pass/non_neg_plus_pos_is_pos_pass.erl

Fix test/should_pass/iodata.erl

Fix test/should_pass/factorial.erl

fixup! fixup! Fix test/known_problems/should_pass/binary_exhaustiveness_checking_should_pass.erl

TODO: reenable broken typechecker_tests

Reverse type order in the type_error

Unify type_check_expr and type_check_expr_in#574erszcz wants to merge 29 commits intojosefs:masterjosefs/Gradualizer:masterfrom erszcz:unify-type-check-exprserszcz/Gradualizer:unify-type-check-exprsCopy head branch name to clipboard

Commits

Commits on Oct 14, 2024

Commits on Oct 15, 2024

Unify type_check_expr and type_check_expr_in#574
erszcz wants to merge 29 commits intojosefs:masterfrom
erszcz:unify-type-check-exprs