Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unify type_check_expr and type_check_expr_in #574

Draft
wants to merge 29 commits into
base: master
Choose a base branch
from
Draft

Unify type_check_expr and type_check_expr_in #574

wants to merge 29 commits into from

Commits on Oct 14, 2024

  1. wip: Use subtype . type_check_expr in place of type_check_expr_in

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    96df82f View commit details
    Browse the repository at this point in the history

  2. Fix test/should_fail/rigid_type_variables_fail.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    a23106e View commit details
    Browse the repository at this point in the history

  3. Fix test/known_problems/should_pass/binary_exhaustiveness_checking_sh… 

    …ould_pass.erl
    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    2e0dd23 View commit details
    Browse the repository at this point in the history

  4. Fix test/known_problems/should_fail/binary_comprehension.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ceb2655 View commit details
    Browse the repository at this point in the history

  5. Fix test/should_fail/return_fun_fail.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    02df3f0 View commit details
    Browse the repository at this point in the history

  6. Fix test/known_problems/should_pass/fun_subtyping.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ba3a0b9 View commit details
    Browse the repository at this point in the history

  7. Fix test/known_problems/should_pass/refine_comparison_should_pass.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ca9094d View commit details
    Browse the repository at this point in the history

  8. Fix test/known_problems/should_pass/refine_bound_var_on_mismatch.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    96c2b9b View commit details
    Browse the repository at this point in the history

  9. Fix test/should_fail/rel_op.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    8ca1591 View commit details
    Browse the repository at this point in the history

  10. Check 'case' exhaustiveness in do_type_check_expr/2

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    e9fd335 View commit details
    Browse the repository at this point in the history

  11. Fix test/known_problems/should_fail/exhaustive_expr.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    e4145b6 View commit details
    Browse the repository at this point in the history

  12. fixup! Check 'case' exhaustiveness in do_type_check_expr/2

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ee3f7ec View commit details
    Browse the repository at this point in the history

  13. Fix test/known_problems/should_fail/case_pattern_should_fail.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    ed50fec View commit details
    Browse the repository at this point in the history

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

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    32b6a2c View commit details
    Browse the repository at this point in the history

  15. Fix test/should_fail/arith_op_fail.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    6102c5b View commit details
    Browse the repository at this point in the history

  16. Check clauses against inferred type in do_type_check_expr/2

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    89c3f4e View commit details
    Browse the repository at this point in the history

  17. Fix test/should_pass/return_fun.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    093af82 View commit details
    Browse the repository at this point in the history

  18. fixup! Fix test/known_problems/should_pass/binary_exhaustiveness_chec… 

    …king_should_pass.erl
    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    96f838b View commit details
    Browse the repository at this point in the history

  19. Silence unnecessary Makefile echo output

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    b283f1a View commit details
    Browse the repository at this point in the history

  20. Fix test/should_pass/refine_bound_var_pass.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    37fa124 View commit details
    Browse the repository at this point in the history

  21. Fix test/should_pass/record_refinement.erl

    @erszcz
    erszcz committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    f097860 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Fix test/should_pass/qlc_test.erl

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    f1b6e9c View commit details
    Browse the repository at this point in the history

  2. Fix test/should_pass/operator_subtypes.erl

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    86a6c31 View commit details
    Browse the repository at this point in the history

  3. Fix test/should_pass/non_neg_plus_pos_is_pos_pass.erl

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    68a4b8f View commit details
    Browse the repository at this point in the history

  4. Fix test/should_pass/iodata.erl

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    fa10bee View commit details
    Browse the repository at this point in the history

  5. Fix test/should_pass/factorial.erl

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    390cdea View commit details
    Browse the repository at this point in the history

  6. fixup! fixup! Fix test/known_problems/should_pass/binary_exhaustivene… 

    …ss_checking_should_pass.erl
    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    d43dcbc View commit details
    Browse the repository at this point in the history

  7. TODO: reenable broken typechecker_tests

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    64c834c View commit details
    Browse the repository at this point in the history

  8. Reverse type order in the type_error

    @erszcz
    erszcz committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    6210517 View commit details
    Browse the repository at this point in the history