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

Add comparable typevar constraints #390

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Add comparable typevar constraints #390

wants to merge 15 commits into from

Commits on Jun 14, 2022

  1. Add constraints to the syntax and parser

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    3f177d3 View commit details
    Browse the repository at this point in the history

  2. Use id() for constraints instead of keywords

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    f56eeb0 View commit details
    Browse the repository at this point in the history

  3. Add constraints to typechecker, fix old tests, add new ones

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    6971303 View commit details
    Browse the repository at this point in the history

  4. Fix dialyzer warnings

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    6c17e57 View commit details
    Browse the repository at this point in the history

  5. Add tests for calling constrained functions

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    fc08fe0 View commit details
    Browse the repository at this point in the history

  6. Add test for unknown tvar constraints

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    2d17ce3 View commit details
    Browse the repository at this point in the history

  7. Add char type to the docs

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    8e6c6d8 View commit details
    Browse the repository at this point in the history

  8. Update CHANGELOG

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    75f2711 View commit details
    Browse the repository at this point in the history

  9. Update the docs

    @ghallak
    ghallak committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    46ac9bf View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2022

  1. Add an example of address type to the docs

    @ghallak
    ghallak committed Jun 19, 2022
    Configuration menu
    Copy the full SHA
    ea98fc9 View commit details
    Browse the repository at this point in the history

  2. Formatting fix

    @ghallak
    ghallak committed Jun 19, 2022
    Configuration menu
    Copy the full SHA
    9d296f0 View commit details
    Browse the repository at this point in the history

  3. Make address comparable by inequality

    @ghallak
    ghallak committed Jun 19, 2022
    Configuration menu
    Copy the full SHA
    fc28759 View commit details
    Browse the repository at this point in the history

  4. Fix the tests after changing address to ord

    @ghallak
    ghallak committed Jun 19, 2022
    Configuration menu
    Copy the full SHA
    4562a71 View commit details
    Browse the repository at this point in the history

  5. Update docs/sophia_features.md 

    Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
    @ghallak @radrow
    ghallak and radrow authored Jun 19, 2022
    Configuration menu
    Copy the full SHA
    e8da0a7 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2022

  1. Add constrained_t to fold

    @ghallak
    ghallak committed Jun 20, 2022
    Configuration menu
    Copy the full SHA
    21cc6f2 View commit details
    Browse the repository at this point in the history