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 more self check errors #441

Merged
merged 3 commits into from
Aug 25, 2022
Merged

Fix more self check errors #441

merged 3 commits into from
Aug 25, 2022

Commits on Aug 24, 2022

  1. Fix some generators being none() errors by using assertions

    @erszcz
    erszcz committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    92037d0 View commit details
    Browse the repository at this point in the history

  2. Introduce annotate_user_type/2 to handle cases with a single input an… 

    …d expected output type
    @erszcz
    erszcz committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    87a7b32 View commit details
    Browse the repository at this point in the history

  3. Fix some more type errors

    @erszcz
    erszcz committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    3370fcc View commit details
    Browse the repository at this point in the history