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

Jump to bottom

Fix all remaining self-check errors #521

Merged
merged 18 commits into from
Mar 16, 2023
Merged

Fix all remaining self-check errors #521

merged 18 commits into from
Mar 16, 2023
+127 −74

Commits on Mar 14, 2023

  1. Copy af_maybe() from erlang/otp#7013

    @erszcz
    erszcz committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    45757f7 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. Fix a self-check error in gradualizer_db:get_beam_map/0

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    fc54501 View commit details
    Browse the repository at this point in the history

  2. Fix a self-check error in typechecker:compat_ty(record, record, ...)

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    b990d6b View commit details
    Browse the repository at this point in the history

  3. Fix a self-check error in compat_ty(tuple, tuple, ...)

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    fc1c5b4 View commit details
    Browse the repository at this point in the history

  4. Fix a self-check error in compat_ty(map, map, ...)

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    ef6750c View commit details
    Browse the repository at this point in the history

  5. Fix a self-check error in compat_ty(map_assoc, map_assoc, ...)

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    10d5f64 View commit details
    Browse the repository at this point in the history

  6. Fix a self-check error in absform:normalize_function_type/1

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    4bb2090 View commit details
    Browse the repository at this point in the history

  7. Add a TODO about solving constraints

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    1b8046d View commit details
    Browse the repository at this point in the history

  8. Fix a self-check error in gradualizer_int:int_type_to_range/1

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    b934fc3 View commit details
    Browse the repository at this point in the history

  9. Fix a self-check error in gradualizer_lib:get_type_definition/3

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    5efbb02 View commit details
    Browse the repository at this point in the history

  10. Fix a self-check error in gradualizer_int:int_range_to_types/1

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    1c8d073 View commit details
    Browse the repository at this point in the history

  11. Fix a self-check error in normalize_rec/2 and expand_builtin_aliases/1

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    edab7d3 View commit details
    Browse the repository at this point in the history

  12. Fix a self-check error in compat_ty/4

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    48962db View commit details
    Browse the repository at this point in the history

  13. Fix a self-check error in expect_fun_type1/3

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    3863915 View commit details
    Browse the repository at this point in the history

  14. Fix a self-check error in type_check_list_op_in/3 and add test/should… 

    …_pass/list_op_pass.erl
    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    57a07c2 View commit details
    Browse the repository at this point in the history

  15. Fail CI if ERROR_LINES is non-zero

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    5a68b96 View commit details
    Browse the repository at this point in the history

  16. Explain gradualizer_type.erl direct inheritance from OTP's erl_parse.yrl

    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    3e31239 View commit details
    Browse the repository at this point in the history

  17. Add a test for the solver 'shape sensitivity' to test/known_problems/… 

    …should_pass/poly_should_pass.erl
    @erszcz
    erszcz committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    49e695b View commit details
    Browse the repository at this point in the history